In the seminar, each of you will give a 30 minutes talk about a selected topic. The seminar will be conducted together with the “MoSA” participants, who will also give 30 minutes summaries of the topics they worked on in the past summer semester.
|09:30||Identifier Analysis||Matthias Vohl|
|10:00||Intraprocedural Data Flow Analysis||Sönke Gluch|
|10:30||Type Flow Analysis||Dennis Molter|
|11:00||Tools: Conditional Transformations||Fabian Noth|
|11:30||Tools: StarTransformer||Andreas Becker|
|13:30||Interprocedural Analysis||Aleksandra Biresev|
|14:00||Field-sensitive (FS)||Eda Güngör|
|14:30||Context-sensitive (CS)||Saad Bashir Alvi|
|15:00||On-the-fly (OTF)||Obaid Abdul Maroof|
|15:30||Shape analysis||Rajat Arora|
|16:00||Graph Algorithms||Muhammad Zakir Khan|
You can find the slides in the SVN.
The presentations FS, CS and OTF introduce increasingly precise (and complex) techniques that achieve efficiency by not computing points-to relations exhaustively but by focusing on what is relevant for a particular analysis client that tries to answer a more abstract query (e.g. “Is this cast safe?”):
Further increasing precision by
It is allowed and sometimes even clever to use material from other authors in your talk or report, to save time. In particular, for the first version of the presentation (your general rehearshal talk) you should not spend too much time on (re)drawing yourself graphics from the original papers that you got as material. Simply copy the PDF and integrate it in your presentation.
However, all parts of the presentation that are copied from elsewhere (text, graphics, code, etc.) MUST be accompanied by proper citations of their respective source. Failing to do so is considered plagiarism and will have serious consequences.