Is it possible to extend JFS to process string constraints?

[lingjunz]

JFS is an impressive tool to strengthen solver's capacity with fuzzing. I'm wondering whether it is possible to extend JFS to process string constraints?

What should I do to realize this goal?

Thanks!

[ccadar]

Do you mean solving constraints in the theory of strings? If so, you need to map the string operations into C equivalents, e.g., indexOf into strchr. Does this answer your question?