Home :: Methodologies :: Analysis :: Software :: Static Analysis

Static software analysis can not detect all software but is capable to identify many potential defects like i.e. uninitialized pointers, unreachable code, type violations, etc. The analysis of critical data flows, state transition and timing constrains allow to identify problems that are not detectable during verification, validation or stress testing.

Automatic tools allow a rigid code check and can be used to enforce code style guidelines.  We have successfully used the following tools to identify critical software defects:

[ News ] [ Industries ] [ Services ] [ Methodologies ] [ About us ] [ Links ]

Send mail to info@systemsafety.com with questions or comments about this web site. Copyright © 2003 System Safety, Inc.     Last modified: 02/17/06