Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Verification Symbolic Execution Open Source Projects

Open source projects categorized as Verification Symbolic Execution
Categories > Security > Symbolic Execution
Categories > Software Quality > Verification
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
Symbiotic ⭐ 282
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
most recent commit 5 months ago
Hyperkernel ⭐ 145
most recent commit 4 years ago
Silicon ⭐ 67
Symbolic-execution-based verifier for the Viper intermediate verification language.
most recent commit 3 months ago
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513most recent commit 2 years agonuget Symbolica.Abstraction} Downloads
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5most recent commit 4 months ago
Rel ⭐ 31
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
most recent commit 7 months ago
Vigor ⭐ 23
Main repository of the Vigor NF verification project.
most recent commit 3 years ago
Katamaran ⭐ 16
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
most recent commit 3 months ago
P4 Semantics ⭐ 14
Formal Semantics of P4 in K
most recent commit 3 years ago
Sandshrew ⭐ 11
Underconstrained symbolic execution for cryptography verification
most recent commit 5 years ago
Hv6 ⭐ 7
most recent commit 4 years ago
The 2 Latest Releases In Verification Symbolic Execution Open Source Projects
Grisette ⭐ 43
A monadic library for symbolic evaluation
total releases 5latest release September 29, 2023most recent commit 4 months ago
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit 2 years agonuget Symbolica.Abstraction} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
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.