Home

Static Analysis for Security

An article from IEEE Security & Privacy magazine.

The article is an accessible introduction to the idea of static code analysis. Several security-related tools are described.

I guess it's tool-week here on LtU what with Dialyzer, JFluid and now this...

By Ehud Lamm at 2004-10-27 15:12 | Software Engineering | other blogs | 6316 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Microsoft Fugue

I tried Microsoft Research's Fugue last week. On paper it looks good, but I tried it on a large-scale project of mine and the noise-to-signal ratio was astronomical.

Dejan

By djelovic at Wed, 2004-10-27 21:02 | login or register to post comments