yh570

NYU-PolyNYC

Pinned Repositories

indoor-localization
Language:Matlab93
Concolic_klee
A modified KLEE with concolic execution
Language:C++20
crypto
Language:Python01
indoor_localization_with_CV
Language:Matlab12
Juliet_test_suite
Modified Juliet test suite for testing KLEE
00
LAVA_corpus
A buggy corpus includes a toy program and buggy Coreutils with injected LAVA bugs
Language:C10
modified_klee
Language:C++00
Modified_klee_1.4
Language:C++00
sensibility_testbed
Language:Python0 1 01

yh570's Repositories

yh570/Concolic_klee
A modified KLEE with concolic execution
Language:C++20
yh570/indoor_localization_with_CV
Language:Matlab12
yh570/LAVA_corpus
A buggy corpus includes a toy program and buggy Coreutils with injected LAVA bugs
Language:C10
yh570/crypto
Language:Python01
yh570/Juliet_test_suite
Modified Juliet test suite for testing KLEE
00
yh570/modified_klee
Language:C++00
yh570/Modified_klee_1.4
Language:C++00
yh570/sensibility_testbed
Language:Python0 1 01