Giters

fugue-re / fugue-concolic-solver-z3

Z3 backend for Fugue's concolic interpreter.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

binary-analysisreverse-engineeringconcolic-executionz3symbolic-execution

Fugue logo

Fugue Binary Analysis Framework

This crate provides a Z3 backend for Fugue's concolic interpreter fugue-concolic.

About

Z3 backend for Fugue's concolic interpreter.

binary-analysisreverse-engineeringconcolic-executionz3symbolic-execution

License:MIT License

Languages

Language:Rust 100.0%