☆17Sep 23, 2024Updated last year
Alternatives and similar repositories for syml
Users that are interested in syml are comparing it to the libraries listed below
Sorting:
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- ☆19Apr 7, 2023Updated 2 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆31Jul 18, 2014Updated 11 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆22Oct 12, 2022Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69May 31, 2024Updated last year
- ☆73Jun 26, 2024Updated last year
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆85Jan 20, 2025Updated last year
- Galois Format Analysis Workbench☆21Nov 30, 2023Updated 2 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- ☆27Nov 5, 2025Updated 4 months ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆188Jul 28, 2022Updated 3 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- makecfg is a tool for making CFG(Control Flow Graph) from binary.☆18Jan 11, 2022Updated 4 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- ☆28Apr 18, 2024Updated last year
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 2 years ago
- ☆35Feb 4, 2026Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- ☆25Oct 4, 2018Updated 7 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- ☆239Jan 14, 2024Updated 2 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- ☆24Aug 24, 2025Updated 6 months ago
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆34Feb 7, 2025Updated last year
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆37Jan 14, 2022Updated 4 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- ☆37May 19, 2023Updated 2 years ago
- Target-centric program analysis.☆76Feb 9, 2026Updated 3 weeks ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Dec 14, 2021Updated 4 years ago