Symbolic execution tool
-
Updated
Sep 15, 2023 - Python
Symbolic execution tool
pySMT: A library for SMT formulae manipulation and solving
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
SMT based attacks on non cryptographic PRNGs
Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
A diabolic implementation of mcSAT 😈
Angr CTFs covering topics from basics to intermediate.
Natural-language corpus cleaning scripts
A simple SMT-based schedule generator for cyclic executives of real-time tasks
Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
Z3alpha: synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."