Static/Dynamic Analysis: Past, Present and Future

Static/Dynamic Analysis: Past, Present and Future

Static/Dynamic Analysis: Past, Present and Verification Grand Challenge Future Workshop SRI Menlo Park 22 February 2005 David Evans University of Virginia Computer Science The Past: Trends Lines of Source Code 100000000 10000000 Splint

1000000 LCLint 100000 Faster Machines 10000 Loss of Ambition 1000 100 FL Proofs 10 1 1965

Static/Dynamic Analy sis 1970 1975 1980 1985 2 1990 1995 2000 2005

2010 The Present Microsoft PREfix/fast, SLAMSDV ASTRE (Cousot) Airbus A380 Static/Dynamic Analy sis 3 The Present Static Analysis: good at checking generic requirements (types, buffer overflows, ) Dynamic Analysis: good at checking assertions inserted by programmer Bad at knowing what properties to check Automatic inference techniques Grand Challenge Repository

No good techniques for combining static and dynamic analyses Static/Dynamic Analy sis 4 The Future: Predictions for 2015 1. Software vendor will lose a major lawsuit because of a program bug 2. Someone will come up with a cool name like VerXifiedProgramming and sell a lot of books on program verification 3. No more buffer overflows in major commercial software Brian Snow at 20th Oakland conference predicted we will still be talking about buffer overflows in 2019 Static/Dynamic Analy

sis 5 Predictions for 2015 4. Standard compilers prevent most concurrency problems 5. Programmers will still make dumb mistakes and resist change 6. Good CS degree programs will: Incorporate verification into their first course Include a course on identifying and checking program properties Static/Dynamic Analy sis 6 Making Predictions Never make predictions, especially about the

future. Casey Stengel The best way to predict the future is to invent it. Alan Kay, 1971 Our plan and our hope was that the next generation of kids would come along and do something better than Smalltalk around 1984 or so But a variety of different things Static/Dynamic Analy 7 conspired together, and that next generation sis

Recently Viewed Presentations

  • Digestive Systems - Sam Houston State University

    Digestive Systems - Sam Houston State University

    * * Humans, swine, rabbits, chickens and horses all have a simple stomach, which is also known as a monogastric digestive system. Monogastric Carnivores and omnivores have monogastric digestive systems. Monogastric systems have a simple stomach structure and only one...
  • Soc 490 Internship - Le Moyne College

    Soc 490 Internship - Le Moyne College

    Soc 490 Internship. Little Luke's Dewitt. About Little Luke's. ... Founded by Mr. Ed Alberts. Felt the need for inclusion preschool/daycare in the Upstate and Central New York area. Locations in Pulaski, Dewitt, Oswego, Radisson, Watertown, and Fulton.
  • Lactation - Weebly

    Lactation - Weebly

    Introduction. Lactation, the process of producing milk, occurs in all mammalian species.. In fact, the production of milk following . parturition, the process of giving birth, is a major, if not sole, factor that defines the difference between mammals and...
  • Analysis of Algorithms

    Analysis of Algorithms

    Outline and Reading The Queue ADT (§4.3.1) Implementation with a circular array (§4.3.2) Growable array-based queue Queue interface in C++ The Queue ADT The Queue ADT stores arbitrary objects Insertions and deletions follow the first-in first-out scheme Insertions are at...
  • H.A.W.T. DevelopmentPrototype and Testing - Final Report

    H.A.W.T. DevelopmentPrototype and Testing - Final Report

    H.A.W.T. DevelopmentPrototype and Testing - Final Report. Vortex Wind Systems. Group M9. April 1, 2014
  • Snímek 1 - vsb.cz

    Snímek 1 - vsb.cz

    Fundamentals of Drilling. Fishing - Stuck. Pipe. Problems. presentation No. 4. Fundamentals of Onshore Drilling. references: Bernt S. Aadnoy, Iain Cooper, Stefan Z ...
  • Why do Atoms Share Electrons?

    Why do Atoms Share Electrons?

    Why do Atoms Share Electrons? Sometimes two atoms that both need to gain valence electrons have a similar attraction for the electrons. Sharing electrons is one way these atoms can acquire the electron configuration of a noble gas, even though...
  • CDR Project Presentation to TPTF

    CDR Project Presentation to TPTF

    Current Day Reports (CDR) Project Michael Daskalantonakis & Brian Cook Revised 1/26/08