Automated Security Analysis: Tool Support for Evaluating C Code
Presented as part of the
2009 HCSS conference
.
License:
Creative Commons 2.5
Joe Hurd
Aaron Tomb
Louis Testa
Other available formats:
Automated Security Analysis: Tool Support for Evaluating C Code
Switch to normal viewer
Switch to experimental viewer
