Concolic analysis tool for Java
☆21Jul 17, 2023Updated 2 years ago
Alternatives and similar repositories for coastal
Users that are interested in coastal are comparing it to the libraries listed below
Sorting:
- A Clang/LLVM add-on to enforce coding rules☆33Nov 15, 2013Updated 12 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Jul 11, 2014Updated 11 years ago
- ☆12Jun 14, 2023Updated 2 years ago
- Generates CIL MLIR dialect from C/C++ source.☆35Feb 10, 2021Updated 5 years ago
- ☆22Sep 28, 2022Updated 3 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- Structure aware fuzzing for network traffic packet captures☆13Nov 18, 2025Updated 3 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆120Feb 24, 2026Updated last week
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- The next generation reverse engineering IDE (work-in-progress).☆105Jun 27, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated last month
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- ☆12Jan 13, 2021Updated 5 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- collection of helper tools for fuzzing☆17Oct 3, 2023Updated 2 years ago