STATIC for C
BENEFITS Very-fine analysis of C programs.
Early detection of subtle defects.
KEY FEATURES Thorough analysis of C code.
User-selectable message suppression.
APPLICATIONS Development testing.
Unit-testing.
QA Inspection.
TestWorks INDEX VALUE +60 Points for >50% Application.
Take a tour of TestWorks for UNIX: TestWorking MotifBurger

STATIC, a static analyzer system, stands alone or works as part of TestWorks' fully integrated TestWorks/Advisor suite of static source code analyers and measurement tools. STATIC provides a more comprehensive syntax and semantic analysis for C programs than most compilers, including locating non-portable constructs and dead code.

The C programming language is often the source of obscure bugs and unreliable software. Unfortunately, many of these bugs may be accepted as legal C by compilers.

Besides locating non-portable constructs, STATIC also searches the entire program for inconsistencies across the modules that comprise an application. This feature is especially important when analyzing source code in multi-programmer projects. STATIC allows programmers to decide on the degree of checking necessary and focus on a single type of error(s).

STATIC processes a source code file, in one or multiple files, and generates a report covering more than 300 possible syntactical, warning and informational messages. The report can be easily customized to fit an organization's unique programming styles with the following options:

  1. Control options enable and/or disable messages individually or in groups, by symbol name, or by type difference.
  2. Flag options handle data types and syntax errors.
  3. Size options set the sizes of various scalars (short, int) for a target machine.
  4. Compiler options disregard nonstandard constructs.

Click Here for Screen Shots showing TestWorks Capabilities and Facilities.