| |
Other News:
Download Free Trial of SofCheck Inspector™...
SofCheck Chairman and CTO Tucker Taft presents at SATE 2010
Vermont Technical College uses AdaMagic to develop it's CubeSat Lunar Lander/Orbiter project, set to launch in 2012
Vermont Technical College uses AdaMagic to deploy it's Alaskan Sea Ice Buoy
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail:
Parallel Specification and Implementation Language
SofCheck Chairman and CTO Tucker Taft authors "Integrating static analysis with a compiler and database" for Embedded Computing Design
Jack Ganssle of Embedded.com gives CodePeer™ high marks!
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 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 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. (2010)
Bringing Static Analysis to the Masses:
S. Tucker Taft, SofCheck, Inc., Burlington, MA USA
Abstract:
Most static analysis tools are operating
after the fact. The SATE experience, with struggles
to find all the code, recreate the compiler
context, etc., illustrates how painful this can be.
To achieve wide-spread usage of static analysis, it
seems clear that the tools need to become more
tightly integrated with the compiler. The Green Hills
Double Check and the AdaCore CodePeer tools are examples
of this. Ideally performing static analysis is a
"one click" operation in the IDE, or just another
command-line flag to the compiler and/or linker.
From the user's point of view, static analysis doesn't want to
appear as yet another tool they need to learn. It
wants to appear as simply a "pickier" mode of the
compiler or linker.
The natural next step after integrating static analysis
into the compiler is to integrate it into the programming
language itself. We are seeing the addition of annotation
sublanguages to languages such as Java and Ada, allowing
programmers to specify preconditions, postconditions,
etc., in a more standard way. We believe it may be time
to move such annotations even further into the language,
where the program won't even compile until all preconditions,
postconditions, assertions, etc., are satisfied at
compile-time. Until we achieve that, we will always
to some extent be trying to find bugs rather than trying
to prevent them in the first place. This talk will present
some preliminary work to create a language which has
full, mandatory, compile-time static analysis.
Click here for presentation slides
Static Analysis Tool Exposition (SATE 2010) Workshop: Looking for Needles in BIG Haystacks
A SAMATE meeting
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
|
|
