Yu Hu's repositories
Concolic_klee
A modified KLEE with concolic execution
LAVA_corpus
A buggy corpus includes a toy program and buggy Coreutils with injected LAVA bugs
Language:Python000
Juliet_test_suite
Modified Juliet test suite for testing KLEE
000
Language:C++NOASSERTION000
Language:C++NOASSERTION000
Language:Python000