Alternatives and similar repositories for esprima-ast-visitor

Users that are interested in esprima-ast-visitor are comparing it to the libraries listed below

• Kronuz / esprima-python
  ECMAScript parsing infrastructure for multipurpose analysis
  ☆265Updated 2 years ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆38Updated 9 years ago
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆139Updated 3 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆80Updated 3 years ago
• moyix / panda
  Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository
  ☆108Updated 9 years ago
• s3team / Polyglot
  ☆106Updated 2 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆124Updated 8 months ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆42Updated 6 months ago
• WSP-LAB / Montage
  Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer
  ☆88Updated last year
• vrthra / pycfg
  ☆23Updated 5 years ago
• axt / bingraphvis
  ☆45Updated 3 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• fabsx00 / querygen
  ☆11Updated 10 years ago
• mrash / afl-cve
  A collection of vulnerabilities discovered by the AFL fuzzer (afl-fuzz)
  ☆93Updated 8 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆56Updated 8 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆40Updated 6 months ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆259Updated 5 years ago
• FoRTE-Research / UnTracer-AFL
  An AFL implementation with UnTracer (our coverage-guided tracer)
  ☆124Updated 3 years ago
• angr / binaries
  A repository with binaries for angr tests and examples.
  ☆63Updated last week
• zhunki / skyfire
  ☆55Updated 7 years ago
• saswatanand / symexbib
  A bibliography of papers related to symbolic execution
  ☆291Updated 9 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆163Updated 6 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆66Updated 4 years ago
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆122Updated last month
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Updated 2 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆339Updated last month