elarsonSU / egretLinks
Evil generation of regular expression test string
☆21Updated 6 years ago
Alternatives and similar repositories for egret
Users that are interested in egret are comparing it to the libraries listed below
Sorting:
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆54Updated 5 years ago
- Code Continuity Analysis Framework☆23Updated 9 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Updated 4 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆19Updated 3 years ago
- ☆31Updated 2 months ago
- Frama-C plugins for deadlock and data race detection☆15Updated last month
- ☆25Updated 7 months ago
- Supplementary files for SSFT 2015 summer school☆12Updated 6 years ago
- A python library to manipulate formal languages and various automata☆56Updated 3 months ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆50Updated 4 months ago
- PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…☆12Updated 2 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- ☆19Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- ☆52Updated 9 years ago
- some my implementation of content in PPA☆18Updated 5 years ago
- Incremental Build Verification☆15Updated last year
- GPU model checker☆11Updated 6 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆54Updated 6 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Updated 5 years ago
- A fuzzing framework for SMT solvers☆194Updated 2 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated last month
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- Apron Numerical Abstract Domain Library☆142Updated 8 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- A SyGuS Solver☆30Updated 6 months ago