Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding
MonoIFDS is presented, a variant of the IFDS algorithm that combines IFDS-style procedure summaries with bottom-up inter-procedural propagation and uses a modified encoding of the data-flow state and propagation to improve the efficiency of handling large analysis states, and to enable optimizations, such as optimizing...