All Categories → No Category → concolic-execution

Top 3 concolic-execution open source projects

No description or website provided.

✭ 21

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

CPR

CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.

✭ 22

c shell python Makefile SMT C++program-repair concolic-execution

crete-dev

CRETE under development

✭ 56

c C++python shell haxe assembly symbolic-execution binary-analysis test-generation concolic-execution

1-3 of 3 concolic-execution projects