Page Information

Title:	Code-Auditing Requirements
Author:	Stephen M Landry	Jan 31, 2008 14:42
Last Changed by:	Kenneth G Raeburn	Apr 11, 2008 17:07
Tiny Link: (useful for email)	https://wikis.mit.edu/confluence/x/XQq6
Export As:	Word · PDF

Parent Page     Page: map-contrib

Children (4)     Page: FlexeLint notes     Page: GCC Compiler Options     Page: Sun Compiler Options     Page: Sun Lint notes

There are no labels assigned to this page.

Time	Editor
Apr 11, 2008 17:07	Kenneth G Raeburn	View Changes
Corrected links that should have been relative instead of absolute.
Apr 11, 2008 17:07	Kenneth G Raeburn	View Changes
Migrated to Confluence 4.0
Apr 11, 2008 17:07	Kenneth G Raeburn	View Changes
Apr 11, 2008 15:01	Andrew M Boardman	View Changes
Apr 11, 2008 13:16	Andrew M Boardman

External Links (24)
    code.google.com/p/skavenger/
    www.vanheusden.com/audit.html
    www.securityfocus.com/tools/
    www.spa-arrow.com/
    sourceforge.net/projects/flawfinder/
    pixybox.seclab.tuwien.ac.at/pixy/
    www.ouncelabs.com/solutions/solutions-software-portfolio-se…
    www.dwheeler.com/flawfinder/
    www.splint.org/
    www.gimpel.com/
    www.kernel.org/pub/software/devel/sparse/
    www.sourceaudit.com/products_sa.php
    www.fortifysoftware.com/security-resources/rats.jsp
    www.cs.berkeley.edu/~daw/boon/
    mtc.epfl.ch/software-tools/blast/
    smatch.sourceforge.net/
    metrics.sourceforge.net
    en.wikipedia.org/wiki/List_of_tools_for_static_code_analysi…
    samate.nist.gov/index.php/Tools
    www.crap4j.org/
    www.cs.berkeley.edu/~daw/mops/
    seclab.cs.ucdavis.edu/projects/testing/tools/
    sourceforge.net/projects/clint/
    eclipse-metrics.sourceforge.net