Stringfuzzx: multiply and translate should not modify literals in re.range (unless asked to).

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

Other

20 stars 9 forks source link

Closed FedericoAureliano closed 6 years ago

FedericoAureliano commented 6 years ago

Addressing issues #12 and #13.

Added command line argument to specify if re.range string literals should be touched.
Modified walker to include information about parent
Added check inside multiply and translate based on parent