chc.cmdline.c_file.cfiletableutil module

Commands to display dictionary tables.

chc.cmdline.c_file.cfiletableutil.cfile_apiparam_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed api parameters in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_assumption_table(args: argparse.Namespace) → NoReturn

Shows a list of supporting proof obligations for a function.

chc.cmdline.c_file.cfiletableutil.cfile_attribute_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed attributes of variables and types in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_attributes_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed attribute lists in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_attrparam_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed attribute parameters in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_cfgcontext_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed cfg contexts in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_compinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of global compinfo (struct/union) declarations/definitions.

chc.cmdline.c_file.cfiletableutil.cfile_constant_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed constants in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_cvd_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed variable-denotations in a function.

chc.cmdline.c_file.cfiletableutil.cfile_cvv_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed constant-value variables in a function.

chc.cmdline.c_file.cfiletableutil.cfile_enuminfo_table(args: argparse.Namespace) → NoReturn

Shows a list of global enuminfo declarations/definitions.

chc.cmdline.c_file.cfiletableutil.cfile_enumitem_table(args: argparse.Namespace) → NoReturn

Shows a list of global enumitem declarations/definitions.

chc.cmdline.c_file.cfiletableutil.cfile_exp_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed C expressions in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_expcontext_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed expression contexts in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_fieldinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of global fieldinfo declarations/definitions.

chc.cmdline.c_file.cfiletableutil.cfile_fnvarinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of local function varinfos.

chc.cmdline.c_file.cfiletableutil.cfile_funarg_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed function arguments in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_funargs_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed lists of function arguments in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_initinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of global initinfo declarations/definitions.

chc.cmdline.c_file.cfiletableutil.cfile_invfact_table(args: argparse.Namespace) → NoReturn

Shows a list of supporting proof obligations for a function.

chc.cmdline.c_file.cfiletableutil.cfile_lhost_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed lhs base variable locations in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_location_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed locations in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_lval_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed left-hand side values in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_membase_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed memory bases in a function.

chc.cmdline.c_file.cfiletableutil.cfile_memref_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed memory references in a function.

chc.cmdline.c_file.cfiletableutil.cfile_nrv_table(args: argparse.Namespace) → NoReturn

Shows a list of supporting proof obligations for a function.

chc.cmdline.c_file.cfiletableutil.cfile_numerical_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed CHIF numerical terms in a function.

chc.cmdline.c_file.cfiletableutil.cfile_offset_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed variable offsets in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_offsetinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed offsetinfos in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_pcontext_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed program contexts in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_postassume_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed assumptions on post conditions in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_postrequest_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed requests for a post conditions in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_ppotype_table(args: argparse.Namespace) → NoReturn

Shows a list of primary proof obligations for a function.

chc.cmdline.c_file.cfiletableutil.cfile_predicate_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed proof-obligation predicates in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_soffset_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed offsets in external expressions in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_spotype_table(args: argparse.Namespace) → NoReturn

Shows a list of supporting proof obligations for a function.

chc.cmdline.c_file.cfiletableutil.cfile_sterm_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed terms in external expressions in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_symbol_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed CHIF symbols in a function.

chc.cmdline.c_file.cfiletableutil.cfile_typ_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed variable types in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_typeinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed typeinfos in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_typsig_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed attribute type signatures in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_typsiglist_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed lists of attribute type signatures in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_variable_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed CHIF variables in a function.

chc.cmdline.c_file.cfiletableutil.cfile_varinfo_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed varinfos in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_xcst_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed xconstants in a function.

chc.cmdline.c_file.cfiletableutil.cfile_xpr_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed xexpression in a function.

chc.cmdline.c_file.cfiletableutil.cfile_xpred_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed external predicates in a c-file.

chc.cmdline.c_file.cfiletableutil.cfile_xprlist_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed xexpression lists in a function.

chc.cmdline.c_file.cfiletableutil.cfile_xprlistlist_table(args: argparse.Namespace) → NoReturn

Shows a list of indexed lists of xexpression lists in a function.

chc.cmdline.c_file.cfiletableutil.get_cfile_access(args: argparse.Namespace, cmd: str, table: str) → CFile

Checks existence of and provides access to c-file analysis results.

chc.cmdline.c_file.cfiletableutil.get_cfun_access(args: argparse.Namespace, cmd: str, table: str) → CFunction

chc.cmdline.c_file.cfiletableutil.print_error(m: str) → None

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