macke icon indicating copy to clipboard operation
macke copied to clipboard

Published 20 hours ago • verified publisher icon tum-i4
→

Metadata

Modular And Compositional analysis with KLEE Engine

Results 1 macke issues
Sort by recently updated
recently updated
newest added

clang-6.0: error: linker command failed with exit code 1

3 comment

I used the afl-clang-fast version for llvm-6.0.1 and encountered the linker problem at runtime. The command is macke --use-fuzzer=1 --ignore-swap --fuzz-bc=examples/sanatized_afl.bc examples/sanatized.bc And the sanatized_afl.bc is compiled with afl-clang-fast.sanatized.bc is...

aheroine avatar aheroine

← Metadata

107
Stars
20
Forks
Watchers

Owner

verified publisher icon tum-i4

Metadata

Modular And Compositional analysis with KLEE Engine

Back