Andreas Zeller (http://www.st.cs.uni-saarland.de/zeller/) is a full professor for Software Engineering at Saarland University in Saarbrücken, Germany, since 2001. His research (http://www.st.cs.uni-saarland.de/research/) concerns the analysis of large software systems and their development process. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging (http://www.whyprogramsfail.com/) and mining software archives (http://www.st.cs.uni-saarland.de/softevo/), for which he also was awarded 10-year impact awards from ACM SIGSOFT and ICSE. In 2011, he received an ERC Advanced Grant (http://erc.europa.eu/advanced-grants), Europe’s highest and most prestigious individual research grant, for work on specification mining and test case generation (http://www.specmate.org/). In 2013, Zeller co-founded Testfabrik AG, a start-up on automatic testing of Web applications, where he chairs the supervisory board.
Knowing which part of a program processes which parts of an input can reveal the structure of the input as well as the structure of the program. In a URL “http://www.example.com/path/”, for instance, the protocol “http”, the host “www.example.com(http://www.example.com)”, and the path “path” would be handled by different functions and stored in different variables. Given a set of sample inputs, we use dynamic tainting to trace the data flow of each input character, and aggregate those input fragments that would be handled by the same function into lexical and syntactical entities. The result is a context-free grammar that accurately reflects valid input structure; as it draws on function and variable names, it can be as readable as textbook examples.
In my talk, I show how our AUTOGRAM prototype derives such grammars automatically, and point out their uses in software engineering and security:
This work was conducted with Matthias Höschele and Konrad Jamrozik, presented at ASE 2016 (https://www.st.cs.uni-saarland.de/models/autogram/) and ICSE 2016 (http://www.boxmate.org/). It is part of the ERC SPECMATE project, funded by an ERC Advanced Grant.