48 Open Source Smt Software Projects
Free and open source smt code projects including engines, APIs, generators, and tools.
Jonathansalwan Triton 2015 ⭐
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Sbv 158 ⭐
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Nopol 79 ⭐
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Practical Formal Methods Storm 81 ⭐
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
The Thoralf Plugin 22 ⭐
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Archsat 19 ⭐
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Kafka Connect Transform Kryptonite 29 ⭐
Kryptonite is a turn-key ready transformation (SMT) for Apache Kafka® Connect to do field-level 🔒 encryption/decryption 🔓 of records. It's an UNOFFICIAL community project.
Nus Timetable Optimizer 15 ⭐
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
Jlcpcb Smt Assembly Components Orientation Fix 12 ⭐
This guide has the basic requirments to place a SMT Assembly order with some tips on how to fix the misplacement and orientation of SMD parts
Karl 171 ⭐
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.