symbolic-execution
Here are 250 public repositories matching this topic...
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
-
Updated
May 30, 2024 - C
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
-
Updated
May 30, 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
May 30, 2024 - Coq
Automatic verification of LLVM optimizations
-
Updated
May 30, 2024 - C++
ToolChain using Symbolic Execution for Malware Analysis.
-
Updated
May 30, 2024 - Python
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
-
Updated
May 29, 2024 - Haskell
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
May 30, 2024 - C++
A platform for analysis of Java bytecode
-
Updated
May 29, 2024 - Kotlin
Software Security Analysis Course
-
Updated
May 30, 2024 - C++
A symbolic execution engine for EVM smart contract binaries.
-
Updated
May 30, 2024 - Python
A Multi Back-end Front-end for SMT Solvers in OCaml
-
Updated
May 30, 2024 - OCaml
Teaching and Learning Software Verification via SVF
-
Updated
May 28, 2024 - C++
Automated unit test generation and precise code analysis for Java
-
Updated
May 24, 2024 - Kotlin
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
May 23, 2024 - Python
A unit test-like interface for fuzzing and symbolic execution
-
Updated
May 22, 2024 - Python
Python infrastructure to train paths selectors for symbolic execution engines.
-
Updated
May 30, 2024 - Python
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."