adrianherrera / llvm-cfg-to-jsonView external linksLinks
Exports an LLVM control flow graph (CFG) (including function calls) to JSON
☆25Nov 26, 2021Updated 4 years ago
Alternatives and similar repositories for llvm-cfg-to-json
Users that are interested in llvm-cfg-to-json are comparing it to the libraries listed below
Sorting:
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- ☆16Mar 23, 2018Updated 7 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Aimbot using object detection☆22May 20, 2019Updated 6 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- ☆13Jun 12, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- Parallel SAT Solver☆10Jan 19, 2018Updated 8 years ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 8 years ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 6 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- ☆10Oct 8, 2022Updated 3 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 5 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Development of a virtual quadruped robot using OpenAI & Mujoco☆17Feb 15, 2023Updated 3 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated last year
- Integration and Supervisory control of Autonomous Robots☆19Updated this week
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago