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