chc.cmdline.c_project.cprojectutil module

Implementation of commands for processing c projects in the CLI.

chc.cmdline.c_project.cprojectutil.cproject_analyze_project(args: argparse.Namespace) → NoReturn

chc.cmdline.c_project.cprojectutil.cproject_count_stmts(args: argparse.Namespace) → NoReturn

CLI command to output size statistics for a c project.

chc.cmdline.c_project.cprojectutil.cproject_make_callgraph(args: argparse.Namespace) → NoReturn

CLI command to output (and optionally save) the callgraph.

chc.cmdline.c_project.cprojectutil.cproject_missing_summaries(args: argparse.Namespace) → NoReturn

CLI command to output library functions without summaries.

chc.cmdline.c_project.cprojectutil.cproject_parse_project(args: argparse.Namespace) → NoReturn

chc.cmdline.c_project.cprojectutil.cproject_report(args: argparse.Namespace) → NoReturn

CLI command to output statistics on proof obligations for the project.

chc.cmdline.c_project.cprojectutil.cproject_report_file(args: argparse.Namespace) → NoReturn

CLI command to output the results for a single file in a c project.

chc.cmdline.c_project.cprojectutil.print_error(m: str) → None

chc.cmdline.c_project.cprojectutil.set_logging(level: str, path: str, logfilename: Optional[str], msg: str = '', mode: str = 'a') → None

chc.cmdline.c_project.cprojectutil.timing(activity: str) → Generator