search

panda-re / lava

LAVA: Large-scale Automated Vulnerability Addition
Other
371 stars 60 forks source link

lavaInitTool Error: Compile command not found #39

Open felicro opened 5 years ago

felicro commented 5 years ago

Error occurs when performing tutorial step 2.54:

run path-to-lava/tools/install/bin/lavaInitTool src/*-pre.c where the arguments are all the preprocessed c files.

I noticed that the commands in the compile_commands.json file used the original .c files and not the -pre.c files. Modifying the compile_commands.json file using -pre.c files as the source file eliminates the error. However, the ={0} initializers were placed in the original .c files (Not the src/*-pre.c versions).

AndrewFasano commented 5 years ago

Hm, the compile_commands.json file should capture the commands used to generate the preprocessed files and, if that were the case your other issues would go away. Did you modify your target's makefile to generate the -pre.c files and compile the target from them before you ran sw-btrace make?