Closed GoogleCodeExporter closed 9 years ago
1. Install avalanche into /usr/bin 2. Run avalanche using short name, rather than full path: $ which avalanche /usr/bin/avalanche $ avalanche --verbose --filename=seed ./sample2 seed INFO: Avalanche, a dynamic analysis tool. INFO: Start time: Thu Jun 23 14:03:58 2011 DEBUG: Initializing plugin manager DEBUG: Running execution manager INFO: Running plugin kind=1 INFO: Executing command: ../lib/avalanche/valgrind, with args: ../lib/avalanche/valgrind --tool=covgrind --trace-children=no --alarm=300 --log-file=execution.log ./sample2 seed INFO: exited on signal ERROR: [TmpFile.cpp:76]: Cannot delete file tmpfile_1:No such file or directory ERROR: [TmpFile.cpp:76]: Cannot delete file tmpfile_0:No such file or directory Segmentation fault
Original issue reported on code.google.com by sidorov....@gmail.com on 23 Jun 2011 at 10:04
sidorov....@gmail.com
Original comment by sidorov....@gmail.com on 23 Jun 2011 at 7:06
Original issue reported on code.google.com by
sidorov....@gmail.com
on 23 Jun 2011 at 10:04