search

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Other
20 stars 9 forks source link

stringfuzzx graft shouldn't swap with str.to.re args #26

Closed FedericoAureliano closed 6 years ago

FedericoAureliano commented 6 years ago

Graft can cause (str.to.re (str.++ x y)). The only argument that can appear in (str.to.re) is a string constant literal.