SofCheck Inspector

From Seo Wiki - Search Engine Optimization and Programming Languages

Jump to: navigation, search

The SofCheck Inspector[1] is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of every method or subprogram it inspects, and uses that information to identify logic flaws[2], race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. TheSofCheck Inspector is produced bySofCheck, Inc.,a software product company in Burlington, MA.

See also

External links

Personal tools

Served in 0.053 secs.