austinbyers / esprima-ast-visitorLinks
Python code to efficiently traverse the AST format saved by the Esprima JavaScript parser
☆31Updated 5 years ago
Alternatives and similar repositories for esprima-ast-visitor
Users that are interested in esprima-ast-visitor are comparing it to the libraries listed below
Sorting:
- ECMAScript parsing infrastructure for multipurpose analysis☆252Updated 2 years ago
- Static analysis tool to slice python programs☆38Updated 8 years ago
- Python Symbolic Execution☆71Updated 6 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆135Updated 3 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- LD_PRELOAD, but for Python.☆19Updated 6 years ago
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆257Updated 4 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- Python Exploration with Z3☆335Updated 7 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆77Updated 3 years ago
- ☆104Updated last year
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆54Updated 7 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- ☆147Updated 2 years ago
- ☆252Updated 5 years ago
- An unofficial implementation of asm2vec as a standalone python package☆166Updated 4 years ago
- ☆82Updated last week
- Binary Code Similarity Analysis (BCSA) Tool☆123Updated 3 months ago
- A repository with binaries for angr tests and examples.☆63Updated this week
- Fuzzinator Random Testing Framework☆191Updated 7 months ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 6 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- ☆64Updated 3 months ago
- Python bindings for Valgrind's VEX IR.☆363Updated this week
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆259Updated 3 months ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Updated 10 years ago
- ☆54Updated 6 years ago
- A bibliography of papers related to symbolic execution☆289Updated 9 years ago