Skip to content

Commit

Permalink
Tests added and dead code removed; afl-sancov will no longer support …
Browse files Browse the repository at this point in the history
…vanilla coverage of AFL queue input (use afl-cov)
  • Loading branch information
Bhargava Shastry committed Nov 9, 2016
1 parent 97e5743 commit 7ab02ec
Show file tree
Hide file tree
Showing 15 changed files with 253 additions and 781 deletions.
439 changes: 15 additions & 424 deletions afl-sancov.py

Large diffs are not rendered by default.

4 changes: 3 additions & 1 deletion tests/afl-sancov-generator.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@
echo -e "\t[+] Generating coverage information for test-sancov.c"
rm -f test-sancov
clang-3.8 -O0 -g -fsanitize=undefined -fsanitize-coverage=edge \
test-sancov.c -o test-sancov
test-sancov.c -o test-sancov-ubsan
clang-3.8 -O0 -g -fsanitize=address -fsanitize-coverage=edge \
test-sancov.c -o test-sancov-asan

exit 0
1 change: 0 additions & 1 deletion tests/aflsancov.py

This file was deleted.

Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
{
"shrink-percent": 80.0,
"dice-linecount": 1,
"slice-linecount": 5,
"diff-node-spec": [
{
"count": 1,
"line": "/home/bhargava/work/gitlab/afl-sancov/tests/test-sancov.c:main:25:3"
}
],
"crashing-input": "HARDEN:0001,SESSION000:id:000000,sig:06,src:000003,op:havoc,rep:2",
"parent-input": "id:000003,src:000001,op:havoc,rep:4,+cov"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
{
"shrink-percent": 80.0,
"dice-linecount": 1,
"slice-linecount": 5,
"diff-node-spec": [
{
"count": 1,
"line": "/home/bhargava/work/gitlab/afl-sancov/tests/test-sancov.c:main:25:3"
}
],
"crashing-input": "HARDEN:0001,SESSION001:id:000000,sig:06,src:000003,op:havoc,rep:4",
"parent-input": "id:000003,sync:SESSION000,src:000003,+cov"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"shrink-percent": 66.66666666666667,
"crashing-input": "HARDEN:0001,SESSION000:id:000000,sig:06,src:000003,op:havoc,rep:2",
"dice-linecount": 1,
"diff-node-spec": [
{
"count": 3,
"line": "/home/bhargava/work/gitlab/afl-sancov/tests/test-sancov.c:main:25:3"
}
],
"slice-linecount": 3
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"shrink-percent": 66.66666666666667,
"crashing-input": "HARDEN:0001,SESSION001:id:000000,sig:06,src:000003,op:havoc,rep:4",
"dice-linecount": 1,
"diff-node-spec": [
{
"count": 3,
"line": "/home/bhargava/work/gitlab/afl-sancov/tests/test-sancov.c:main:25:3"
}
],
"slice-linecount": 3
}
138 changes: 0 additions & 138 deletions tests/run.py

This file was deleted.

Loading

0 comments on commit 7ab02ec

Please sign in to comment.