hxuhack / logic_bombsView external linksLinks
This repository contains several examples of logic bomb.
☆116Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for logic_bombs
Users that are interested in logic_bombs are comparing it to the libraries listed below
Sorting:
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- Recent symbolic execution papers and tools.☆182May 16, 2025Updated 8 months ago
- CRETE under development☆60Jun 30, 2020Updated 5 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74May 24, 2019Updated 6 years ago
- ☆90Jul 5, 2016Updated 9 years ago
- ☆43Jun 14, 2022Updated 3 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Jan 19, 2016Updated 10 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 5 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Oct 25, 2019Updated 6 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Feb 2, 2026Updated last week
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 8 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Jun 21, 2020Updated 5 years ago
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Aug 24, 2024Updated last year
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 6 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- ☆252Mar 13, 2020Updated 5 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- LAVA: Large-scale Automated Vulnerability Addition☆411Feb 1, 2026Updated last week
- Concolic Testing for Deep Neural Networks☆119Jul 16, 2021Updated 4 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Sep 1, 2018Updated 7 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 10 years ago
- ☆41Aug 4, 2020Updated 5 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- ☆82Aug 20, 2025Updated 5 months ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- A bibliography of papers related to symbolic execution☆291Aug 12, 2016Updated 9 years ago