fmselab / mutrexLinks
MutRex - A generator of fault detecting strings for regular expressions
☆12Updated last year
Alternatives and similar repositories for mutrex
Users that are interested in mutrex are comparing it to the libraries listed below
Sorting:
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- ☆17Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated 2 weeks ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Updated 3 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- ☆75Updated 7 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 5 months ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- A list of bugs found by SQLancer☆14Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Dynamic Program Slicing in LLVM Compiler☆138Updated 6 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- KLEE's version of uClibc☆53Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- This is java implementation of Graspan.☆20Updated last year
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆20Updated 6 years ago
- Dynamic detection of likely invariants☆223Updated this week
- Step by step manual for building KLEE☆18Updated 7 years ago