issues
search
sjcappella
/
avalanche
Automatically exported from code.google.com/p/avalanche
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Avalanche 0.6 doesn't compile on 64-bits architecture
#14
GoogleCodeExporter
opened
9 years ago
0
Avalanche 0.6.0 does not build on Fedora 16
#13
GoogleCodeExporter
opened
9 years ago
9
Error opening file basic_blocks.log before iteration 0 start
#12
GoogleCodeExporter
opened
9 years ago
2
Configure script doesn't check lack of lex and yacc needed by STP
#11
GoogleCodeExporter
closed
9 years ago
1
Configure said 'kernel version... unsupported'
#10
GoogleCodeExporter
closed
9 years ago
13
Avalanche-0.4 finished of checking an application but did't find an actual bug
#9
GoogleCodeExporter
closed
9 years ago
14
the tool doesn't expand input file size if necessary
#8
GoogleCodeExporter
closed
9 years ago
1
the tool doesn't track tainted data in static variables
#7
GoogleCodeExporter
closed
9 years ago
2
Avalanche 0.4 doesn't check the cause of crash of the tested application
#6
GoogleCodeExporter
closed
9 years ago
4
Incorrect STP queries when lseek (fseek, etc.) is used
#5
GoogleCodeExporter
closed
9 years ago
1
Avalanche crashes with segmentation fault when being run from PATH
#4
GoogleCodeExporter
closed
9 years ago
1
Exploits may not be found when standard string functions (string.h) are used
#3
GoogleCodeExporter
closed
9 years ago
1
[deleted issue]
#2
GoogleCodeExporter
closed
9 years ago
0
glibc 2.13 unsupported
#1
GoogleCodeExporter
closed
9 years ago
1