shramos / pyc-cfgView external linksLinks
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
☆56Jan 28, 2018Updated 8 years ago
Alternatives and similar repositories for pyc-cfg
Users that are interested in pyc-cfg are comparing it to the libraries listed below
Sorting:
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆43May 10, 2024Updated last year
- Annotator that adds scope information to an ast☆26Jun 23, 2025Updated 7 months ago
- ☆45Mar 13, 2022Updated 3 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- Simplified interface for syntax trees and program models.☆16Jan 16, 2023Updated 3 years ago
- An automation tool to generate, obfuscate, compile and run symbolic execution on c source files☆14Feb 17, 2021Updated 4 years ago
- Babelfish Python client☆17Nov 6, 2019Updated 6 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- bitshred research project code.☆14Feb 12, 2016Updated 10 years ago
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆10Dec 7, 2019Updated 6 years ago
- Configuration files that allow cppcheck to provide better static analysis results☆17Aug 7, 2018Updated 7 years ago
- ☆22Mar 20, 2023Updated 2 years ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)☆20Oct 24, 2020Updated 5 years ago
- Assorted generic flask views, blueprints, Jinja2 filters, macros, forms and more.☆24Nov 4, 2019Updated 6 years ago
- A vulnerability patch gathering tool☆44Jan 11, 2019Updated 7 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 5 years ago
- python utilities for working with ontologies☆25Feb 4, 2026Updated last week
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆62Nov 24, 2025Updated 2 months ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- Static code analysis package for Python repositories☆33Nov 25, 2023Updated 2 years ago
- Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.☆26Jun 5, 2017Updated 8 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 10 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Oct 24, 2018Updated 7 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Feb 2, 2026Updated last week
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- An emerging widget for exploring RESTful APIs in Jupyter notebooks.☆29Jun 12, 2025Updated 8 months ago
- Personal Knowledge Management System. Capture your ideas using plain old text files. Make a journal that lasts 100 years.☆29Nov 8, 2023Updated 2 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 8 months ago
- ☆22Feb 14, 2017Updated 9 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Nov 5, 2021Updated 4 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated last month
- Binary Code Similarity Analysis (BCSA) Tool☆124May 18, 2025Updated 8 months ago
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- TeCo: an ML+Execution model for test completion☆31Jun 16, 2024Updated last year
- Control-Flow, Dominator Tree, and dot output from Python bytecode☆68Updated this week
- GitHub Cloner & Compiler☆76Sep 24, 2021Updated 4 years ago