The Program Analysis and Style Systems analyse and identify quality defects in programs (for the Ada 83, C and Java Languages).

Please visit their respective web pages for more information regarding individual systems: [Choose a system...] PASS Systems PASS-Ada PASS-C PASS-Java

If you are an authorized client of these systems, you may directly process your code by selecting the language your code is written in: [Choose a language...] Ada-83 Ansi C Java