PPT-Semi-Sparse Flow-Sensitive Pointer Analysis

Ben Hardekopf Calvin Lin The University of Texas at Austin POPL 09 Simplified by Eric Villasenor Overview Background FlowSensitive Analysis SemiSparse FlowSensitive Analysis Questions. –. . Part II. CS 8803 FPL. (Slides courtesy of John Whaley). 1. Unification vs. Inclusion. Earlier scalable pointer analysis was context-insensitive unification-based [. Steensgaard. ’96]. Pointers are . David Brumley. Carnegie Mellon University. Our story so far…. 2. U. nauthorized. C. ontrol. I. nformation. T. ampering. http://. propercourse.blogspot.com. /2010/05/. i. -believe-in-duct-. tape.html. B. . Steensgaard: . Points-to Analysis in Almost Linear Time. .. POPL 1996. M. Hind. : . Pointer analysis: haven't we solved this problem yet. ?.  . PASTE 2001. Presented by Ronnie . Barequet. 23.03.14. Making Flow- and Context-Sensitive Pointer Analysis Scalable for Millions of Lines of Code. Hongtao Yu Zhaoqing Zhang Xiaobing Feng Wei Huo. Institute of Computing Technology, Chinese Academy of Sciences. Origin, Definition, Pursuit, Dictionary-Learning and Beyond. Michael Elad. The Computer Science Department. The Technion – Israel Institute of technology. Haifa 32000, Israel. . Mathematics & Image Analysis (MIA) 2012 Workshop – Paris . static program analysis to. improve the performance. of runtime monitoring. Eric Bodden. Laurie . Hendren. Ondrej. . Lhotak. McGill University. University of Waterloo. Tale of the industry programmer. –. . Part II. CS . 6340. 1. Unification vs. Inclusion. Earlier scalable pointer analysis was context-insensitive unification-based [. Steensgaard. ’96]. Pointers are . either un-aliased . or point . Manuel . Fahndrich. Jakob. . Rehof. Manuvir. Das. Overview. Introduction . Using type inference for flow analysis. Polymorphic version of . Steensgaard’s. points-to analysis. Polymorphism responsible for context-sensitivity. Manuel . Fahndrich. Jakob. . Rehof. Manuvir. Das. Overview. Introduction . Using type inference for flow analysis. Polymorphic version of . Steensgaard’s. points-to analysis. Polymorphism responsible for context-sensitivity. Sabareesh Ganapathy. Manav Garg. Prasanna. . Venkatesh. Srinivasan. Convolutional Neural Network. State of the art in Image classification. Terminology – Feature Maps, Weights. Layers - Convolution, . Yinzhi Cao. Reference: . http. ://www.cs.tau.ac.il/~. omertrip/pldi09/TAJ.ppt. www.cs.cmu.edu/~. soonhok/talks/20110301.pdf. 2. Motivating Example. *. * Inspired by . Refl1. in. SecuriBench Micro. Taint Flow #1. Carnegie Mellon University. Our story so far…. 2. U. nauthorized. C. ontrol. I. nformation. T. ampering. http://. propercourse.blogspot.com. /2010/05/. i. -believe-in-duct-. tape.html. Adversary Model Matters!. Pointer Analysis. Prof. Gennady . Pekhimenko. University of Toronto. Winter 2018. The content of this lecture is adapted from the lectures of . Todd Mowry, Greg . Steffan. , and Phillip Gibbons. Basics. Hongtao Yu Zhaoqing Zhang Xiaobing Feng Wei Huo. Institute of Computing Technology, Chinese Academy of Sciences. { htyu, zqzhang, fxb, huowei }@ict.ac.cn. . 1. Jingling . Xue. University of New South Wales.