15 results found Sort:

trailofbits
manticore trailofbits
471
3.7k
agpl-3.0
130
Symbolic execution tool
z3 smt python testing ethereum security emulation blockchain binary-analysis program-analysis symbolic-execution
Created 2017-02-10
1,109 commits to master branch, last one about a year ago
pschanely
CrossHair pschanely
49
1.0k
other
14
An analysis tool for Python that blurs the line between testing and type systems.
z3 python fuzzing testing contracts type-systems hacktoberfest static-analysis dynamic-analysis testing-framework concolic-execution symbolic-execution
Created 2017-08-29
1,964 commits to main branch, last one 2 days ago
epfl-lara
stainless epfl-lara
53
359
apache-2.0
19
Verification framework and tool for higher-order Scala programs
z3 smt cvc4 cvc5 inox scala verification formal-methods model-checking proof-assistant
Created 2016-08-17
4,038 commits to main branch, last one 14 days ago
mc-imperial
jfs mc-imperial
20
239
mit
17
Constraint solver based on coverage-guided fuzzing
z3 jit llvm smtlib fuzzing smtlibv2 libfuzzer constraint-solver coverage-guided-fuzzing floating-point-arithmetic
Created 2017-11-21
513 commits to master branch, last one 11 months ago
testsmt
yinyang testsmt
23
185
mit
6
A fuzzing framework for SMT solvers
z3 smt cvc4 fuzzing smt-lib testing smt-solver
Created 2020-10-30
529 commits to master branch, last one about a year ago
philzook58
z3_tutorial philzook58
19
154
unknown
5
Jupyter notebooks for tutorial on the Z3 SMT solver
z3 smt jupyter tutorial smt-solver formal-methods
Created 2019-12-13
41 commits to master branch, last one 2 years ago
RocketRace
easy_z3 RocketRace
3
100
gpl-3.0
3
Using z3's never been easier (maybe)
z3 python
Created 2021-05-13
11 commits to main branch, last one 2 years ago
ACassimiro
TSNsched ACassimiro
39
89
gpl-3.0
6
Automated Schedule Generation for Time-Sensitive Networks (TSN).
z3 network schedule formal-methods
Created 2019-05-21
60 commits to master branch, last one about a year ago
obijywk
grilops obijywk
6
69
mit
9
a GRId LOgic Puzzle Solver library
z3 z3py python python3 puzzle-hunt puzzle-solver sudoku-solver puzzle-generator constraint-solver
Created 2019-03-09
200 commits to master branch, last one about a year ago
IagoAbal
haskell-z3 IagoAbal
45
57
other
4
Haskell bindings to Microsoft's Z3 API (unofficial).
z3 api smt haskell
Created 2018-04-28
476 commits to master branch, last one about a year ago
ViRb3
z3-python-ctf ViRb3
3
50
unknown
3
🐍 Solving CTF challenges using Z3 and Python
z3 ctf python algorithm hackathon reverse-engineering
Created 2019-10-14
10 commits to master branch, last one about a year ago
uwplse
Casper uwplse
5
50
other
14
A compiler for automatically re-targeting sequential Java code to Apache Spark.
z3 java dafny spark compiler synthesis
Created 2016-07-25
127 commits to master branch, last one about a year ago
vmunoz82
eda_tools vmunoz82
7
41
mit
2
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator...
z3 eda gowin yosys nmigen silice yices2 amaranth boolector verilator dockerfile symbiyosys nextpnr-ecp5 nextpnr-ice40 openfpgaloader
Created 2020-12-07
10 commits to main branch, last one about a year ago
endjin
Z3.Linq endjin
3
37
mit
12
LINQ bindings for the Z3 theorem prover from Microsoft Research.
z3 linq dotnet
Created 2021-11-23
104 commits to main branch, last one 7 months ago
formalsec
smtml formalsec
8
27
mit
7
A frontend for multiple SMT solvers in OCaml
z3 smt cvc5 ocaml smt-lib alt-ergo bitwuzla colibri2 webassembly symbolic-execution
Created 2023-03-23
751 commits to main branch, last one 14 hours ago