issues
search
DonggeLiu
/
Legion
A coverage-based software testing tool
MIT License
29
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
"OSError: [Errno 24] Too many open files" inside BenchExec
#17
DonggeLiu
closed
4 years ago
2
Result evaluation and comparison
#16
DonggeLiu
opened
4 years ago
1
Do we need to use the `tbf-validator` to validate the results from `BenchExec`?
#15
DonggeLiu
closed
4 years ago
2
Questions about the `BenchExec` framework
#14
DonggeLiu
closed
4 years ago
3
White nodes do not match with symbolic states with the same addresses during symbolic execution
#13
gernst
closed
4 years ago
1
claripy.errors.BackendError: unexpected type <class 'NotImplementedType'>
#12
gernst
closed
4 years ago
1
SV-Bechmarks
#11
DonggeLiu
closed
4 years ago
4
ParaDySE Benchmarking
#10
DonggeLiu
opened
5 years ago
2
Other baselines
#9
DonggeLiu
closed
4 years ago
3
LAVA-M Benchmarking
#8
DonggeLiu
opened
5 years ago
0
Compare against ANGR's builtin exploration strategyies
#7
DonggeLiu
opened
5 years ago
0
Compare against Driller
#6
DonggeLiu
opened
5 years ago
3
Compare against QSYM
#5
DonggeLiu
opened
5 years ago
1
Running rootless docker
#4
DonggeLiu
closed
4 years ago
3
Docker for Legion
#3
DonggeLiu
closed
4 years ago
2
Does not support instrumentation across multiple files
#2
DonggeLiu
opened
5 years ago
0
CGC Benchmarking
#1
DonggeLiu
opened
5 years ago
0