PPT-Data Flow Analysis Suman Jana

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 . W. Wu, P. DeMar, A. . Bobyshev. Fermilab. CHEP 2010, TAIPEI TAIWAN. wenji@fnal.gov. ; . demar@fnal.gov; bobyshev@fnal.gov. Topics. Background. Problems. F. ermilab Flow Data Collection & Analysis System. 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. Suman Jana. 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: Nick . Sisco. Objectives. Delineate streams and tributaries . D. elineate watersheds. Create streamlined process for future analysis. Map outfalls remotely to compare with GPS . data. Compare watershed boundaries. 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 – . 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 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 Ignite your AI curiosity with Jana EggersHow will the job market change with the evolution of AIIntro From DeloitteAI Institute this is AI gnition a monthly chat about the human side of artificial int *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. (e.g., can a variable be NULL at a particular program point? ). Ashish Agarwal. Shannon Chen. The University of Texas . at Austin. Rahul . Tikekar. Ririko. Horvath. Larry May . IRS, RAS. Advisory Roles: . Robert . Hanneman. ( UC Riverside), Lillian Mills (UT Austin).