Checking Correct Usage Of APIs By Means Of Static Analysis
Stc
Date: 2005-06-09
Time: 11:45
Room: CGN room C004
Speaker: Gertjan van Montfoort
Title: Checking correct usage of API's by means of static analysis
Abstract
Lately I have been studying static analyses and have written a paper about this subject.
The title of the paper is `Checking correct usage of API's by means of static analysis'.
In the presentation I will specifically speak about the SLAM toolkit that currently is being developed by Microsoft. I will also talk about Boolean programs, an abstraction of programs that can be analysed.
More information about SLAM can be found on
http://research.microsoft.com/slam
