Automated Software Analysis Group

Detecting Information Flow in Programs

  • type:Master/Diploma/Study Thesis
  • contact person:

    Mana Taghdiri

  • Description

     

    The goal of this project is to analyze information flow in programs. That is, to check whether the value stored in a variable at some program point can affect the value of another variable in the program. We incorporate ideas from test-case generation and constraint solving to build a precise analysis that can scale to large pieces of code.

     

    The task of this project is to develop and implement a technique for information flow analysis on top of an existing tool that explores execution paths of a program. The project will be done in collaboration with EPFL (in Switzerland) and MIT (in USA).


    Requirements:

    • Established background in program analysis concepts such as control and data flow graphs.
    • Familiarity with graph traversal algorithms.
    • Experience in C++ programming.

     

    The project can be done in phases as a Master's/Diploma thesis, Bachelor's/Study thesis, or a Hiwi position.

    If you are interested, please contact mana.taghdiri@kit.edu