chc.cmdline.kendra.kendrautil module

Command-line interface to the CodeHawk C Analyzer.

chc.cmdline.kendra.kendrautil.dashboard_header() → str[source]

chc.cmdline.kendra.kendrautil.get_delegated_ppo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_delegated_ppo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_delegated_spo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_delegated_spo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_open_ppo_count(spec: Dict[str, Any]) → int[source]

chc.cmdline.kendra.kendrautil.get_open_spo_count(spec: Dict[str, Any]) → int[source]

chc.cmdline.kendra.kendrautil.get_perc(x: int, y: int, width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_ppo_count(spec: Dict[str, Any]) → int[source]: Returns the number of ppos in the spec file.

chc.cmdline.kendra.kendrautil.get_ppo_results(spec: Dict[str, Any]) → str[source]

chc.cmdline.kendra.kendrautil.get_ppos(spec: Dict[str, Any], f: str) → List[Any][source]

chc.cmdline.kendra.kendrautil.get_safe_ppo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_safe_ppo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_safe_spo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_safe_spo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_spo_count(spec: Dict[str, Any]) → int[source]: Returns the number of spos in the spec file.

chc.cmdline.kendra.kendrautil.get_spo_results(spec: Dict[str, Any]) → str[source]

chc.cmdline.kendra.kendrautil.get_spos(spec: Dict[str, Any], f: str) → List[Any][source]

chc.cmdline.kendra.kendrautil.get_status_ppo_counts(spec: Dict[str, Any], status: str) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_status_spo_counts(spec: Dict[str, Any], status: str) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_violation_ppo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_violation_ppo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.get_violation_predicates(spec: Dict[str, Any]) → Set[str][source]

chc.cmdline.kendra.kendrautil.get_violation_spo_counts(spec: Dict[str, Any]) → Tuple[int, int][source]

chc.cmdline.kendra.kendrautil.get_violation_spo_perc(spec: Dict[str, Any], width: int) → str[source]

chc.cmdline.kendra.kendrautil.kendra_clean_set(args: argparse.Namespace) → NoReturn[source]: Removes the analysis artifacts of a kendra test set.

chc.cmdline.kendra.kendrautil.kendra_dashboard(args: argparse.Namespace) → NoReturn[source]

chc.cmdline.kendra.kendrautil.kendra_list(args: argparse.Namespace) → NoReturn[source]: Prints out the list of kendra tests available in the test directory.

chc.cmdline.kendra.kendrautil.kendra_report_file(args: argparse.Namespace) → NoReturn[source]

chc.cmdline.kendra.kendrautil.kendra_show_file_table(args: argparse.Namespace) → NoReturn[source]

chc.cmdline.kendra.kendrautil.kendra_show_function_table(args: argparse.Namespace) → NoReturn[source]

chc.cmdline.kendra.kendrautil.kendra_show_set(args: argparse.Namespace) → NoReturn[source]: Prints out the reference information of a kendra test set.

chc.cmdline.kendra.kendrautil.kendra_test_set(args: argparse.Namespace) → NoReturn[source]: Parses and analyzes a testset and compares the result with a reference

chc.cmdline.kendra.kendrautil.kendra_test_sets(args: argparse.Namespace) → NoReturn[source]

chc.cmdline.kendra.kendrautil.print_error(m: str) → None[source]

chc.cmdline.kendra.kendrautil.run_test(testname: str, verbose: bool, line_summary: bool = False) → None[source]

chc.cmdline.kendra.kendrautil.set_logging(level: str, path: str, logfilename: Optional[str], msg: str = '', mode: str = 'a') → None[source]