PV2 ⊧ StringFuzzgenerates and transforms SMT-LIB instances

Problem instance generator and fuzzer for SMT string solvers

Application domain/field

• String constraint solvers
• Problem generator
• Benchmark generator
• Fuzzing

Type of tool

Generator/transformer for string constraint problems

Expected input

Depends on which tool is used.

Format:

Most things are passed as an argument when calling the tool.

Expected output

Depends on the tool that is used. stringfuzzg, stringfuzzx and stringmerge will output an SMT-LIB instance. stringstats will output some properties of a given SMT-LIB instance.

Internals

Consists of the following tools:

• stringfuzzg: generates SMT-LIB instances
• stringfuzzx: Transforms SMT-LIB instances
• stringstats: Outputs properties of a given SMT-LIB instance such as the number of variables, the maximum syntactic depth of expressions, etc.
• stringmerge: Merges several SMT-LIB instances into one.

Uses SMT-LIB.

Comments

License: MIT