Is it possible to extend JFS to process string constraints?

Question

Is it possible to extend JFS to process string constraints?

lingjunz opened this issue 5 years ago · 1 comments

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!

Answer 1 · 2019-10-03T17:04:12.000Z

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?