ashish-gehani / OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for OCCAM
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- CCG is a random C Code Generator☆43Updated 2 years ago
- Piecewise debloating toolchain☆13Updated 4 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆239Updated 11 months ago
- Measure branching along code paths☆20Updated 8 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆23Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 4 years ago
- SUPA☆28Updated 4 years ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆91Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- Configurable instrumentation of LLVM bitcode☆33Updated this week
- Static Slicer for LLVM☆65Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Function Merging & Branch Fusion☆19Updated 5 years ago
- BinTuner☆59Updated 2 years ago
- Clang static checker that carries out tainting analysis.☆87Updated 6 years ago
- Hierarchical Delta Debugging Framework☆57Updated this week
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- ☆50Updated last year
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 11 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆78Updated 4 months ago
- Secure Virtual Architecture☆42Updated 5 years ago
- custom type systems for Clang☆96Updated 9 years ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago