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:
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A Pointer Analysis Framework for Rust☆52Updated last week
- Runtime type and bounds-error checking for C/C++☆103Updated 6 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated this week
- This is java implementation of Graspan.☆20Updated last year
- ☆75Updated 7 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated last month
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Autoreject.org — An automatic review generator☆70Updated last year
- 清华大学2019计网联合实验第一组☆29Updated 5 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆43Updated last month
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- LLVM pass☆23Updated 5 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆54Updated 3 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago