llvm control flow graph
☆26Sep 16, 2019Updated 6 years ago
Alternatives and similar repositories for llvm_CFGPass
Users that are interested in llvm_CFGPass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple passes for CFG and DFG analysis☆44Jul 8, 2019Updated 7 years ago
- 简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护☆13Jul 13, 2017Updated 9 years ago
- Rust and C Benchmarks☆15Nov 21, 2024Updated last year
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆43Sep 16, 2019Updated 6 years ago
- fuzzing related paper☆226Jul 4, 2021Updated 5 years ago
- drawing graphs for llvm ir. data flow and control flow☆39Sep 10, 2017Updated 8 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 11 years ago
- Examples of how to program with LLVM IR☆14Jun 21, 2013Updated 13 years ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆23Jul 1, 2017Updated 9 years ago
- ☆16Mar 23, 2018Updated 8 years ago
- 使用intel pin来求解一部分CTF challenge☆33Jul 1, 2018Updated 8 years ago
- AFL-EDGE is a tool facilitating parallel fuzzing with mutually-exclusive task distribution☆17Jul 13, 2022Updated 4 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.
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆25Nov 26, 2021Updated 4 years ago
- ☆15May 6, 2021Updated 5 years ago
- IoT Security Papers☆48Jan 21, 2020Updated 6 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆525May 21, 2025Updated last year
- An llvm pass to perform taint analysis on your code.☆37Sep 25, 2019Updated 6 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago
- ☆12Jun 20, 2022Updated 4 years ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆17Mar 6, 2022Updated 4 years ago
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆11Dec 7, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 使用Unicorn解密Hikari加密过的字符串（觉得好的话给个star呗！）☆56Sep 17, 2019Updated 6 years ago
- ☆10Mar 30, 2022Updated 4 years ago
- Template for NSF Proposals☆18Oct 28, 2025Updated 10 months ago
- ☆11Aug 10, 2021Updated 5 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆37Mar 27, 2021Updated 5 years ago
- Learn how to combine libprotobuf-mutator with libfuzzer & AFL++☆256Sep 24, 2024Updated last year
- in-toto Enhancements☆20Feb 17, 2025Updated last year
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆23Oct 10, 2019Updated 6 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆43Oct 26, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 此项目可用于Firefox，chrome，opera浏览器的登录信息的解密。☆28Jul 24, 2019Updated 7 years ago
- ☆14Jun 21, 2020Updated 6 years ago
- OCaml LLVM bindings tutorial☆22Apr 16, 2017Updated 9 years ago
- A file system that mutates files☆14Jul 20, 2020Updated 6 years ago
- Grammar-based Fuzzer that uses WebIDL as a grammar.☆14May 25, 2026Updated 3 months ago
- llvm2KITTeL☆19Feb 16, 2017Updated 9 years ago
- A tool for executable specifications.☆11Aug 22, 2026Updated last week