Z3 backend for Fugue's concolic interpreter.
-
Updated
Jan 25, 2022 - Rust
#
symbolic-execution
Here are 13 public repositories matching this topic...
SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)
-
Updated
Nov 16, 2021 - Rust
A symbolic executor for the QBE intermediate language
-
Updated
Jun 1, 2023 - Rust
A symbolic execution tool for Move, which is a smart contract language designed for Facebook Diem.
-
Updated
Jun 15, 2024 - Rust
HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm
distributed-systems
symbolic-execution
operational-semantics
sequence-diagrams
interaction-models
multi-trace-analysis
-
Updated
May 21, 2021 - Rust
symbolic EVM execution engine written in Rust
-
Updated
Sep 5, 2024 - Rust
Bachelor thesis, combining automatic and manual methods for binary analysis
-
Updated
Jun 27, 2023 - Rust
A java bytecode manipulation library written in rust
-
Updated
Jul 4, 2023 - Rust
A concolic interpreter backend for Fugue.
-
Updated
Jun 4, 2023 - Rust
A bounded model checker for an IMP-style imperative language.
-
Updated
Feb 23, 2019 - Rust
Research Artifact of HPCA 2024 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
-
Updated
Jun 26, 2024 - Rust
A simple (unfinished) SMT solver for QF_ABV.
-
Updated
Mar 14, 2019 - Rust
Library for building symbolically executable stack-based virtual machines
-
Updated
Oct 20, 2022 - Rust
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."