search

vancaho / avalanche

Automatically exported from code.google.com/p/avalanche
2 stars 0 forks source link

Avalanche crashes with segmentation fault when being run from PATH #4

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 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

GoogleCodeExporter commented 8 years ago

Original comment by sidorov....@gmail.com on 23 Jun 2011 at 7:06