Static analysis Tools for detecting security vulnerabilities

Noam Rinetzky - 2012/13 (Semester B)

In this workshop you will implement and experiment with tools in the area of program analysis and their application for detecting bugs that might lead to security vulnerabilities. The general idea is to take a known result from the program analysis literature, and implement a variant of this result in an existing program analysis framework. Technically, you will start with a research paper, and work your way to a reasonable (often simplified) implementation of the ideas in the paper.

A list of available projects can be found here.

Administration