Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Symbolic Execution Open Source Projects

Open source projects categorized as Symbolic Execution
Categories > Security > Symbolic Execution
Ubsym ⭐ 32
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
most recent commit a year ago
Sixtypical ⭐ 31
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
most 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
Gymbo ⭐ 29
gradient-based symbolic execution engine implemented from scratch
most recent commit 4 months ago
Ubitect ⭐ 28
most recent commit a year ago
Munch ⭐ 28
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
most recent commit 5 years ago
Craxplusplus ⭐ 27
CRAX++: software CRash analysis for Automatic eXploit generation
most recent commit 2 years ago
Crax Lab ⭐ 27
AIS3 CRAX lab demo
most recent commit 7 years ago
G2 ⭐ 27
most recent commit 5 months ago
Symbooglix ⭐ 26
Symbolic Execution Engine for Boogie
most recent commit 2 years ago
Fuzzification ⭐ 26
We hinder fuzzing
most recent commit 5 years ago
Coin Attacks ⭐ 26
COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
most recent commit a year ago
Amphitrite ⭐ 24
Symbolic debugging tool using JonathanSalwan/Triton
most recent commit 5 years ago
Programanalysiscourse ⭐ 24
COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
most recent commit 6 months ago
Phpscan ⭐ 24
Symbolic execution inspired PHP application scanner for code-path discovery
most recent commit 5 years ago
Kex ⭐ 24
A platform for analysis of Java bytecode
most recent commit 3 months ago
Tracerx ⭐ 24
TracerX Symbolic Virtual Machine
most recent commit 4 months ago
Stevia ⭐ 23
A simple SMT solver.
most recent commit 5 years ago
Szpy ⭐ 23
Z3 Symbolic Execution python
most recent commit 6 years ago
Vigor ⭐ 23
Main repository of the Vigor NF verification project.
most recent commit 3 years ago
Sema Toolchain ⭐ 22
ToolChain using Symbolic Execution for Malware Analysis.
most recent commit 6 months ago
Symbolic Execution ⭐ 21
Applied Symbolic Execution with KLEE/LLVM
most recent commit 11 years ago
Coastal ⭐ 21
Concolic analysis tool for Java
most recent commit 2 years ago
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.