CTADL is a static taint analysis tool - View it on GitHub