| |
Other News:
Download Free Trial of SofCheck Inspector™...
CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology
SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005
SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008:
Automatic Storage Management and Persistence of Complex Data Structures.
SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!
SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java
SofCheck partners with Charles River Analytics to win SBIR for transition tools for Ada
SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference
SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM
SofCheck announces Malware Detection capability in SofCheck Inspector&trade tool set
SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...
SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...
SofCheck Names Caruso to Advisory Board...
SofCheck Joins Ada Resource Association...
Ada Helps Churn Out Less-Buggy Code...
|
|
BURLINGTON, Mass. (2009)
Using Static Analysis as part of Code Review
As static analysis tools have become more sophisticated, their role in
the software development process has become a subject of debate. Can
the use of a static analysis tool substitute for other, presumably more
labor-intensive steps in the normal process of coding, testing,
verification, validation, and ultimately possibly certification?
This talk will address the issue of using static analysis as an aid to
source code review, which is a labor intensive component of many phases
of disciplined software development, from initial coding, through
certification. Particular attention will be paid to reviewing code
according to specific safety-critical software development standards
such as DO-178B, or toward identifying specific security
vulnerabilities, such as those identified within the Common Weakness
Enumeration (CWE). We will identify specific features of a static
analysis tool, such as the automatic extraction of pre- and
postconditions from the code itself, that can facilitate productive code
review, both for the relatively informal reviews that take place during
the coding phase, and for the more formal reviews that may take place
later in the development cycle.
Click here for a video of the presentation
Click here for the full paper
Ada Conference UK 2009
For further information, visit
www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781)
750-8064 or E-mail info@sofcheck.com.
Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026
::
Printer-friendly version
|
|
