Alternatives and similar repositories for esprima-ast-visitor

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

• vrthra / pycfg
  ☆23Updated 4 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆70Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 5 years ago
• risicle / cpytraceafl
  CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL
  ☆31Updated 4 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆132Updated 4 years ago
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆135Updated 2 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆207Updated 5 months ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆76Updated 3 years ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆37Updated 8 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆92Updated 4 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆56Updated 6 years ago
• CMUSTRUDEL / DIRE
  ☆64Updated last month
• julianjensen / ast-flow-graph
  Creates a CFG from JavaScript source code.
  ☆69Updated 10 months ago
• vrthra / F1
  ☆82Updated 9 months ago
• ericpony / z3py-tutorial
  ☆147Updated 2 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• rocky / python-control-flow
  Control-Flow, Dominator Tree, and dot output from Python bytecode
  ☆66Updated 7 months ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 5 years ago
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆19Updated 8 years ago
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆123Updated last month
• renatahodovan / grammarinator
  ANTLR v4 grammar-based test generator
  ☆374Updated last week
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆110Updated 4 months ago
• s3team / Polyglot
  ☆104Updated last year
• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆44Updated 5 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated 2 weeks ago
• angr / archr
  Target-centric program analysis.
  ☆77Updated last week
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆107Updated last year
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆235Updated 3 months ago