symbolic-execution
Here are 250 public repositories matching this topic...
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Jun 11, 2024 - C++
Software Security Analysis Course
-
Updated
Jun 11, 2024 - C++
Automatic verification of LLVM optimizations
-
Updated
Jun 10, 2024 - C++
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
-
Updated
Jun 10, 2024 - C++
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
-
Updated
Jun 10, 2024 - Coq
A monadic library for symbolic evaluation
-
Updated
Jun 10, 2024 - Haskell
Symbolic-execution-based verifier for the Viper intermediate verification language.
-
Updated
Jun 11, 2024 - Scala
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
-
Updated
Jun 7, 2024 - C++
Research Artifact of HPCA 2024 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
-
Updated
Jun 7, 2024 - Rust
Binary Analysis Platform
-
Updated
Jun 5, 2024 - OCaml
ToolChain using Symbolic Execution for Malware Analysis.
-
Updated
Jun 5, 2024 - Python
A platform for analysis of Java bytecode
-
Updated
Jun 4, 2024 - Kotlin
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
-
Updated
Jun 4, 2024 - C
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
-
Updated
Jun 6, 2024 - Python
Automated unit test generation and precise code analysis for Java
-
Updated
Jun 3, 2024 - Kotlin
A Guix channel for reproducible symbolic execution research
-
Updated
May 31, 2024 - Scheme
Improve this page
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."