Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
☆12Dec 16, 2021Updated 4 years ago
Alternatives and similar repositories for SymbolicLivenessAnalysis
Users that are interested in SymbolicLivenessAnalysis are comparing it to the libraries listed below
Sorting:
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- ☆32Sep 29, 2025Updated 5 months ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- FUSE filesystem with (deterministic) fake data☆41Jan 1, 2020Updated 6 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- Locksmith☆44Dec 16, 2021Updated 4 years ago
- A high-performance Rust CLI tool and library that automatically introspects SQLite databases and generates complete GraphQL APIs with TOM…☆23Aug 30, 2025Updated 6 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- The Documentation for the Random Query Generator project☆48Dec 28, 2011Updated 14 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- ☆10May 24, 2023Updated 2 years ago
- ☆11May 10, 2025Updated 9 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Java Concolic Unit Testing Engine☆94Jul 3, 2014Updated 11 years ago
- Collection of syzkaller bug reproducers for Linux☆43May 16, 2022Updated 3 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- FPGA synthesis tool powered by program synthesis☆55Dec 15, 2025Updated 2 months ago
- Simple library to create a fixed timestep loop for a game or simulation☆10Oct 2, 2017Updated 8 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Unwired Devices Smarthome system. Based on Contiki 3, СС2650/СС1310☆10Nov 1, 2017Updated 8 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- Handwritten Russian text recognition☆14May 1, 2023Updated 2 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- Nothing to see here yet ...☆12Jun 28, 2025Updated 8 months ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- ☆12Jan 27, 2016Updated 10 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Update a local archive of your tweets.☆49Oct 12, 2012Updated 13 years ago