SofCheck Inspector
The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws, race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. The SofCheck Inspector is produced by SofCheck, Inc., a software product company in Burlington, Massachusetts. The SofCheck Inspector static analysis engine is used within the CodePeer static analysis product from AdaCore.
Link from a Wikipage to another Wikipage
primaryTopic
SofCheck Inspector
The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws, race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. The SofCheck Inspector is produced by SofCheck, Inc., a software product company in Burlington, Massachusetts. The SofCheck Inspector static analysis engine is used within the CodePeer static analysis product from AdaCore.
has abstract
The SofCheck Inspector is a st ...... analysis product from AdaCore.
@en
Link from a Wikipage to an external page
Wikipage page ID
10,898,736
page length (characters) of wiki page
Wikipage revision ID
934,146,503
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
The SofCheck Inspector is a st ...... analysis product from AdaCore.
@en
label
SofCheck Inspector
@en