Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Smt Symbolic Execution Open Source Projects

Open source projects categorized as Smt Symbolic Execution
Categories > Security > Symbolic Execution
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 2 years ago
Karl ⭐ 300
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
most recent commit a year ago
Formulog ⭐ 137
Datalog with support for SMT queries and first-order functional programming
most recent commit 6 months ago
R2con2020_deobfuscation ⭐ 63
most recent commit 3 years ago
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5most recent commit 3 months ago
Smt Kit ⭐ 34
C++11 library for many-sorted logics
most recent commit 7 years ago
Stevia ⭐ 23
A simple SMT solver.
most recent commit 5 years ago
Aratha ⭐ 5
Multi-solver dynamic symbolic execution for JavaScript
most recent commit 2 years ago
The 2 Latest Releases In Smt Symbolic Execution Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5latest release September 29, 2023most recent commit 3 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.