JIGSAW: Efficient and Scalable Path Constraints Fuzzing