DonggeLiu / Legion

A coverage-based software testing tool

DonggeLiu/Legion Issues

SV-Bechmarks
Closed 4 years ago4
Do we need to use the `tbf-validator` to validate the results from `BenchExec`?
Closed 4 years ago2
Result evaluation and comparison
Updated 4 years ago1
"OSError: [Errno 24] Too many open files" inside BenchExec
Closed 4 years ago2
Questions about the `BenchExec` framework
Closed 4 years ago3
Other baselines
Closed 4 years ago3
claripy.errors.BackendError: unexpected type <class 'NotImplementedType'>
Closed 5 years ago1
White nodes do not match with symbolic states with the same addresses during symbolic execution
Closed 5 years ago1
Compare against Driller
Updated 5 years ago3
ParaDySE Benchmarking
Updated 5 years ago2
Compare against QSYM
Updated 5 years ago1
Docker for Legion
Closed 5 years ago2
Running rootless docker
Closed 5 years ago3
Does not support instrumentation across multiple files
Updated 5 years ago
LAVA-M Benchmarking
Updated 5 years ago
Compare against ANGR's builtin exploration strategyies
Updated 5 years ago
CGC Benchmarking
Updated 5 years ago