Home > News & Events > 2009

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)

AdaCore launches CodePeer™, a static analysis tool for GNAT powered by SofCheck technology.

The technology underlying CodePeer was developed over many years of work on highly optimizing compilers, noted Tucker Taft, Founder and CTO of SofCheck, but now we are taking all the information the compiler was using internally for its own optimization purposes, augmenting it with advanced whole-program analyses, and presenting it in a way that allows the programmer to fix their software before it breaks.

Complete Announcement Here

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