From Seo Wiki - Search Engine Optimization and Programming Languages
The SofCheck Inspector 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, 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.
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis