Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c symbolic execution
c
x
symbolic-execution
x
22 search results found
Symqemu
⭐
267
SymQEMU: Compilation-based symbolic execution for binaries
Hyperkernel
⭐
145
Pathgrind
⭐
106
Path based Dynamic Analysis
Utbotcpp
⭐
105
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Oss Sydr Fuzz
⭐
99
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Crete Dev
⭐
47
CRETE under development
Fusebmc
⭐
37
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
Intriguer
⭐
33
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
Ubsym
⭐
32
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
Crax Lab
⭐
27
AIS3 CRAX lab demo
Fuzzification
⭐
26
We hinder fuzzing
Tracerx
⭐
24
TracerX Symbolic Virtual Machine
Programanalysiscourse
⭐
24
COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
Vigor
⭐
23
Main repository of the Vigor NF verification project.
Qemu
⭐
21
QEMU VM with generic KVM extensions for symbolic execution
Kleespectre
⭐
21
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
Woodpecker
⭐
11
Woodpecker: Verifying systems rules using rule-directed symbolic execution
Wasp
⭐
9
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.
Guest Tools
⭐
8
Tools that run inside the guest
1nsanity
⭐
8
LLVM pass that obfuscates against symbolic execution
Hv6
⭐
7
Seclab_eissec
⭐
5
Extracting Instruction Semantics Via Symbolic Execution of Code Generators
Related Searches
C Kernel (12,841)
C Video Game (4,242)
C Driver (4,106)
Python C (4,069)
C Firmware (3,545)
C Arduino (3,118)
C Usb (2,589)
C Arm (2,566)
C Command Line (2,475)
C Algorithms (2,333)
1-22 of 22 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.