Stevia
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Manticore | 3,535 |  | 1 | 1 | 7 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
| Automatic verification of LLVM optimizations | ||||||||||
| Stp | 477 | 4 months ago | 56 | other | C++ | |||||
| Simple Theorem Prover, an efficient SMT solver for bitvectors | ||||||||||
| Symbolic Execution | 412 | 2 years ago | 21 | cc-by-sa-4.0 | Kotlin | |||||
| History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) | ||||||||||
| Karl | 300 | a year ago | 16 | mit | Python | |||||
| Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019. | ||||||||||
| Formulog | 137 | 6 months ago | 7 | apache-2.0 | Java | |||||
| Datalog with support for SMT queries and first-order functional programming | ||||||||||
| R2con2020_deobfuscation | 63 | 3 years ago | gpl-3.0 | Python | ||||||
| Grisette | 43 | 3 months ago | 5 | September 29, 2023 | 9 | other | Haskell | |||
| A monadic library for symbolic evaluation | ||||||||||
| Smt Kit | 34 | 7 years ago | 1 | other | C++ | |||||
| C++11 library for many-sorted logics | ||||||||||
| Stevia | 23 | 5 years ago | 11 | other | Rust | |||||
| A simple SMT solver. | ||||||||||
Alternatives To SteviaSelect To Compare
Alternative Project Comparisons
Popular Smt Projects
Popular Symbolic Execution Projects
Popular Software Quality Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Smt
Symbolic Execution