Closed BharathMonash closed 3 years ago
Well, this pass is not designed to work standalone, and previously I used it to constraint the code path of symbolic execution. However It doesn't really work well for large data source, FYI.
Well, this pass is not designed to work standalone, and previously I used it to constraint the code path of symbolic execution. However It doesn't really work well for large data source, FYI.
Thanks @evilpan!
Hey @evilpan,
It would be really helpful if you could give instruction to use this pass on a library, say libxml2 (https://github.com/GNOME/libxml2)
Hoping to hear back soon! cheers!