Visible to the public CodeHawk: Sound Static Analysis through Customization

Submitted by TimTh on Fri, 07/01/2011 - 8:48am. Contributor:

Presented as part of the 2009 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

CodeHawk: Sound Static Analysis through Customization
Switch to experimental viewer