issues
search
zimmski
/
tavor
A generic fuzzing and delta-debugging framework
MIT License
245
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Megacheck
#109
zimmski
closed
6 years ago
1
Upgrade Go to 1.10 and 1.11 and fix the CI (again)
#108
zimmski
closed
6 years ago
1
Log errorness permutations instead of panicking
#107
zimmski
closed
6 years ago
1
Tavor does not support all Perl character classes
#106
saescha
opened
6 years ago
1
The Existing attribute of Sequences results in duplicated permutations with the AllPermutations fuzzing strategy
#105
zimmski
closed
7 years ago
1
Sequences should not panic all the time
#104
zimmski
closed
7 years ago
4
Handle errors of ResetResetTokens everywhere
#103
zimmski
opened
7 years ago
0
tavor is slow and uses a lot memory with very recursive grammars
#102
dkasak
opened
7 years ago
2
fix, Do not use result separator for last fuzzing generation
#101
zimmski
closed
7 years ago
2
Support Go 1.9
#100
zimmski
closed
7 years ago
1
Introduce a timeout logic into delta-debugging
#99
zimmski
opened
7 years ago
0
Forward referencing does not really work anymore
#98
zimmski
opened
7 years ago
0
Rename the All token to Concatenation
#97
zimmski
closed
7 years ago
0
Rename "All" token to "Concatenation"
#96
zimmski
closed
7 years ago
0
Switch to Go 1.7 and 1.8
#95
zimmski
closed
7 years ago
0
Rename delta-debugging to reducing
#94
zimmski
opened
8 years ago
0
Fix, only send the coveralls info if we are running with 1.5
#93
zimmski
closed
8 years ago
1
Include files
#92
zimmski
closed
8 years ago
0
Duplicate forward declarations with variables do not work
#91
zimmski
opened
8 years ago
0
Wrong sum with dynamic tokens
#90
zimmski
closed
8 years ago
1
Permutations should be 0-based
#89
yblein
closed
9 years ago
0
Strategies are crashing when given a nil random generator
#88
yblein
closed
9 years ago
0
Add support for negative values in RangeInt token
#87
yblein
closed
9 years ago
3
Graph fixes and improvements
#86
yblein
closed
9 years ago
3
Allow typed tokens of the Tavor format to be defined outside from the parser
#85
yblein
closed
9 years ago
7
Fixes zimmski/tavor#54 - Change filter interface
#84
yblein
closed
9 years ago
3
Use GopherJS for an online version of Tavor
#83
zimmski
opened
9 years ago
0
Path operator and everything needed, which is A LOT
#82
zimmski
closed
9 years ago
1
Support for external data definition (e.g. CSV)
#81
zimmski
opened
9 years ago
0
Tavor needs a rand.Uint64n method or the move to bigint
#80
zimmski
opened
9 years ago
0
"stringer" is missing in the build dependencies
#79
skomski
closed
9 years ago
2
Test interfaces at compile time not at test time
#78
zimmski
opened
9 years ago
0
Inspect gocc
#77
zimmski
opened
9 years ago
0
Implement general dynamic symbolic execution
#76
zimmski
closed
9 years ago
3
Universal mutation based tester
#75
zimmski
closed
9 years ago
1
Do not allow empty strings
#74
zimmski
closed
10 years ago
0
"Please note" -> "Note" and make Note-blocks
#73
zimmski
closed
10 years ago
0
Zero optional repeats should not be allowed
#72
zimmski
closed
10 years ago
1
Remove Fuzz and FuzzAll
#71
zimmski
closed
10 years ago
1
.Unique is not correctly permutated
#70
zimmski
closed
10 years ago
0
Decide on what we should do with real endless loops
#69
zimmski
opened
10 years ago
0
Rename the binarysearch reduce strategy to "linear"
#68
zimmski
closed
10 years ago
0
`reduce` command outputs verbose information without verbose argument
#67
zimmski
closed
10 years ago
0
The binarysearch reduce strategy does not correctly work for the complete example
#66
zimmski
closed
10 years ago
1
The binarysearch reduce strategy does not extend after bad reduction
#65
zimmski
closed
10 years ago
0
Rename token "conditions" to "statements"
#64
zimmski
closed
10 years ago
1
Show that the Tavor format is turing complete
#63
zimmski
opened
10 years ago
0
Allow Tavor to transform to anything
#62
zimmski
opened
10 years ago
0
HTTP Fuzzing server
#61
zimmski
opened
10 years ago
0
Remove Most and Least as the can be replaced easily by Repeat
#60
zimmski
closed
10 years ago
0
Next