Search Results - RepositoryStats

139

1.3k

cc0-1.0

63

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

awesome-list dynamic-analysis symbolic-execution dynamic-symbolic-execution

Created 2017-07-18

27 commits to master branch, last one 2 months ago

56

488

cc-by-sa-4.0

38

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

history solving concolic timeline dynamic-analysis program-analysis concolic-execution symbolic-execution dynamic-symbolic-execution

Created 2017-03-10

141 commits to master branch, last one 3 months ago

32

135

apache-2.0

10

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

dse sydr fuzzing concolic oss-fuzz security symbolic libfuzzer stability sydr-fuzz fuzz-testing hybrid-fuzzing vulnerabilities concolic-execution symbolic-execution dynamic-symbolic-execution

Created 2021-10-11

552 commits to master branch, last one 3 days ago

15

40

mit

8

This repository has no description...

dse fuzzing concolic symbolic bug-detection hybrid-fuzzing binary-analysis static-analysis concolic-execution symbolic-execution coverage-guided-fuzzing dynamic-symbolic-execution

Created 2020-09-23

147 commits to master branch, last one about a month ago

0

27

bsd-2-clause

0

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

asm java instrumentation symbolic-execution dynamic-symbolic-execution

Created 2023-11-24

11 commits to main branch, last one 9 months ago