JIGSAW is a fuzzing-based path constraint solver. - View it on GitHub