2012/9/13 Michael <
erm...@yandex.ru>:
> Hello!
>
> Could you supply avalanche output with --debug flag? I'm afraid I can't say
> much based on these messages, except that temporary directory for
> intermediate files is not created (which is strange, since it should have
> posted error message about this happening).
---%<---
$ avalanche --debug --filename=check/av-seed ./econs check/av-seed
Avalanche, a dynamic analysis tool. Thu Sep 13 09:43:27 2012
Running plugin Covgrind.
Executing command: /usr/lib64/avalanche/bin/../lib/avalanche/valgrind,
with args: /usr/lib64/avalanche/bin/../lib/avalanche/valgrind
--tool=covgrind --trace-children=no -v --alarm=300
--log-file=/tmp/avalanche-naiuxi/execution.log
--filename=/tmp/avalanche-naiuxi/basic_blocks.log ./econs
check/av-seed
Error: Cannot open file /tmp/avalanche-naiuxi/tmpfile_1: No such file
or directory
Unique error(s) found: 0.
Time statistics: 0 sec, tracegrind: 0, covgrind: 0, stp: 0.
Error: Cannot delete file /tmp/avalanche-naiuxi/tmpfile_0:No such file
or directory
Error: Cannot delete file /tmp/avalanche-naiuxi/tmpfile_1:No such file
or directory
Error: Cannot delete temporary directory /tmp/avalanche-naiuxi/ : No
such file or directory
---%<---
I did a rebuild with -fno-strict-aliasing and s/-O2/-O0/ for CFLAGS and
CXXFLAGS, but still got the same error.