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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- differential☆12Oct 30, 2019Updated 7 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Map2Check: Finding Software Vulnerabilities☆31Oct 25, 2026Updated last week
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 11 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 5 years ago
- Analyzers for unit tests using the .NET Compiler Platform☆12Nov 8, 2018Updated 7 years ago
- ☆23Jun 12, 2023Updated 3 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆34Jan 11, 2015Updated 11 years ago
- PureFTPd Manager is a simple Cocoa frontend to PureFTPd, "a free (BSD), secure, production-quality and standard-conformant FTP server bas…☆14Jan 6, 2013Updated 13 years ago
- CRETE under development☆60Jun 30, 2020Updated 6 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆67Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Join us and be credited for AutoDL challenge - the next big thing in automated machine learning. Organized by Google, ChaLearn and 4Parad…☆10Mar 24, 2023Updated 3 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
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Jul 25, 2022Updated 4 years ago
- Show inheritance information in the glyph margin☆18Mar 5, 2021Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Email-first capture pipeline for Org mode☆12Apr 11, 2026Updated 6 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Read-only mirror of the Klever Git repository☆27Apr 27, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 0-unsafe Linked HashMap☆13Jun 30, 2020Updated 6 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 3 years ago
- Replaced by dotnet/roslyn-analyzers.☆17Nov 21, 2015Updated 10 years ago
- ☆23May 21, 2018Updated 8 years ago
- Patched GDB-Multiarch to debug android Kernels.☆15Jun 29, 2019Updated 7 years ago
- An attempt to decode the Pioneer Rekordbox Database☆29Mar 25, 2020Updated 6 years ago
- ☆12Nov 24, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple xcode iOS bonjour network browser☆10Oct 6, 2018Updated 8 years ago
- (DEPRECATED) A set of launcher scripts to be used with OAR and Slurm for running jobs on the UL HPC platform☆14Oct 23, 2020Updated 6 years ago
- Minecraft server based on Craft.Net☆28Aug 9, 2013Updated 13 years ago
- SOSP'21 Witcher Artifact☆10Aug 19, 2021Updated 5 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- The C parser for GumTree☆15Sep 25, 2020Updated 6 years ago