Alternatives and similar repositories for python-control-flow

Users that are interested in python-control-flow are comparing it to the libraries listed below

• rocky / x-python
  A Python implementation of the C Python Interpreter
  ☆94Updated 9 months ago
• bannsec / pySym
  Python Symbolic Execution
  ☆69Updated 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
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆137Updated last year
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• rocky / python-xasm
  Python cross version bytecode/wordcode assembler
  ☆113Updated 3 months ago
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆61Updated 3 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆56Updated last month
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• StarCrossPortal / bincraft
  ☆82Updated 3 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆121Updated 2 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆130Updated last week
• axt / cfg-explorer
  CFG explorer for binaries
  ☆81Updated 7 months ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆221Updated this week
• betterenvi / Compiler-DFA-SSA
  Data Flow Analysis and Static Single Assignment
  ☆29Updated 7 years ago
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆162Updated 2 weeks ago
• fuzzm / fuzzm-project
  ☆28Updated 3 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated 2 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• fedora-python / marshalparser
  Simple parser for Python marshal serialization and pyc files
  ☆20Updated 7 months ago
• GrammaTech / retypd
  ☆70Updated last year
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated last year