sajedjalil / C-Path-FinderLinks
An automatic test case generator for C source code using Memorized Symbolic Execution
☆12Updated 2 years ago
Alternatives and similar repositories for C-Path-Finder
Users that are interested in C-Path-Finder are comparing it to the libraries listed below
Sorting:
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 4 years ago
- ☆53Updated 7 years ago
- ☆72Updated 5 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 6 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- Fuzzing with controlled compilation☆29Updated 2 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- llvm control flow graph☆26Updated 5 years ago
- ☆37Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆37Updated 5 years ago
- ☆25Updated 3 years ago
- The parser-directed Fuzzer☆38Updated 5 years ago
- ☆14Updated 7 years ago
- ☆90Updated 3 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆63Updated last year
- PARTS / LLVM compiler☆32Updated 5 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- K-Miner☆75Updated 6 years ago
- Repository for understanding and writing LLVM passes.☆33Updated 5 years ago
- ☆28Updated 3 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 7 years ago
- CRETE under development☆59Updated 4 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- ☆16Updated 5 years ago