Dear All, The code for static taint analysis (which should be similar to what you need) is now publicly available. You can find the code at https://github.com/thinkmoore/llvm-deps. -- John T.