chc.cmdline package

Command-line processor for individual c-file, project, kendra, and juliet.

chc.cmdline.c_file

Support for analyzing an individual c-file.

chc.cmdline.c_project

Support for analyzing a multi-project file (with a Makefile).

chc.cmdline.juliet

Support for analyzing the NIST Juliet Test Suite.

chc.cmdline.kendra

Support for analyzing the kendra (regression) tests.

Subpackages

Modules shared by all subpackages:

chc.cmdline.AnalysisManager

chc.cmdline.ParseManager

chc.cmdline.chkc

Command-line interface to the CodeHawk C Analyzer.

chc.cmdline.jsonresultutil

Submodules