Joe Scott

Banditfuzz Branch Crashs. Three different inputs/error logs

8

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...

Bandit Issue #3

1

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)...

Possible Bug?

3

I got a shape error here. This fix works for acas .

[Feature Request] Cleaner interface for intermediate layers

4

Would it be possible to get a cleaner interface for accessing bounds in intermediate layers? This is an extremely useful feature. The ordered dictionary in `_modules` of a `BoundedModule` obtained...