PPT-Basic Program Analysis Suman Jana

some slides are borrowed from Baishakhi Ray and Ras Bodik Our Goal Program Analyzer Source code Security bugs Program analyzer must be able to understand program properties eg can a variable be NULL at a particular program point . Newbies. A guide for those of you who want to break into the fun world of malware.. What We’re Going To Cover. Basic x86/64 ASM. Tools of the trade. Setting up an environment. Intro to the Debugger . Prog. . Lang.. Program Analysis. Instructors: . Crista. Lopes. Copyright © Instructors. .. 1. Motivation(s). Where do you see PA in your everyday life?. How does PA “work”?. What is . PA anyway. Dawn Song, . Kostya. . Serebryany. ,. Peter . Collingbourne. . Techniques for bug finding. Automatic test case generation. Lower coverage . Lower false positives . Higher false negatives. Fuzzing . Dawn Song, . Kostya. . Serebryany. ,. Peter . Collingbourne. . Techniques for bug finding. Automatic test case generation. Lower coverage . Lower false positives . Higher false negatives. Fuzzing . Narayanan. Vitaly. Shmatikov. Protecting User Privacy from Perceptual Applications . 2. What does this all mean for a. security & privacy researcher?. The Future of Computing?. They Are Watching…. Dynamic Taint Analysis. Track information flow through a program at runtime. Identify sources of taint – . “. TaintSeed. ”. What are you tracking?. Untrusted input. Sensitive data. Taint Policy – . Adopted From U Penn . CIS 570: Modern Programming Language Implementation (Autumn 2006). Data flow analysis. D. erives . information about . the. . dynamic. . behavior . of a . program . by . only examining . Newbies. A guide for those of you who want to break into the fun world of malware.. What We’re Going To Cover. Basic x86/64 ASM. Tools of the trade. Setting up an environment. Intro to the Debugger . Chapter 2: Malware Analysis in Virtual Machines. Chapter 3: Basic Dynamic Analysis. Chapter 1: Basic Static Techniques. Static analysis. Examine payload without executing it to determine function and maliciousness. including Merck, Pharmacia, and Pfizer. She has been with Bristol - Mye rs Squibb for the past 9 years. Jana has a Bachelor’s degree in Chemistry/Biochemistry, and started in the industry as a for Jana Rosenmann was named Head of Unmanned Aerial Systems (UAS) program me line in March 2017. In this position she is operationally responsible for UAS program me s in Airbus Defence and Spa za first last  one, Saturday]  seven, last day juma; wiki [week] Jumatatu [Tuesday] [Thursday] [Friday] [Saturday] Zingatia [note] juzi [day before yesterday] jana [today] [tomorrow] By establishing the Jana L. Edge Endowed International Transcultural Nursing Scholarship, Jana will assist nursing students to have the opportunity to travel internationally, and thereby see nursing f CS 4501. Baishakhi Ray. Compiler Overview. Abstract Syntax Tree : . Source code parsed to produce AST. Control Flow Graph: . AST is transformed to CFG. Data Flow Analysis: . operates on CFG. The Structure of a Compiler.