zimmski/tavor issues and pull requests

#109 - Megacheck

Pull Request - State: closed - Opened by zimmski about 6 years ago - 1 comment

#108 - Upgrade Go to 1.10 and 1.11 and fix the CI (again)

Pull Request - State: closed - Opened by zimmski about 6 years ago - 1 comment

#107 - Log errorness permutations instead of panicking

Pull Request - State: closed - Opened by zimmski about 6 years ago - 1 comment

#106 - Tavor does not support all Perl character classes

Issue - State: open - Opened by saescha almost 7 years ago - 1 comment

#105 - The Existing attribute of Sequences results in duplicated permutations with the AllPermutations fuzzing strategy

Issue - State: closed - Opened by zimmski almost 7 years ago - 1 comment
Labels: bug, help wanted

#104 - Sequences should not panic all the time

Pull Request - State: closed - Opened by zimmski almost 7 years ago - 4 comments

#103 - Handle errors of ResetResetTokens everywhere

Issue - State: open - Opened by zimmski almost 7 years ago
Labels: bug, help wanted

#102 - tavor is slow and uses a lot memory with very recursive grammars

Issue - State: open - Opened by dkasak about 7 years ago - 2 comments

#101 - fix, Do not use result separator for last fuzzing generation

Pull Request - State: closed - Opened by zimmski about 7 years ago - 2 comments

#100 - Support Go 1.9

Pull Request - State: closed - Opened by zimmski about 7 years ago - 1 comment

#99 - Introduce a timeout logic into delta-debugging

Issue - State: open - Opened by zimmski over 7 years ago
Labels: enhancement

#98 - Forward referencing does not really work anymore

Issue - State: open - Opened by zimmski over 7 years ago
Labels: bug

#97 - Rename the All token to Concatenation

Pull Request - State: closed - Opened by zimmski over 7 years ago

#96 - Rename "All" token to "Concatenation"

Issue - State: closed - Opened by zimmski over 7 years ago
Labels: enhancement

#95 - Switch to Go 1.7 and 1.8

Pull Request - State: closed - Opened by zimmski over 7 years ago

#94 - Rename delta-debugging to reducing

Issue - State: open - Opened by zimmski over 8 years ago
Labels: documentation

#93 - Fix, only send the coveralls info if we are running with 1.5

Pull Request - State: closed - Opened by zimmski over 8 years ago - 1 comment

#92 - Include files

Pull Request - State: closed - Opened by zimmski over 8 years ago

#91 - Duplicate forward declarations with variables do not work

Issue - State: open - Opened by zimmski over 8 years ago
Labels: bug

#90 - Wrong sum with dynamic tokens

Issue - State: closed - Opened by zimmski over 8 years ago - 1 comment
Labels: bug

#89 - Permutations should be 0-based

Issue - State: closed - Opened by yblein over 9 years ago

#88 - Strategies are crashing when given a nil random generator

Issue - State: closed - Opened by yblein over 9 years ago

#87 - Add support for negative values in RangeInt token

Pull Request - State: closed - Opened by yblein over 9 years ago - 3 comments

#86 - Graph fixes and improvements

Pull Request - State: closed - Opened by yblein over 9 years ago - 3 comments

#85 - Allow typed tokens of the Tavor format to be defined outside from the parser

Pull Request - State: closed - Opened by yblein over 9 years ago - 7 comments

#84 - Fixes zimmski/tavor#54 - Change filter interface

Pull Request - State: closed - Opened by yblein over 9 years ago - 3 comments

#83 - Use GopherJS for an online version of Tavor

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: enhancement, help wanted, feature

#82 - Path operator and everything needed, which is A LOT

Pull Request - State: closed - Opened by zimmski almost 10 years ago - 1 comment

#81 - Support for external data definition (e.g. CSV)

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: enhancement, help wanted, feature

#80 - Tavor needs a rand.Uint64n method or the move to bigint

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: bug, enhancement, help wanted

#79 - "stringer" is missing in the build dependencies

Issue - State: closed - Opened by skomski almost 10 years ago - 2 comments

#78 - Test interfaces at compile time not at test time

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: bug, enhancement

#77 - Inspect gocc

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: enhancement, future

#76 - Implement general dynamic symbolic execution

Issue - State: closed - Opened by zimmski almost 10 years ago - 3 comments
Labels: enhancement, future

#75 - Universal mutation based tester

Issue - State: closed - Opened by zimmski almost 10 years ago - 1 comment
Labels: future, feature

#74 - Do not allow empty strings

Issue - State: closed - Opened by zimmski almost 10 years ago
Labels: bug, enhancement

#73 - "Please note" -> "Note" and make Note-blocks

Issue - State: closed - Opened by zimmski almost 10 years ago
Labels: documentation

#72 - Zero optional repeats should not be allowed

Issue - State: closed - Opened by zimmski almost 10 years ago - 1 comment
Labels: bug, enhancement

#71 - Remove Fuzz and FuzzAll

Pull Request - State: closed - Opened by zimmski almost 10 years ago - 1 comment

#70 - .Unique is not correctly permutated

Issue - State: closed - Opened by zimmski almost 10 years ago
Labels: bug

#69 - Decide on what we should do with real endless loops

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: enhancement, future

#68 - Rename the binarysearch reduce strategy to "linear"

Issue - State: closed - Opened by zimmski almost 10 years ago

#67 - `reduce` command outputs verbose information without verbose argument

Issue - State: closed - Opened by zimmski almost 10 years ago
Labels: bug

#66 - The binarysearch reduce strategy does not correctly work for the complete example

Issue - State: closed - Opened by zimmski almost 10 years ago - 1 comment
Labels: bug

#65 - The binarysearch reduce strategy does not extend after bad reduction

Issue - State: closed - Opened by zimmski almost 10 years ago
Labels: bug

#64 - Rename token "conditions" to "statements"

Issue - State: closed - Opened by zimmski almost 10 years ago - 1 comment
Labels: enhancement

#63 - Show that the Tavor format is turing complete

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: enhancement, future

#62 - Allow Tavor to transform to anything

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: future, feature

#61 - HTTP Fuzzing server

Issue - State: open - Opened by zimmski almost 10 years ago
Labels: feature

#60 - Remove Most and Least as the can be replaced easily by Repeat

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#59 - Replace RandomInt with RangeInt

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#58 - Add a "ListToken" interface

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#57 - Allow Tavor to be a parser generator

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#56 - More test functions with additional asserts

Issue - State: closed - Opened by zimmski about 10 years ago - 1 comment
Labels: enhancement

#55 - Change the fuzz and reduce strategy interfaces

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#54 - Change fuzzing filter interface

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#53 - Implement "set operators" in general for more than one argument

Issue - State: open - Opened by zimmski about 10 years ago
Labels: enhancement

#52 - Variables cannot be used in expressions

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug

#51 - Unused variables should lead to error

Issue - State: open - Opened by zimmski about 10 years ago
Labels: bug

#50 - Remove "$" of expressions

Issue - State: open - Opened by zimmski about 10 years ago - 2 comments
Labels: enhancement

#49 - Sequence .Reset is not working

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug

#48 - Test Tavor with Tavor

Issue - State: open - Opened by zimmski about 10 years ago
Labels: enhancement, future, feature

#47 - 100% individual package code coverage

Issue - State: open - Opened by zimmski about 10 years ago
Labels: enhancement, future

#46 - Sequences should always start reseted

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug

#45 - Rename "special tokens" to "typed tokens" which makes more sense

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#44 - Change definition of special tokens

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#43 - .Unique attribute has wrong pool usage

Issue - State: open - Opened by zimmski about 10 years ago
Labels: bug

#42 - Scopes for token attributes are just wrong

Issue - State: open - Opened by zimmski about 10 years ago - 1 comment
Labels: bug

#41 - Add syntax highlighting for Github

Issue - State: open - Opened by zimmski about 10 years ago
Labels: feature

#40 - Add syntax highlighting for Textmate/Sublime/...

Issue - State: open - Opened by zimmski about 10 years ago
Labels: feature

#39 - Allow typed tokens of the Tavor format to be externally defined

Issue - State: closed - Opened by zimmski about 10 years ago - 6 comments
Labels: future, feature

#38 - Allow token attributes of the Tavor format to be externally defined

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#37 - index out of range while parsing Char token

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug

#36 - Descriptions and questions concerning reducing are not consistent

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug

#35 - Inspect GraphWalker

Issue - State: open - Opened by zimmski about 10 years ago

#34 - Inspect NModel

Issue - State: open - Opened by zimmski about 10 years ago

#32 - Compile formats

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#31 - Transforming formats

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#30 - Direct support for source code generation and execution

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#29 - Direct support for protocols

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#28 - Allow functions in the Tavor format

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#27 - Feedback-driven fuzzing (stateful fuzzing)

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#26 - Remove the need for unrolling and allow real loops

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#25 - Format files which result output binary data

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#24 - Includes of external format files

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: future, feature

#23 - Parallel execution of fuzzing, delta-debugging, ...

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#22 - Encoding/Decoding of data e.g. to encrypt parts of data

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#21 - Online fuzzing

Issue - State: open - Opened by zimmski about 10 years ago - 1 comment
Labels: future, feature

#20 - Mutation based fuzzing

Issue - State: open - Opened by zimmski about 10 years ago
Labels: future, feature

#19 - Add "in" operator as well

Issue - State: open - Opened by zimmski about 10 years ago
Labels: feature

#18 - Allow more than one argument for the "not in" operator

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: feature

#17 - Remove Fuzz and FuzzAll of the Token interface

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: enhancement

#11 - .Unique attribute calculates wrong permutation count

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug, enhancement

#10 - Dynamic values are not correctly working in repeat to/from attributes

Issue - State: open - Opened by zimmski about 10 years ago - 2 comments
Labels: bug

#9 - /token/lists/items.go ListItem is not used in /parser/tavor.go

Issue - State: closed - Opened by zimmski about 10 years ago
Labels: bug, enhancement

#8 - Implement variable inlining / verbs like in fmt.Printf

Issue - State: open - Opened by zimmski about 10 years ago - 1 comment
Labels: feature

#7 - Implement "at most one" grouping in Tavor format

Issue - State: open - Opened by zimmski about 10 years ago - 2 comments
Labels: feature

#6 - Implement real binary-search delta-debugging

Issue - State: open - Opened by zimmski about 10 years ago
Labels: feature

#5 - Implement Andreas Zellers Delta-Debugging algorithms

Issue - State: open - Opened by zimmski about 10 years ago
Labels: feature

#2 - Fuzzer strategy token coverage

Issue - State: open - Opened by zimmski over 10 years ago
Labels: feature

GitHub / zimmski/tavor issues and pull requests