stringfuzz
stringfuzz copied to clipboard
dblotsky
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Error 1: ` echo "(set-logic QF_S) (set-logic QF_S)(declare-fun var0 () String)(declare-fun var1 () String)(declare-fun var2 () Int)(declare-fun var3 () Int)(declare-fun var4 () Bool)(declare-fun var5 () Bool)(assert (str.suffixof var1 var0))(assert (str.in.re...
Another crash. I don't have an input, but I have the command and trace. This happened consistently for 500 jobs. Normally after 5-8 hours. Mutated with the following command:` stringfuzzx...
Command: `stringfuzzx --file /tmp/tmpuu5r6x7i --random bandit --operator 'IndexOf2' ` Input: ``` (set-logic QF_S) (declare-fun var0 () String) (declare-fun var1 () String) (declare-fun var2 () String) (declare-fun var3 () Int) (declare-fun...
Command: ` stringfuzzx --file /tmp/tmpup689xdy --random bandit --operator 'IndexOf2' ` Input: ``` (set-logic QF_S) (declare-fun var0 () String) (declare-fun var1 () String) (declare-fun var2 () String) (declare-fun var3 () Int)...
The clever generator simulates bounded model checker client-specific equivalence queries. In particular, the generator produces: * a client that calls a library n times * two different versions of the...
I want to create word equations that don't have higher order functions or regular expressions for testing word equation solving. This does what I want.
Features: - Randomly add a new assert (with fresh vars or existing vars) - Randomly remove an assert
Hello, I am using your stringfuzz and figure out a minor issue in generating tests. When you generate tests with double-quote character " with language SMT2.5, it seems you forget...
Norn only supports SMT-LIB 2.0, though its string syntax is the same as that for the "smt25" language in stringfuzz. A new language should be added that combines the "smt25"...
An update to the SMT-LIB strings language standard has differentiated the `re.all` and `re.allchar` operators. The semantics of these operators should be handled as follows: * `re.allchar` is a regex...
