Safety levels are used to represent the level of security a variable has within the security analysis. The set of safety levels is finite and has a partial order by ...

A sensitive sink is every construct/function that can cause a vulnerability when it is given TaintedData as a parameter. The following constructs are listed as a SensitiveSink ...

INCLUDE{ TWIKIWEB .SiteMap}

The following text was submitted as my proposal for Google's Summer of Code 2006: Project Title Using static analysis to find vulnerabilities Synopsis Applications ...