meton-robean / CFG_DFG_generatorView external linksLinks
generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
☆42Sep 16, 2019Updated 6 years ago
Alternatives and similar repositories for CFG_DFG_generator
Users that are interested in CFG_DFG_generator are comparing it to the libraries listed below
Sorting:
- Simple passes for CFG and DFG analysis☆44Jul 8, 2019Updated 6 years ago
- llvm Data Flow Graph dump☆36May 24, 2021Updated 4 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21May 17, 2022Updated 3 years ago
- 通过issue和README来记录日常学习研究笔记 关注 机器学习系统，深度学习， LLVM，性能剖视， Linux操作系统内核 话题 关注 C/C++. JAVA. Python. Golang. Chisel. 编程语言话题 ( Writing Blogs using …☆78May 24, 2020Updated 5 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated 11 months ago
- ☆13Apr 27, 2020Updated 5 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 6 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- The programming runtime and interfaces for ARENA.☆14Sep 14, 2021Updated 4 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Sep 6, 2019Updated 6 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- GCNO and GCDA parser and writer implementation in Dart☆14Feb 27, 2017Updated 8 years ago
- A translator from c to MLIR☆33Nov 15, 2021Updated 4 years ago
- ☆14Feb 28, 2023Updated 2 years ago
- ☆16Apr 15, 2019Updated 6 years ago
- A framework for static analysis of ROP exploits and programs☆40May 13, 2019Updated 6 years ago
- ☆17Aug 9, 2025Updated 6 months ago
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆79Jan 6, 2026Updated last month
- ☆23Mar 13, 2023Updated 2 years ago
- ☆22Dec 6, 2023Updated 2 years ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- ☆20May 27, 2020Updated 5 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- A vulnerability patch gathering tool☆44Jan 11, 2019Updated 7 years ago
- Solving floating point SMT constraints on a GPU☆50Dec 22, 2020Updated 5 years ago
- Contains class codes☆11Dec 12, 2025Updated 2 months ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- CGRA Compilation Framework☆91Jul 15, 2023Updated 2 years ago
- Domain-Specific Architecture Generator 2☆22Oct 2, 2022Updated 3 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated 9 months ago
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆152Feb 6, 2026Updated last week
- ROSA: Finding Backdoors with Fuzzing☆40Jun 30, 2025Updated 7 months ago
- Polyhedral High-Level Synthesis in MLIR☆35Mar 17, 2023Updated 2 years ago
- Make the Windows API in Ghidra easy to read and informative.☆28Jan 10, 2022Updated 4 years ago