issues
search
trailofbits
/
differ
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
GNU Affero General Public License v3.0
67
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add Integration Tests
#24
ameily
closed
1 year ago
0
Add Production CI Checks
#23
ameily
opened
1 year ago
1
Trace timeout
#22
ameily
closed
1 year ago
0
Crash detection
#21
ameily
closed
1 year ago
0
Review debloater eval paper
#20
ameily
closed
1 year ago
2
Review metrics writeup
#19
ameily
closed
1 year ago
1
add jinja2 quote filter
#18
ameily
closed
1 year ago
0
Regex comparator
#17
ameily
closed
1 year ago
0
Differentiate between a crash and unexpected behavior
#16
ameily
closed
1 year ago
2
Use Radamsa (or reimplement its algorithm) to generate potentially crashing inputs
#15
michaelbrownuc
closed
1 year ago
4
Input files
#14
ameily
closed
1 year ago
0
Hook When a Trace Is Running
#13
ameily
closed
1 year ago
1
Process Timeout
#12
ameily
closed
1 year ago
0
Network Comparator Research
#11
ameily
closed
1 year ago
2
[Epic] Network Comparator
#10
ameily
closed
1 year ago
1
Debloater output sample set
#9
ameily
closed
1 year ago
4
Unit and Integration Tests
#8
ameily
closed
1 year ago
0
Detect Crash or Unexpected Behavior on Original Binary
#7
ameily
closed
1 year ago
2
Template stdin file and content
#6
ameily
closed
1 year ago
1
Generic Trace Setup/Teardown
#5
ameily
closed
1 year ago
0
Template Input Files
#4
ameily
closed
1 year ago
0
Quote jinja2 filter
#3
ameily
closed
1 year ago
0
String variables
#2
ameily
closed
1 year ago
4
Regex based string comparison
#1
ameily
closed
1 year ago
0
Previous