zimmski/tavor

Issues

• tavor is slow and uses a lot memory with very recursive grammars

  #102 opened 7 years ago by dkasak
  2

• Tavor does not support all Perl character classes

  #106 opened 7 years ago by saescha
  1

• The Existing attribute of Sequences results in duplicated permutations with the AllPermutations fuzzing strategy

  #105 opened 7 years ago by zimmski
  1

• Handle errors of ResetResetTokens everywhere

  #103 opened 7 years ago by zimmski
  0

• Introduce a timeout logic into delta-debugging

  #99 opened 8 years ago by zimmski
  0

• Forward referencing does not really work anymore

  #98 opened 8 years ago by zimmski
  0

• Rename "All" token to "Concatenation"

  #96 opened 8 years ago by zimmski
  0

• Rename delta-debugging to reducing

  #94 opened 9 years ago by zimmski
  0

• Duplicate forward declarations with variables do not work

  #91 opened 9 years ago by zimmski
  0

• More test functions with additional asserts

  #56 opened 9 years ago by zimmski
  1

• Wrong sum with dynamic tokens

  #90 opened 9 years ago by zimmski
  1

• Change the fuzz and reduce strategy interfaces

  #55 opened 9 years ago by zimmski
  0

• Strategies are crashing when given a nil random generator

  #88 opened 9 years ago by yblein
  0

• Permutations should be 0-based

  #89 opened 9 years ago by yblein
  0

• Test interfaces at compile time not at test time

  #78 opened 10 years ago by zimmski
  0

• Universal mutation based tester

  #75 opened 9 years ago by zimmski
  1

• Implement general dynamic symbolic execution

  #76 opened 9 years ago by zimmski
  3

• Change fuzzing filter interface

  #54 opened 10 years ago by zimmski
  0

• Use GopherJS for an online version of Tavor

  #83 opened 10 years ago by zimmski
  0

• Support for external data definition (e.g. CSV)

  #81 opened 10 years ago by zimmski
  0

• Variables cannot be used in expressions

  #52 opened 10 years ago by zimmski
  0

• Tavor needs a rand.Uint64n method or the move to bigint

  #80 opened 10 years ago by zimmski
  0

• "stringer" is missing in the build dependencies

  #79 opened 10 years ago by skomski
  2

• Allow Tavor to transform to anything

  #62 opened 10 years ago by zimmski
  0

• Inspect gocc

  #77 opened 10 years ago by zimmski
  0

• Rename the binarysearch reduce strategy to "linear"

  #68 opened 10 years ago by zimmski
  0

• "Please note" -> "Note" and make Note-blocks

  #73 opened 10 years ago by zimmski
  0

• Do not allow empty strings

  #74 opened 10 years ago by zimmski
  0

• Zero optional repeats should not be allowed

  #72 opened 10 years ago by zimmski
  1

• The binarysearch reduce strategy does not correctly work for the complete example

  #66 opened 10 years ago by zimmski
  1

• The binarysearch reduce strategy does not extend after bad reduction

  #65 opened 10 years ago by zimmski
  0

• Sequence .Reset is not working

  #49 opened 10 years ago by zimmski
  0

• Sequences should always start reseted

  #46 opened 10 years ago by zimmski
  0

• HTTP Fuzzing server

  #61 opened 10 years ago by zimmski
  0

• Allow Tavor to be a parser generator

  #57 opened 10 years ago by zimmski
  0

• Test Tavor with Tavor

  #48 opened 10 years ago by zimmski
  0

• .Unique is not correctly permutated

  #70 opened 10 years ago by zimmski
  0

• Decide on what we should do with real endless loops

  #69 opened 10 years ago by zimmski
  0

• Rename "special tokens" to "typed tokens" which makes more sense

  #45 opened 10 years ago by zimmski
  0

• Change definition of special tokens

  #44 opened 10 years ago by zimmski
  0

• Add a "ListToken" interface

  #58 opened 10 years ago by zimmski
  0

• `reduce` command outputs verbose information without verbose argument

  #67 opened 10 years ago by zimmski
  0

• Rename token "conditions" to "statements"

  #64 opened 10 years ago by zimmski
  1

• Show that the Tavor format is turing complete

  #63 opened 10 years ago by zimmski
  0

• Replace RandomInt with RangeInt

  #59 opened 10 years ago by zimmski
  0

• Remove Most and Least as the can be replaced easily by Repeat

  #60 opened 10 years ago by zimmski
  0

• Remove "$" of expressions

  #50 opened 10 years ago by zimmski
  2

• Implement "set operators" in general for more than one argument

  #53 opened 10 years ago by zimmski
  0

• Unused variables should lead to error

  #51 opened 10 years ago by zimmski
  0

• 100% individual package code coverage

  #47 opened 10 years ago by zimmski
  0