Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Symbolic Execution Concolic Open Source Projects

Open source projects categorized as Symbolic Execution Concolic
Categories > Concolic
Categories > Security > Symbolic Execution
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 2 years ago
Oss Sydr Fuzz ⭐ 99
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
most recent commit 3 months ago
Crusher ⭐ 37
most recent commit 4 months ago
Sydr Benchmark ⭐ 8
Sydr benchmark applications
most recent commit 2 years ago
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.