issues
search
moralismercatus
/
crete
Open source concolic testing tool for binaries
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Provide memory exhaustion check for the host system for QEMU
#128
moralismercatus
opened
9 years ago
0
Provide .dynsym entries to call stack monitor
#127
moralismercatus
closed
8 years ago
1
Specifying only argument size in configuration generates incorrect test case
#126
moralismercatus
closed
9 years ago
1
Interrupt monitor assertion raised arbitrarily
#125
moralismercatus
opened
9 years ago
1
Concolic file fails to read expected number of bytes
#124
moralismercatus
closed
9 years ago
1
Remove redundancy for initial inputs
#123
moralismercatus
opened
9 years ago
1
Investigate how to avoid preloading valgrind
#122
moralismercatus
opened
9 years ago
2
Provide option to terminate executable after a given time, a timeout
#121
moralismercatus
opened
9 years ago
0
Provide a way to constrain or otherwise concolic file input
#120
moralismercatus
opened
9 years ago
0
Tasks to complete by EOI
#119
moralismercatus
closed
9 years ago
0
Don't run crete-dump if program terminates abnormally
#118
moralismercatus
opened
9 years ago
0
Allow users to insert intrinsics to preserve invariance
#117
moralismercatus
opened
9 years ago
0
Warning: exec functions not supported
#116
moralismercatus
opened
9 years ago
0
Tasks remaining for usage model completion
#115
moralismercatus
closed
9 years ago
0
glibc's strtol causes overlapping MO failure
#114
moralismercatus
opened
9 years ago
1
Use RL to filter capture
#113
moralismercatus
opened
9 years ago
0
Unexepected behavior while testing symbolic file example
#112
moralismercatus
opened
9 years ago
0
Use caution when using crete_assume in loops
#111
moralismercatus
opened
9 years ago
1
Does the trace graph consume an unsustainable amount of memory?
#110
moralismercatus
opened
9 years ago
1
Is discovery rate a useful heuristic for trace selection?
#109
moralismercatus
opened
9 years ago
0
Take interrupts into account when building the trace graph
#108
moralismercatus
opened
9 years ago
1
Consider using branch conditions rather than TB addresses to build trace graph
#107
moralismercatus
closed
9 years ago
1
Allow crete-debug to detect when symbolic address occurs
#106
moralismercatus
closed
9 years ago
1
Improve memory monitor
#105
moralismercatus
opened
9 years ago
1
Move QEMU dump reset from dump instruction handler to prime instruction handler
#104
moralismercatus
opened
9 years ago
0
Klee debug routines don't check size correctly
#103
moralismercatus
closed
9 years ago
2
strchr() produces inconsistent number of test cases
#102
moralismercatus
opened
9 years ago
0
glibc's strtol causes symbolic address
#101
moralismercatus
opened
9 years ago
2
Will trace graph exclude paths when they originate from helper function calls?
#100
moralismercatus
opened
9 years ago
2
Klee complains that about control flow mismatches when no .symtab entries are dumped
#99
moralismercatus
opened
9 years ago
1
First TB inconsistent across iterations when using call stack monitoring
#98
moralismercatus
opened
9 years ago
1
Coverage utility broken after removal of crete_for_range
#97
moralismercatus
closed
9 years ago
1
crete_assume cannot handle disjunctions correctly
#96
moralismercatus
opened
9 years ago
0
Parseutils occassionally generates inconsistent number of test cases for same initial input
#95
moralismercatus
opened
9 years ago
1
Use trace graph to eliminate redundancy in both VM and SVM
#94
moralismercatus
opened
9 years ago
0
Improve BFS trace selection efficiency
#93
moralismercatus
opened
9 years ago
3
Trace graph showing unexpected behavior
#92
moralismercatus
closed
8 years ago
2
Improve include/exclude filter format
#91
moralismercatus
closed
9 years ago
1
crete_make_symbolic only present once in IR/bitcode despite two calls from code
#90
moralismercatus
closed
9 years ago
1
crete_make_symbolic not captured after direct call from crete_make_concolic
#89
moralismercatus
opened
9 years ago
1
Clean up custom instructions
#88
moralismercatus
closed
9 years ago
1
How does -O2 for QEMU compare?
#87
moralismercatus
closed
9 years ago
1
Make klee_prep script optional
#86
moralismercatus
closed
8 years ago
1
Change way test_cases.bin is written to file.
#85
moralismercatus
opened
9 years ago
1
crete_assume can't handle conjunctions or disjunctions
#84
moralismercatus
closed
9 years ago
3
Ensure extra test case generated when using crete_assume makes sense
#83
moralismercatus
closed
9 years ago
1
Look into LLVM's opt utility
#82
moralismercatus
opened
9 years ago
1
Replace crete_for_range with crete_assume_*
#81
moralismercatus
closed
9 years ago
2
Error while testing ffmpeg-aes
#80
moralismercatus
opened
9 years ago
1
Cleanup before first release
#79
moralismercatus
closed
9 years ago
1
Previous
Next