xupeng1231

Assertion Failed in qsym/pintool/solver.cpp

1

You may know, Symcc use qsym as a backend to realize symbolic execution. Particularly, it utilize the pintool code of qsym. When I use Symcc to fuzz some software, it...

It seems that the required component [modified dft](https://git.cs.vu.nl/r.vermeulen/libdft) is unaccessible. I cannot get it for compiling Vuzzer.

I test this exploit.pdf in foxit pdf reader of version 11.1.0 and 11.2.1, however, neither of these two versions work for this exploitation. I also prepare a poc by myself,...