Comment by goodpoint

This is not doing static analysis / SMT, right?

Is it just bruteforcing tests? That means it's not able to test all possible inputs for any function working on long strings or arrays or dicts...