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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Dec 10, 2021Updated 4 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 4 years ago
- ☆26Oct 3, 2023Updated 3 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- ☆13Jan 7, 2021Updated 5 years ago
- ☆15Sep 14, 2022Updated 4 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- ☆10Oct 8, 2022Updated 4 years ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆18Aug 21, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 4 years ago
- ☆17Jun 12, 2024Updated 2 years ago
- ☆25Aug 9, 2021Updated 5 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 5 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 6 years ago
- Fuzzing with controlled compilation☆32Apr 7, 2023Updated 3 years ago
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago
- ☆16Mar 23, 2018Updated 8 years ago
- ☆12Jul 21, 2023Updated 3 years ago
- some my implementation of content in PPA☆18Nov 3, 2020Updated 6 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆121Apr 4, 2023Updated 3 years ago
- ☆40Dec 24, 2023Updated 2 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 7 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆26Nov 15, 2021Updated 4 years ago
- My notes from Brandon Falk's (@gamozolabs) Fuzz Week 2020☆10Aug 17, 2020Updated 6 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- ☆15Jun 10, 2025Updated last year
- ☆11Mar 22, 2024Updated 2 years ago
- ☆13Mar 19, 2022Updated 4 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago