querygen
Querygen is a prototype for the paper Automatic Inference of Search Patterns for Taint-Style Vulnerabilities S&P'15 written by Fabian Yamaguchi et al.
This program depends on joern, python-joern, joern-tools and polygraph.
As sary-1.0.4, another program that polygraph depends on, is incompatible with most of the modern environments such as Ubuntu-14.04, we build a alternative version to fix this problem. Just install this patched version of sary-1.2.0 and use this patched version of polygraph. Note that the patched version of sary already implement a compatible alternative patch corresponding to the words mentioned in polygraph/README.dependencies. That means you don't need to perform the sary relative patch file, but you still need to apply the libstree relative patch file included in the polygraph directory.