Index

A

ad (chc.app.AssignDictionaryRecord.AssignDictionaryRecord property) add() (chc.util.IndexedTable.IndexedTable method) (chc.util.StringIndexedTable.StringIndexedTable method) add_ckey2gckey() (chc.app.IndexManager.IndexManager method) add_file() (chc.app.IndexManager.IndexManager method) (chc.cmdline.ParseManager.TargetFiles method) add_missing_ppo() (chc.cmdline.kendra.TestResults.TestResults method) add_missing_spo() (chc.cmdline.kendra.TestResults.TestResults method) add_no_free() (chc.api.CGlobalContract.CGlobalContract method) add_parse_error() (chc.cmdline.kendra.TestResults.TestResults method) add_parse_success() (chc.cmdline.kendra.TestResults.TestResults method) add_pev_discrepancy() (chc.cmdline.kendra.TestResults.TestResults method) add_postrequest() (chc.api.CFunctionContract.CFunctionContract method) add_ppo() (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef method) add_ppo_count_error() (chc.cmdline.kendra.TestResults.TestResults method) add_ppo_count_success() (chc.cmdline.kendra.TestResults.TestResults method) add_sev_discrepancy() (chc.cmdline.kendra.TestResults.TestResults method) add_spo_count_error() (chc.cmdline.kendra.TestResults.TestResults method) add_spo_count_success() (chc.cmdline.kendra.TestResults.TestResults method) add_tags_args() (chc.util.IndexedTable.IndexedTable method) add_vid2gvid() (chc.app.IndexManager.IndexManager method) add_xcfile_error() (chc.cmdline.kendra.TestResults.TestResults method) add_xcfile_success() (chc.cmdline.kendra.TestResults.TestResults method) add_xffile_error() (chc.cmdline.kendra.TestResults.TestResults method) add_xffile_success() (chc.cmdline.kendra.TestResults.TestResults method) addresstype (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) all() (chc.util.loggingutil.LogLevel class method) AnalysisManager (class in chc.cmdline.AnalysisManager) analysisresultspath (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) analyze_test() (in module chc.cmdline.juliet.julietutil) AnalyzerMissingError APFormal (class in chc.api.ApiParameter) APGlobal (class in chc.api.ApiParameter) api (chc.api.CFunctionContract.CFunctionContract property) (chc.app.CFunction.CFunction property) api_id (chc.proof.AssumptionType.ApiAssumptionType property) ApiAssumption (class in chc.api.ApiAssumption)

ApiAssumptionType (class in chc.proof.AssumptionType) apiid (chc.proof.CFunctionCallsiteSPO.CFunctionCallsiteSPO property) ApiParameter (class in chc.api.ApiParameter) archive_project_summary_results() (in module chc.util.fileutil) are_shallow_compatible() (chc.linker.CompCompatibility.CompCompatibility method) are_structurally_compatible() (chc.linker.CompCompatibility.CompCompatibility method) argcount (chc.proof.CPOPredicate.CPOVarArgs property) argindex (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) argnr (chc.cmdline.kendra.TestSPORef.TestSPORef property) args (chc.util.IndexedTable.IndexedTableValue property) argument_indices (chc.proof.CProofDiagnostic.CProofDiagnostic property) argument_msgs (chc.proof.CProofDiagnostic.CProofDiagnostic property) arguments (chc.app.CExp.CExpCnApp property) (chc.app.CExp.CExpFnApp property) (chc.app.CTyp.CFunArgs property) (chc.invariants.CVConstantValueVariable.CVVExpFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) (chc.proof.CPOPredicate.CPOVarArgs property) array_basetype (chc.app.CTyp.CTypArray property) array_size_expr (chc.app.CTyp.CTypArray property) asminputs (chc.app.CInstr.CAsmInstr property) asmoutputs (chc.app.CInstr.CAsmInstr property) assigndictionary (chc.app.CFile.CFile property) AssignDictionaryRecord (class in chc.app.AssignDictionaryRecord) AssignDictionaryRegistry (class in chc.app.AssignDictionaryRecord) associated_region (chc.invariants.CVMemoryBase.CVMemoryBaseNull property) AssumptionType (class in chc.proof.AssumptionType) attr (chc.invariants.CXXpr.CXXAttr property) attributes (chc.app.CAttributes.CAttributes property) (chc.app.CFieldInfo.CFieldInfo property) (chc.app.CTyp.CTyp property) (chc.app.CTypsig.CTypsigArray property) attributes_string (chc.app.CTyp.CTyp property) attributes_to_pretty() (in module chc.util.xmlutil) attrs (chc.invariants.CXSymbol.CXSymbol property)

B

base (chc.invariants.CVMemoryReferenceData.CVMemoryReferenceData property) base_schema (chc.jsoninterface.JSONSchema.JSONSchema property) base_type (chc.app.CTypsig.CTypsigBase property) binop (chc.proof.CPOPredicate.CPOIntOverflow property) (chc.proof.CPOPredicate.CPOIntUnderflow property) (chc.proof.CPOPredicate.CPOPtrLowerBound property) (chc.proof.CPOPredicate.CPOPtrUpperBound property) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref property) (chc.proof.CPOPredicate.CPOUIntOverflow property) (chc.proof.CPOPredicate.CPOUIntUnderflow property) bitfield (chc.app.CFieldInfo.CFieldInfo property)

block_count (chc.app.CFunction.CFunction property) (chc.app.CStmt.CBlock property) (chc.app.CStmt.CStmt property) bound (chc.invariants.CNonRelationalValue.CNRVSymbolicBound property) (chc.proof.CPOPredicate.CPOIndexUpperBound property) boundtype (chc.invariants.CNonRelationalValue.CNRVSymbolicBound property) buffer (chc.api.XPredicate.XBuffer property) (chc.api.XPredicate.XInitializedRange property) (chc.api.XPredicate.XRevBuffer property) byte (chc.app.CLocation.CLocation property) byte_to_string() (in module chc.util.StringIndexedTable)

C

call_arguments (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) call_instrs (chc.app.CFunction.CFunction property) (chc.app.CStmt.CInstrsStmt property) (chc.app.CStmt.CStmt property) callargs (chc.app.CInstr.CCallInstr property) callee (chc.api.ContractAssumption.ContractAssumption property) (chc.api.PostAssume.PostAssume property) (chc.api.PostConditionRequest.PostConditionRequest property) (chc.api.PostRequest.PostRequest property) (chc.app.CInstr.CCallInstr property) (chc.invariants.CVConstantValueVariable.CVVExpFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) (chc.proof.AssumptionType.PostconditionType property) (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) callee_exp (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) callees (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) callgraph (chc.app.CApplication.CApplication property) callsite_spos (chc.proof.CFunctionSPOs.CFunctionSPOs property) CallsiteSPOType (class in chc.proof.SPOType) CallsiteTarget (class in chc.proof.CFunctionCallsiteSPOs) calltarget (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) canalyzer (chc.cmdline.AnalysisManager.AnalysisManager property) canbenull (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) capi (chc.api.ContractAssumption.ContractAssumption property) (chc.api.GlobalAssumption.GlobalAssumption property) (chc.api.PostConditionRequest.PostConditionRequest property) capp (chc.api.CGlobalContract.CGlobalContract property) (chc.app.CFile.CFile property) (chc.app.CFileDictionary.CFileDictionary property) (chc.app.CFunction.CFunction property) (chc.app.CGlobalDeclarations.CGlobalDeclarations property) (chc.app.CGlobalDictionary.CGlobalDictionary property) (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.linker.CLinker.CLinker property) (chc.proof.CFunctionProofs.CFunctionProofs property) (chc.proof.CFunPODictionary.CFunPODictionary property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) (chc.source.CSrcFile.CSrcFile property) CApplication (class in chc.app.CApplication) CAsmInput (class in chc.app.CInstr) CAsmInstr (class in chc.app.CInstr) CAsmOutput (class in chc.app.CInstr) CAssignInstr (class in chc.app.CInstr) cattr (chc.app.CCompInfo.CCompInfo property) CAttr (class in chc.app.CAttributes) CAttrAddrOf (class in chc.app.CAttributes) CAttrAlignOf (class in chc.app.CAttributes) CAttrAlignOfE (class in chc.app.CAttributes) CAttrAlignOfS (class in chc.app.CAttributes) CAttrBinOp (class in chc.app.CAttributes) CAttrCons (class in chc.app.CAttributes) CAttrDot (class in chc.app.CAttributes) CAttribute (class in chc.app.CAttributes) CAttributes (class in chc.app.CAttributes) CAttrIndex (class in chc.app.CAttributes) CAttrInt (class in chc.app.CAttributes) CAttrQuestion (class in chc.app.CAttributes) CAttrSizeOf (class in chc.app.CAttributes) CAttrSizeOfE (class in chc.app.CAttributes) CAttrSizeOfS (class in chc.app.CAttributes) CAttrStar (class in chc.app.CAttributes) CAttrStr (class in chc.app.CAttributes) CAttrUnOp (class in chc.app.CAttributes) CBlock (class in chc.app.CStmt) CBreakStmt (class in chc.app.CStmt) CCallInstr (class in chc.app.CInstr) cchname (chc.cmdline.ParseManager.ParseManager property) cchpath (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) cchtarfile (chc.cmdline.ParseManager.ParseManager property) cchtargzfile (chc.cmdline.ParseManager.ParseManager property) cchtargzname (chc.cmdline.ParseManager.ParseManager property) cchtarname (chc.cmdline.ParseManager.ParseManager property) CCompInfo (class in chc.app.CCompInfo) CCompoundInitInfo (class in chc.app.CInitInfo) CConst (class in chc.app.CConst) CConstChr (class in chc.app.CConst) CConstEnum (class in chc.app.CConst) CConstInt (class in chc.app.CConst) CConstReal (class in chc.app.CConst) CConstStr (class in chc.app.CConst) CConstWStr (class in chc.app.CConst) CContextDictionary (class in chc.app.CContextDictionary) CContextDictionaryRecord (class in chc.app.CContext) CContextNode (class in chc.app.CContext) CContinueStmt (class in chc.app.CStmt) cd (chc.app.AssignDictionaryRecord.AssignDictionaryRecord property) (chc.app.CDictionaryRecord.CDictionaryRecord property) (chc.app.CTypsig.CTypsig property) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord property) (chc.proof.CFilePredicateRecord.CFilePredicateRecord property) CDeclarations (class in chc.app.CDeclarations) CDeclarationsRecord (class in chc.app.CDictionaryRecord) CDeclarationsRegistry (class in chc.app.CDictionaryRecord) cdecls (chc.app.AssignDictionaryRecord.AssignDictionaryRecord property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) cdictionary (chc.app.CInstr.CInstr property) (chc.app.CStmt.CStmt property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property) CDictionary (class in chc.app.CDictionary) CDictionaryRecord (class in chc.app.CDictionaryRecord) CDictionaryRegistry (class in chc.app.CDictionaryRecord) CEnumInfo (class in chc.app.CEnumInfo) CEnumItem (class in chc.app.CEnumItem) CExp (class in chc.app.CExp) CExpAddrOf (class in chc.app.CExp) CExpAddrOfLabel (class in chc.app.CExp) CExpAlignOf (class in chc.app.CExp) CExpAlignOfE (class in chc.app.CExp) CExpBinOp (class in chc.app.CExp) CExpCastE (class in chc.app.CExp) CExpCnApp (class in chc.app.CExp) CExpConst (class in chc.app.CExp) CExpFnApp (class in chc.app.CExp) CExpLval (class in chc.app.CExp) CExpQuestion (class in chc.app.CExp) CExpSizeOf (class in chc.app.CExp) CExpSizeOfE (class in chc.app.CExp) CExpSizeOfStr (class in chc.app.CExp) CExpStartOf (class in chc.app.CExp) CExpUnOp (class in chc.app.CExp) cfg_context (chc.app.CContext.ProgramContext property) (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.proof.CFunctionPO.CFunctionPO property) cfgcontext (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) CfgContext (class in chc.app.CContext) CFieldInfo (class in chc.app.CFieldInfo) CFieldOffset (class in chc.app.COffset) cfile (chc.api.CFileContracts.CFileContracts property) (chc.api.CFunctionContract.CFunctionContract property) (chc.api.InterfaceDictionary.InterfaceDictionary property) (chc.app.AssignDictionaryRecord.AssignDictionaryRecord property) (chc.app.CContextDictionary.CContextDictionary property) (chc.app.CDeclarations.CDeclarations property) (chc.app.CDictionary.CDictionary property) (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary property) (chc.app.CFileDeclarations.CFileDeclarations property) (chc.app.CFileDictionary.CFileDictionary property) (chc.app.CFileGlobals.CFileGlobals property) (chc.app.CFunction.CFunction property) (chc.app.CFunDeclarations.CFunDeclarations property) (chc.app.CGlobalDeclarations.CGlobalDeclarations property) (chc.app.CGlobalDictionary.CGlobalDictionary property) (chc.app.CGXrefs.CGXrefs property) (chc.app.CStmt.CStmt property) (chc.app.CTypsig.CTypsig property) (chc.invariants.CFunInvariantTable.CFunInvariantTable property) (chc.invariants.CFunInvDictionary.CFunInvDictionary property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property) (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary property) (chc.proof.CFilePredicateRecord.CFilePredicateRecord property) (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionProofs.CFunctionProofs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunPODictionary.CFunPODictionary property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) (chc.reporting.ProofObligations.FunctionDisplay property) CFile (class in chc.app.CFile) cfile() (chc.cmdline.kendra.TestSetRef.TestSetRef method) cfile_analyze_file() (in module chc.cmdline.c_file.cfileutil) cfile_apiparam_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_assumption_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_attribute_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_attributes_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_attrparam_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_cfgcontext_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_compinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_constant_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_cvd_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_cvv_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_enuminfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_enumitem_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_exp_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_expcontext_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_fieldinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_filetable_command() (in module chc.cmdline.chkc) cfile_fnvarinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_funarg_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_funargs_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_functiontable_command() (in module chc.cmdline.chkc) cfile_initinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_investigate_file() (in module chc.cmdline.c_file.cfileutil) cfile_invfact_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_lhost_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_location_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_lval_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_membase_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_memref_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_nrv_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_numerical_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_offset_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_offsetinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_parse_file() (in module chc.cmdline.c_file.cfileutil) cfile_pcontext_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_postassume_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_postrequest_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_ppotype_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_predicate_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_report_file() (in module chc.cmdline.c_file.cfileutil) cfile_showglobals() (in module chc.cmdline.c_file.cfileutil) cfile_soffset_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_spotype_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_sterm_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_symbol_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_testlibc_summary() (in module chc.cmdline.c_file.cfileutil) cfile_typ_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_typeinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_typsig_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_typsiglist_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_variable_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_varinfo_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_xcst_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_xpr_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_xpred_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_xprlist_table() (in module chc.cmdline.c_file.cfiletableutil) cfile_xprlistlist_table() (in module chc.cmdline.c_file.cfiletableutil) CFileAssignment (class in chc.app.CFileAssignment) CFileAssignmentDictionary (class in chc.app.CFileAssignmentDictionary) cfilecommand() (in module chc.cmdline.chkc) CFileContractGlobalVar (class in chc.api.CFileContracts) cfilecontracts (chc.api.CFunctionContract.CFunctionContract property) CFileContracts (class in chc.api.CFileContracts) CFileDeclarations (class in chc.app.CFileDeclarations) cfiledecls (chc.app.CFunction.CFunction property) CFileDictionary (class in chc.app.CFileDictionary) cfileglobals (chc.app.CFile.CFile property) CFileGlobals (class in chc.app.CFileGlobals) cfilename (chc.app.CFile.CFile property) (chc.app.CFunction.CFunction property) (chc.proof.CFunctionProofs.CFunctionProofs property) CFilename (class in chc.app.CFileDeclarations) cfilenames (chc.cmdline.kendra.TestSetRef.TestSetRef property) CFileNotFoundException cfilepath (chc.app.CFile.CFile property) (chc.app.CFunction.CFunction property) (chc.proof.CFunctionProofs.CFunctionProofs property) CFilePredicateDictionary (class in chc.proof.CFilePredicateDictionary) CFilePredicateRecord (class in chc.proof.CFilePredicateRecord) CFilePredicateRegistry (class in chc.proof.CFilePredicateRecord) cfiles (chc.app.CApplication.CApplication property) (chc.cmdline.juliet.JulietTestRef.JulietTestRef property) (chc.cmdline.kendra.TestResults.TestResults property) (chc.cmdline.kendra.TestSetRef.TestSetRef property) cfinvd (chc.reporting.ProofObligations.FunctionDisplay property) cfun (chc.api.CFunctionContract.CFunctionContract property) (chc.api.FieldAssignment.FieldAssignment property) (chc.api.GlobalAssumption.GlobalAssumption property) (chc.api.PostConditionRequest.PostConditionRequest property) (chc.app.CFunDeclarations.CFunDeclarations property) (chc.app.CInstr.CInstr property) (chc.app.CStmt.CFunctionBody property) (chc.app.CStmt.CStmt property) (chc.invariants.CFunInvariantTable.CFunInvariantTable property) (chc.invariants.CFunInvDictionary.CFunInvDictionary property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionProofs.CFunctionProofs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunctionSPOs.CFunctionSPOs property) (chc.proof.CFunPODictionary.CFunPODictionary property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) CFunArg (class in chc.app.CTyp) CFunArgs (class in chc.app.CTyp) cfunction (chc.reporting.ProofObligations.FunctionDisplay property) CFunction (class in chc.app.CFunction) CFunctionBody (class in chc.app.CStmt) CFunctionCallsiteSPO (class in chc.proof.CFunctionCallsiteSPO) CFunctionCallsiteSPOs (class in chc.proof.CFunctionCallsiteSPOs) CFunctionContract (class in chc.api.CFunctionContract) CFunctionLocalSPO (class in chc.proof.CFunctionLocalSPO) CFunctionNotFoundException CFunctionPO (class in chc.proof.CFunctionPO) CFunctionPPO (class in chc.proof.CFunctionPPO) CFunctionPPOs (class in chc.proof.CFunctionPPOs) CFunctionProofs (class in chc.proof.CFunctionProofs) CFunctionReturnsiteSPO (class in chc.proof.CFunctionReturnsiteSPO) CFunctionReturnsiteSPOs (class in chc.proof.CFunctionReturnsiteSPOs) CFunctionSPOs (class in chc.proof.CFunctionSPOs) CFunDeclarations (class in chc.app.CFunDeclarations) cfundecls (chc.app.CFunction.CFunction property) CFunInvariantTable (class in chc.invariants.CFunInvariantTable) CFunInvDictionary (class in chc.invariants.CFunInvDictionary) CFunInvDictionaryRecord (class in chc.invariants.CFunDictionaryRecord) CFunInvDictionaryRegistry (class in chc.invariants.CFunDictionaryRecord) CFunPODictionary (class in chc.proof.CFunPODictionary) CFunPODictionaryRecord (class in chc.proof.CFunPODictionaryRecord) CFunPODictionaryRegistry (class in chc.proof.CFunPODictionaryRecord) CFunPOType (class in chc.proof.CFunPODictionaryRecord) CFunVarDictionary (class in chc.invariants.CFunVarDictionary) CFunVarDictionaryRecord (class in chc.invariants.CFunDictionaryRecord) CFunVarDictionaryRegistry (class in chc.invariants.CFunDictionaryRecord) CFunXprDictionary (class in chc.invariants.CFunXprDictionary) CFunXprDictionaryRecord (class in chc.invariants.CFunDictionaryRecord) CFunXprDictionaryRegistry (class in chc.invariants.CFunDictionaryRecord) CGCompTag (class in chc.app.CFileGlobals) CGEnumTag (class in chc.app.CFileGlobals) CGFunction (class in chc.app.CFileGlobals) CGlobalContract (class in chc.api.CGlobalContract) CGlobalDeclarations (class in chc.app.CGlobalDeclarations) CGlobalDictionary (class in chc.app.CGlobalDictionary) CGotoStmt (class in chc.app.CStmt) CGType (class in chc.app.CFileGlobals) CGVarDecl (class in chc.app.CFileGlobals) CGVarDef (class in chc.app.CFileGlobals) CGXrefs (class in chc.app.CGXrefs) characteristics (chc.cmdline.kendra.TestSetRef.TestSetRef property) chc module chc.api module chc.api.ApiAssumption module chc.api.ApiParameter module chc.api.CFileContracts module chc.api.CFunctionContract module chc.api.CGlobalContract module chc.api.ContractAssumption module chc.api.FieldAssignment module chc.api.GlobalAssumption module chc.api.InterfaceDictionary module chc.api.InterfaceDictionaryRecord module chc.api.PostAssume module chc.api.PostConditionRequest module chc.api.PostRequest module chc.api.SOffset module chc.api.STerm module chc.api.XPredicate module chc.app module chc.app.AssignDictionaryRecord module chc.app.CApplication module chc.app.CAttributes module chc.app.CCompInfo module chc.app.CConst module chc.app.CContext module chc.app.CContextDictionary module chc.app.CDeclarations module chc.app.CDictionary module chc.app.CDictionaryRecord module chc.app.CEnumInfo module chc.app.CEnumItem module chc.app.CExp module chc.app.CFieldInfo module chc.app.CFile module chc.app.CFileAssignment module chc.app.CFileAssignmentDictionary module chc.app.CFileDeclarations module chc.app.CFileDictionary module chc.app.CFileGlobals module chc.app.CFunction module chc.app.CFunDeclarations module chc.app.CGlobalDeclarations module chc.app.CGlobalDictionary module chc.app.CGXrefs module chc.app.CHVersion module chc.app.CInitInfo module chc.app.CInstr module chc.app.CLHost module chc.app.CLocation module chc.app.CLval module chc.app.COffset module chc.app.CStmt module chc.app.CTyp module chc.app.CTypeInfo module chc.app.CTypsig module chc.app.CVarInfo module chc.app.IndexManager module chc.cmdline module chc.cmdline.AnalysisManager module chc.cmdline.c_file module chc.cmdline.c_file.cfiletableutil module chc.cmdline.c_file.cfileutil module chc.cmdline.c_project module chc.cmdline.c_project.cprojectutil module chc.cmdline.chkc module chc.cmdline.jsonresultutil module chc.cmdline.juliet module chc.cmdline.juliet.JulietTestFileRef module

chc.cmdline.juliet.JulietTestRef module chc.cmdline.juliet.JulietTestScoring module chc.cmdline.juliet.JulietTestSetRef module chc.cmdline.juliet.julietutil module chc.cmdline.kendra module chc.cmdline.kendra.kendrautil module chc.cmdline.kendra.TestCFileRef module chc.cmdline.kendra.TestCFunctionRef module chc.cmdline.kendra.TestManager module chc.cmdline.kendra.TestPPORef module chc.cmdline.kendra.TestResults module chc.cmdline.kendra.TestSetRef module chc.cmdline.kendra.TestSPORef module chc.cmdline.ParseManager module chc.invariants module chc.invariants.CFunDictionaryRecord module chc.invariants.CFunInvariantTable module chc.invariants.CFunInvDictionary module chc.invariants.CFunVarDictionary module chc.invariants.CFunXprDictionary module chc.invariants.CInvariantFact module chc.invariants.CNonRelationalValue module chc.invariants.CVariableDenotation module chc.invariants.CVConstantValueVariable module chc.invariants.CVMemoryBase module chc.invariants.CVMemoryReferenceData module chc.invariants.CXConstant module chc.invariants.CXNumerical module chc.invariants.CXSymbol module chc.invariants.CXVariable module chc.invariants.CXXpr module chc.jsoninterface module chc.jsoninterface.JSONResult module chc.jsoninterface.JSONSchema module chc.linker module chc.linker.CLinker module chc.linker.CompCompatibility module chc.proof module chc.proof.AssumptionType module chc.proof.CFilePredicateDictionary module chc.proof.CFilePredicateRecord module chc.proof.CFunctionCallsiteSPO module chc.proof.CFunctionCallsiteSPOs module chc.proof.CFunctionLocalSPO module chc.proof.CFunctionPO module chc.proof.CFunctionPPO module chc.proof.CFunctionPPOs module chc.proof.CFunctionProofs module chc.proof.CFunctionReturnsiteSPO module chc.proof.CFunctionReturnsiteSPOs module chc.proof.CFunctionSPOs module chc.proof.CFunPODictionary module chc.proof.CFunPODictionaryRecord module chc.proof.CPOPredicate module chc.proof.CProofDependencies module chc.proof.CProofDiagnostic module chc.proof.PPOType module chc.proof.SPOType module chc.reporting module chc.reporting.ProofObligations module chc.reporting.reportutil module chc.source module chc.source.CSrcFile module chc.util module chc.util.Config module chc.util.fileutil module chc.util.IndexedTable module chc.util.loggingutil module chc.util.StringIndexedTable module chc.util.UnionFind module chc.util.xmlutil module CHCAnalysisResultsNotFoundError CHCAnalyzerNotFoundError CHCArtifactsNotFoundError CHCDirectoryNotFoundError CHCError CHCFileNotFoundError CHCGuiNotFoundError CHCJSONParseError CHCJulietCWENotFoundError CHCJulietScoreFileNotFoundError CHCJulietScoreKeyNotFoundError CHCJulietTargetFileCorruptedError CHCJulietTestNotFoundError CHCJulietTestSuiteFileNotFoundError CHCJulietTestSuiteNotRegisteredError CHCParserNotFoundError CHCProjectNameNotFoundError CHCSemanticsNotFoundError CHCShortCutNameError CHCSingleCFileNotFoundError CHCSummaryHeaderNotFound CHCSummaryTestNotFound CHCTargetGroupFileNotFoundError CHCTargetGroupNotFoundError CHCXmlParseError check_analysis_results() (in module chc.util.fileutil) check_analyzer() (in module chc.util.fileutil) check_cch_semantics() (in module chc.util.fileutil) check_cfile() (in module chc.util.fileutil) check_cfile_results() (in module chc.util.fileutil) check_cfun_results() (in module chc.util.fileutil) check_gui() (in module chc.util.fileutil) check_juliet_test_summary() (in module chc.util.fileutil) check_key() (chc.util.IndexedTable.IndexedTableValue method) check_parser() (in module chc.util.fileutil) check_ppo_proofs() (chc.cmdline.kendra.TestManager.TestManager method) check_ppos() (chc.cmdline.kendra.TestManager.TestManager method) check_semantics() (in module chc.util.fileutil) check_spo_proofs() (chc.cmdline.kendra.TestManager.TestManager method) check_spos() (chc.cmdline.kendra.TestManager.TestManager method) CHError chifvartype (chc.invariants.CXVariable.CXVariable property) CHKLogger (class in chc.util.loggingutil) chrvalue (chc.app.CConst.CConstChr property) chsummaries (chc.cmdline.AnalysisManager.AnalysisManager property) chtime() (in module chc.util.fileutil) CIfStmt (class in chc.app.CStmt) CIndexOffset (class in chc.app.COffset) CInitInfo (class in chc.app.CInitInfo) CInstr (class in chc.app.CInstr) CInstrsStmt (class in chc.app.CStmt) CInvariantFact (class in chc.invariants.CInvariantFact) CInvariantNRVFact (class in chc.invariants.CInvariantFact) ckey (chc.app.CCompInfo.CCompInfo property) (chc.app.CFileGlobals.CGCompTag property) (chc.app.COffset.CFieldOffset property) (chc.app.CTyp.CTypComp property) (chc.app.IndexManager.CKeyReference attribute) (chc.app.IndexManager.FileKeyReference attribute) (chc.invariants.CVariableDenotation.CVFieldVariable property) ckey2gckey (chc.app.CGlobalDeclarations.CGlobalDeclarations property) CKeyLookupError CKeyReference (class in chc.app.IndexManager) classify_tgt_safecontrol() (in module chc.cmdline.juliet.JulietTestScoring) classify_tgt_safecontrol_contract_assumption() (in module chc.cmdline.juliet.JulietTestScoring) classify_tgt_violation() (in module chc.cmdline.juliet.JulietTestScoring) classifypo() (in module chc.reporting.ProofObligations) clean() (chc.cmdline.kendra.TestManager.TestManager method) cleanup() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) CLHost (class in chc.app.CLHost) CLHostMem (class in chc.app.CLHost) CLHostVar (class in chc.app.CLHost) CLinker (class in chc.linker.CLinker) CLocation (class in chc.app.CLocation) CLoopStmt (class in chc.app.CStmt) CLval (class in chc.app.CLval) CNonRelationalValue (class in chc.invariants.CNonRelationalValue) CNoOffset (class in chc.app.COffset) CNRVBaseOffsetValue (class in chc.invariants.CNonRelationalValue) CNRVInitializedSet (class in chc.invariants.CNonRelationalValue) CNRVIntervalValue (class in chc.invariants.CNonRelationalValue) CNRVPolicyStateSet (class in chc.invariants.CNonRelationalValue) CNRVRegionSet (class in chc.invariants.CNonRelationalValue) CNRVSymbolicBound (class in chc.invariants.CNonRelationalValue) CNRVSymbolicExpr (class in chc.invariants.CNonRelationalValue) COffset (class in chc.app.COffset) COffsetInitInfo (class in chc.app.CInitInfo) collect_post() (chc.app.CFunction.CFunction method) collect_post_assumes() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionProofs.CFunctionProofs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) commit_reserved() (chc.util.IndexedTable.IndexedTable method) comp1 (chc.linker.CompCompatibility.CompCompatibility property) comp2 (chc.linker.CompCompatibility.CompCompatibility property) CompCompatibility (class in chc.linker.CompCompatibility) compinfo (chc.app.CFileGlobals.CGCompTag attribute) (chc.app.CTyp.CTypComp property) compinfos (chc.linker.CLinker.CLinker property) compinfoxrefs (chc.linker.CLinker.CLinker property) compkeys (chc.app.CGXrefs.CGXrefs property) condition (chc.app.CExp.CExpQuestion property) (chc.app.CStmt.CIfStmt property) config (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.cmdline.kendra.TestManager.TestManager property) Config (class in chc.util.Config) conjecture_key() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) ConjectureFailure constant (chc.app.CExp.CExpConst property) (chc.invariants.CXXpr.CXXConst property) constantvalue (chc.api.STerm.STNumConstant property) constraint (chc.app.CInstr.CAsmInput property) (chc.app.CInstr.CAsmOutput property) constvalue (chc.invariants.CXConstant.CXIntConst property) content (chc.jsoninterface.JSONResult.JSONResult property) context (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunPODictionaryRecord.CFunPOType property) (chc.proof.PPOType.LibPPOType property) (chc.proof.PPOType.ProgramPPOType property) (chc.proof.SPOType.CallsiteSPOType property) (chc.proof.SPOType.LocalSPOType property) (chc.proof.SPOType.ReturnsiteSPOType property) context_invariants() (chc.invariants.CFunInvariantTable.CFunInvariantTable method) context_string (chc.cmdline.kendra.TestPPORef.TestPPORef property) context_strings (chc.proof.CFunctionPO.CFunctionPO property) contextdictionary (chc.app.CFile.CFile property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) ContractAssumption (class in chc.api.ContractAssumption) contractpath (chc.api.CFileContracts.CFileContracts property) (chc.api.CGlobalContract.CGlobalContract property) (chc.app.CApplication.CApplication property) (chc.app.CFile.CFile property) (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.cmdline.kendra.TestManager.TestManager property) contracts (chc.app.CFile.CFile property) convert_ckey() (chc.app.CDictionary.CDictionary method) (chc.app.CFileDictionary.CFileDictionary method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.app.IndexManager.IndexManager method) convert_vid() (chc.app.CApplication.CApplication method) (chc.app.IndexManager.IndexManager method) count_postconditions() (chc.api.CFileContracts.CFileContracts method) count_preconditions() (chc.api.CFileContracts.CFileContracts method) CParameterConstraint (class in chc.invariants.CInvariantFact) CPOAllocationBase (class in chc.proof.CPOPredicate) CPOBuffer (class in chc.proof.CPOPredicate) CPOCast (class in chc.proof.CPOPredicate) CPOCommonBase (class in chc.proof.CPOPredicate) CPOCommonBaseType (class in chc.proof.CPOPredicate) CPOControlledResource (class in chc.proof.CPOPredicate) CPODistinctRegion (class in chc.proof.CPOPredicate) CPOFormatCast (class in chc.proof.CPOPredicate) CPOFormatString (class in chc.proof.CPOPredicate) CPOGlobalAddress (class in chc.proof.CPOPredicate) CPOHeapAddress (class in chc.proof.CPOPredicate) CPOIndexLowerBound (class in chc.proof.CPOPredicate) CPOIndexUpperBound (class in chc.proof.CPOPredicate) CPOInitialized (class in chc.proof.CPOPredicate) CPOInitializedRange (class in chc.proof.CPOPredicate) CPOInScope (class in chc.proof.CPOPredicate) CPOIntOverflow (class in chc.proof.CPOPredicate) CPOIntUnderflow (class in chc.proof.CPOPredicate) CPOLowerBound (class in chc.proof.CPOPredicate) CPONewMemory (class in chc.proof.CPOPredicate) CPONonNegative (class in chc.proof.CPOPredicate) CPONoOverlap (class in chc.proof.CPOPredicate) CPONotNull (class in chc.proof.CPOPredicate) CPONotZero (class in chc.proof.CPOPredicate) CPONull (class in chc.proof.CPOPredicate) CPONullTerminated (class in chc.proof.CPOPredicate) CPOPointerCast (class in chc.proof.CPOPredicate) CPOPredicate (class in chc.proof.CPOPredicate) CPOPreservedAllMemory (class in chc.proof.CPOPredicate) CPOPreservedValue (class in chc.proof.CPOPredicate) CPOPtrLowerBound (class in chc.proof.CPOPredicate) CPOPtrUpperBound (class in chc.proof.CPOPredicate) CPOPtrUpperBoundDeref (class in chc.proof.CPOPredicate) CPORevBuffer (class in chc.proof.CPOPredicate) CPOSignedToSignedCastLB (class in chc.proof.CPOPredicate) CPOSignedToSignedCastUB (class in chc.proof.CPOPredicate) CPOSignedToUnsignedCastLB (class in chc.proof.CPOPredicate) CPOSignedToUnsignedCastUB (class in chc.proof.CPOPredicate) CPOStackAddressEscape (class in chc.proof.CPOPredicate) CPOTypeAtOffset (class in chc.proof.CPOPredicate) CPOUIntOverflow (class in chc.proof.CPOPredicate) CPOUIntUnderflow (class in chc.proof.CPOPredicate) CPOUnsignedToSignedCast (class in chc.proof.CPOPredicate) CPOUnsignedToUnsignedCast (class in chc.proof.CPOPredicate) CPOUpperBound (class in chc.proof.CPOPredicate) CPOValidMem (class in chc.proof.CPOPredicate) CPOValueConstraint (class in chc.proof.CPOPredicate) CPOVarArgs (class in chc.proof.CPOPredicate) CPOWidthOverflow (class in chc.proof.CPOPredicate) cproject_analyze_project() (in module chc.cmdline.c_project.cprojectutil) cproject_count_stmts() (in module chc.cmdline.c_project.cprojectutil) cproject_make_callgraph() (in module chc.cmdline.c_project.cprojectutil) cproject_missing_summaries() (in module chc.cmdline.c_project.cprojectutil) cproject_parse_project() (in module chc.cmdline.c_project.cprojectutil) cproject_report() (in module chc.cmdline.c_project.cprojectutil) cproject_report_file() (in module chc.cmdline.c_project.cprojectutil) cprojectcommand() (in module chc.cmdline.chkc) CProofDependencies (class in chc.proof.CProofDependencies) CProofDiagnostic (class in chc.proof.CProofDiagnostic) cproofs (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunctionSPOs.CFunctionSPOs property) (chc.proof.CProofDependencies.CProofDependencies property) create_app_primary_proofobligations() (chc.cmdline.AnalysisManager.AnalysisManager method) create_backup_file() (in module chc.util.fileutil) create_contract() (chc.app.CFile.CFile method) create_file_primary_proofobligations() (chc.cmdline.AnalysisManager.AnalysisManager method) create_reference_ppos() (chc.cmdline.kendra.TestManager.TestManager method) create_reference_spos() (chc.cmdline.kendra.TestManager.TestManager method) cref_filenames (chc.cmdline.kendra.TestManager.TestManager property) cref_files (chc.cmdline.kendra.TestManager.TestManager property) CReturnStmt (class in chc.app.CStmt) critical (chc.util.loggingutil.LogLevel attribute) crspos (chc.proof.CFunctionReturnsiteSPO.CFunctionReturnsiteSPO property) CSingleInitInfo (class in chc.app.CInitInfo) csource_to_json_result() (in module chc.cmdline.jsonresultutil) CSrcFile (class in chc.source.CSrcFile) CStmt (class in chc.app.CStmt) CStringConstant (class in chc.app.CConst) CSwitchStmt (class in chc.app.CStmt) ctxtd (chc.invariants.CFunInvariantTable.CFunInvariantTable property) CTyp (class in chc.app.CTyp) CTypArray (class in chc.app.CTyp) CTypBuiltinVaargs (class in chc.app.CTyp) CTypComp (class in chc.app.CTyp) CTypeInfo (class in chc.app.CTypeInfo) CTypEnum (class in chc.app.CTyp) CTypFloat (class in chc.app.CTyp) CTypFun (class in chc.app.CTyp) CTypInt (class in chc.app.CTyp) CTypNamed (class in chc.app.CTyp) CTypPtr (class in chc.app.CTyp) CTypsig (class in chc.app.CTypsig) CTypsigArray (class in chc.app.CTypsig) CTypsigBase (class in chc.app.CTypsig) CTypsigComp (class in chc.app.CTypsig) CTypsigEnum (class in chc.app.CTypsig) CTypsigFun (class in chc.app.CTypsig) CTypsigList (class in chc.app.CTypsig) CTypsigPtr (class in chc.app.CTypsig) CTypVoid (class in chc.app.CTyp) CUnreachableFact (class in chc.invariants.CInvariantFact) CVariableDenotation (class in chc.invariants.CVariableDenotation) CVarInfo (class in chc.app.CVarInfo) CVAugmentationVariable (class in chc.invariants.CVariableDenotation) CVAuxiliaryVariable (class in chc.invariants.CVariableDenotation) CVCheckVariable (class in chc.invariants.CVariableDenotation) CVConstantValueVariable (class in chc.invariants.CVConstantValueVariable) CVFieldVariable (class in chc.invariants.CVariableDenotation) CVGlobalVariable (class in chc.invariants.CVariableDenotation) CVLocalVariable (class in chc.invariants.CVariableDenotation) CVMemoryBase (class in chc.invariants.CVMemoryBase) CVMemoryBaseAllocStackAddress (class in chc.invariants.CVMemoryBase) CVMemoryBaseBaseVar (class in chc.invariants.CVMemoryBase) CVMemoryBaseFreed (class in chc.invariants.CVMemoryBase) CVMemoryBaseGlobalAddress (class in chc.invariants.CVMemoryBase) CVMemoryBaseHeapAddress (class in chc.invariants.CVMemoryBase) CVMemoryBaseNull (class in chc.invariants.CVMemoryBase) CVMemoryBaseStackAddress (class in chc.invariants.CVMemoryBase) CVMemoryBaseStringLiteral (class in chc.invariants.CVMemoryBase) CVMemoryBaseUninterpreted (class in chc.invariants.CVMemoryBase) CVMemoryReferenceData (class in chc.invariants.CVMemoryReferenceData) CVMemoryRegionVariable (class in chc.invariants.CVariableDenotation) CVMemoryVariable (class in chc.invariants.CVariableDenotation) CVReturnVariable (class in chc.invariants.CVariableDenotation) cvv (chc.invariants.CVariableDenotation.CVAuxiliaryVariable property) CVVByteSequence (class in chc.invariants.CVConstantValueVariable) CVVExpFunctionReturnValue (class in chc.invariants.CVConstantValueVariable) CVVExpSideEffectValue (class in chc.invariants.CVConstantValueVariable) CVVFunctionReturnValue (class in chc.invariants.CVConstantValueVariable) CVVInitialValue (class in chc.invariants.CVConstantValueVariable) CVVMemoryAddress (class in chc.invariants.CVConstantValueVariable) CVVSideEffectValue (class in chc.invariants.CVConstantValueVariable) CVVSymbolicValue (class in chc.invariants.CVConstantValueVariable) CVVTaintedValue (class in chc.invariants.CVConstantValueVariable) CXBoolConst (class in chc.invariants.CXConstant) CXConstant (class in chc.invariants.CXConstant) cxd (chc.app.CContext.CContextDictionaryRecord property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) CXIntConst (class in chc.invariants.CXConstant) CXNumerical (class in chc.invariants.CXNumerical) CXprList (class in chc.invariants.CXXpr) CXprListList (class in chc.invariants.CXXpr) CXRandom (class in chc.invariants.CXConstant) CXSymbol (class in chc.invariants.CXSymbol) CXSymSet (class in chc.invariants.CXConstant) CXUnknownInt (class in chc.invariants.CXConstant) CXUnknownSet (class in chc.invariants.CXConstant) CXVariable (class in chc.invariants.CXVariable) CXXAttr (class in chc.invariants.CXXpr) CXXConst (class in chc.invariants.CXXpr) CXXOp (class in chc.invariants.CXXpr) CXXpr (class in chc.invariants.CXXpr) CXXVar (class in chc.invariants.CXXpr)

D

dashboard_header() (in module chc.cmdline.kendra.kendrautil) data_id (chc.app.CContext.CContextNode property) debug (chc.util.loggingutil.LogLevel attribute) declarations (chc.api.InterfaceDictionary.InterfaceDictionary property) (chc.app.CApplication.CApplication property) (chc.app.CFile.CFile property) (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary property) (chc.app.CFileGlobals.CFileGlobals property) (chc.linker.CLinker.CLinker property) decls (chc.app.CDictionary.CDictionary property) (chc.app.CDictionaryRecord.CDeclarationsRecord property) (chc.app.CDictionaryRecord.CDictionaryRecord property) (chc.app.CFileDictionary.CFileDictionary property) (chc.app.CGlobalDictionary.CGlobalDictionary property) decode() (in module chc.util.StringIndexedTable) defs (chc.jsoninterface.JSONSchema.JSONSchema property) dehexstring() (in module chc.util.StringIndexedTable) denotation (chc.invariants.CXVariable.CXVariable property)

dependencies (chc.proof.CFunctionPO.CFunctionPO property) diagnostic (chc.proof.CFunctionPO.CFunctionPO property) dictionary (chc.api.InterfaceDictionary.InterfaceDictionary property) (chc.app.CApplication.CApplication property) (chc.app.CDeclarations.CDeclarations property) (chc.app.CDictionaryRecord.CDeclarationsRecord property) (chc.app.CFile.CFile property) (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary property) (chc.app.CFileDeclarations.CFileDeclarations property) (chc.app.CGlobalDeclarations.CGlobalDeclarations property) (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary property) distribute_post_guarantees() (chc.app.CApplication.CApplication method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionProofs.CFunctionProofs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) doc_to_pretty() (in module chc.util.xmlutil) domain (chc.invariants.CInvariantFact.CUnreachableFact property) domains (chc.cmdline.kendra.TestCFileRef.TestCFileRef property)

E

eattr (chc.app.CEnumInfo.CEnumInfo property) eitems (chc.app.CEnumInfo.CEnumInfo property) element_to_pretty() (in module chc.util.xmlutil) ename (chc.app.CEnumInfo.CEnumInfo property) encode() (in module chc.util.StringIndexedTable) enum_name (chc.app.CConst.CConstEnum property) enuminfo (chc.app.CFileGlobals.CGEnumTag attribute) equal() (chc.app.CTyp.CTyp method) equals() (chc.invariants.CXNumerical.CXNumerical method) error (chc.util.loggingutil.LogLevel attribute) excludefiles (chc.app.CApplication.CApplication property) exp (chc.app.CConst.CConstEnum property) (chc.app.CEnumItem.CEnumItem property) (chc.app.CExp.CExpAlignOfE property) (chc.app.CExp.CExpCastE property) (chc.app.CExp.CExpFnApp property) (chc.app.CExp.CExpSizeOfE property) (chc.app.CExp.CExpUnOp property) (chc.app.CInitInfo.CSingleInitInfo property) (chc.app.CInstr.CAsmInput property) (chc.app.CLHost.CLHostMem property) (chc.proof.CPOPredicate.CPOAllocationBase property) (chc.proof.CPOPredicate.CPOBuffer property) (chc.proof.CPOPredicate.CPOCast property) (chc.proof.CPOPredicate.CPOControlledResource property) (chc.proof.CPOPredicate.CPODistinctRegion property) (chc.proof.CPOPredicate.CPOFormatCast property) (chc.proof.CPOPredicate.CPOFormatString property) (chc.proof.CPOPredicate.CPOGlobalAddress property) (chc.proof.CPOPredicate.CPOHeapAddress property) (chc.proof.CPOPredicate.CPOIndexLowerBound property) (chc.proof.CPOPredicate.CPOIndexUpperBound property) (chc.proof.CPOPredicate.CPOInitializedRange property) (chc.proof.CPOPredicate.CPOInScope property) (chc.proof.CPOPredicate.CPOLowerBound property) (chc.proof.CPOPredicate.CPONewMemory property) (chc.proof.CPOPredicate.CPONonNegative property) (chc.proof.CPOPredicate.CPONotNull property) (chc.proof.CPOPredicate.CPONotZero property) (chc.proof.CPOPredicate.CPONull property) (chc.proof.CPOPredicate.CPONullTerminated property) (chc.proof.CPOPredicate.CPOPointerCast property) (chc.proof.CPOPredicate.CPOPreservedValue property) (chc.proof.CPOPredicate.CPORevBuffer property) (chc.proof.CPOPredicate.CPOSignedToSignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToSignedCastUB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastUB property) (chc.proof.CPOPredicate.CPOStackAddressEscape property) (chc.proof.CPOPredicate.CPOTypeAtOffset property) (chc.proof.CPOPredicate.CPOUnsignedToSignedCast property) (chc.proof.CPOPredicate.CPOUnsignedToUnsignedCast property) (chc.proof.CPOPredicate.CPOUpperBound property) (chc.proof.CPOPredicate.CPOValidMem property) (chc.proof.CPOPredicate.CPOValueConstraint property) (chc.proof.CPOPredicate.CPOWidthOverflow property)

exp1 (chc.app.CExp.CExpBinOp property) (chc.proof.CPOPredicate.CPOCommonBase property) (chc.proof.CPOPredicate.CPOCommonBaseType property) (chc.proof.CPOPredicate.CPOIntOverflow property) (chc.proof.CPOPredicate.CPOIntUnderflow property) (chc.proof.CPOPredicate.CPONoOverlap property) (chc.proof.CPOPredicate.CPOPtrLowerBound property) (chc.proof.CPOPredicate.CPOPtrUpperBound property) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref property) (chc.proof.CPOPredicate.CPOUIntOverflow property) (chc.proof.CPOPredicate.CPOUIntUnderflow property) exp2 (chc.app.CExp.CExpBinOp property) (chc.proof.CPOPredicate.CPOCommonBase property) (chc.proof.CPOPredicate.CPOCommonBaseType property) (chc.proof.CPOPredicate.CPOIntOverflow property) (chc.proof.CPOPredicate.CPOIntUnderflow property) (chc.proof.CPOPredicate.CPONoOverlap property) (chc.proof.CPOPredicate.CPOPtrLowerBound property) (chc.proof.CPOPredicate.CPOPtrUpperBound property) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref property) (chc.proof.CPOPredicate.CPOUIntOverflow property) (chc.proof.CPOPredicate.CPOUIntUnderflow property) exp_context (chc.app.CContext.ProgramContext property) (chc.cmdline.kendra.TestPPORef.TestPPORef property) expand() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFileGlobals.CFileGlobals method) (chc.app.CTyp.CTyp method) (chc.app.CTyp.CTypNamed method) (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method) expand_macro() (chc.cmdline.juliet.JulietTestRef.JulietTestRef method) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetMacros method) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) ExpContext (class in chc.app.CContext) expctxt (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) explanation (chc.proof.CFunctionPO.CFunctionPO property) external_id (chc.proof.CFunctionReturnsiteSPO.CFunctionReturnsiteSPO property) (chc.proof.CFunPODictionaryRecord.CFunPOType property) (chc.proof.SPOType.CallsiteSPOType property) (chc.proof.SPOType.ReturnsiteSPOType property) (chc.proof.SPOType.SPOType property)

F

false_exp (chc.app.CExp.CExpQuestion property) fdecls (chc.app.CFunDeclarations.CFunDeclarations property) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property) fid (chc.app.IndexManager.CKeyReference attribute) (chc.app.IndexManager.FileKeyReference attribute) (chc.app.IndexManager.FileVarReference attribute) (chc.app.IndexManager.VarReference attribute) fidvidmax_initial_value (in module chc.app.IndexManager) field (chc.api.SOffset.STArgFieldOffset property) (chc.app.CFileAssignment.FieldAssignment property) field_strings (chc.app.CCompInfo.CCompInfo property) FieldAssignment (class in chc.api.FieldAssignment) (class in chc.app.CFileAssignment) fieldcount (chc.app.CCompInfo.CCompInfo property) fieldname (chc.app.COffset.CFieldOffset property) (chc.invariants.CVariableDenotation.CVFieldVariable property) fieldnames (chc.app.CCompInfo.CCompInfo property) fields (chc.app.CCompInfo.CCompInfo property) fieldstrings (chc.app.CGlobalDeclarations.CGlobalDeclarations property) file (chc.app.CLocation.CLocation property) file_code_open_tostring() (in module chc.reporting.ProofObligations) file_code_tostring() (in module chc.reporting.ProofObligations) file_global_assumptions_tostring() (in module chc.reporting.ProofObligations) file_pos_violations_to_string() (in module chc.reporting.ProofObligations) file_postcondition_assumptions_tostring() (in module chc.reporting.ProofObligations) file_proofobligation_stats_tostring() (in module chc.reporting.ProofObligations) file_proofobligations_to_json_result() (in module chc.cmdline.jsonresultutil) FileKeyReference (class in chc.app.IndexManager) filenames (chc.app.CApplication.CApplication property) FileParseError files (chc.app.CApplication.CApplication property) FileVarReference (class in chc.app.IndexManager) filexref (chc.app.CApplication.CApplication property) fill_testsummary() (in module chc.cmdline.juliet.JulietTestScoring) filter (chc.cmdline.ParseManager.ParseManager property) fkind (chc.app.CConst.CConstReal property) (chc.app.CTyp.CTypFloat property)

fline (chc.reporting.ProofObligations.FunctionDisplay property) fmt (chc.proof.CPOPredicate.CPOVarArgs property) fn_proofobligations_to_json_result() (in module chc.cmdline.jsonresultutil) fname (chc.app.CFieldInfo.CFieldInfo property) (chc.app.CFileAssignment.FieldAssignment property) (chc.app.CFileAssignment.GlobalAssignment property) (chc.app.CFileAssignment.GlobalIndexAssignment property) (chc.app.CFileAssignment.StaticAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.app.CFileAssignment.UnknownAssignment property) (chc.source.CSrcFile.CSrcFile property) formals (chc.app.CFunction.CFunction property) (chc.app.CFunDeclarations.CFunDeclarations property) ftype (chc.app.CFieldInfo.CFieldInfo property) (chc.app.CFunction.CFunction property) funargs (chc.app.CTyp.CTypFun property) function_code_open_tostring() (in module chc.reporting.ProofObligations) function_code_predicate_tostring() (in module chc.reporting.ProofObligations) function_code_tostring() (in module chc.reporting.ProofObligations) function_code_violation_tostring() (in module chc.reporting.ProofObligations) function_contract() (chc.api.CFileContracts.CFileContracts method) function_pos_to_string() (in module chc.reporting.ProofObligations) function_proofobligation_stats_tostring() (in module chc.reporting.ProofObligations) functioncount (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) FunctionDisplay (class in chc.reporting.ProofObligations) functionnames (chc.app.CFile.CFile property) (chc.cmdline.kendra.TestCFileRef.TestCFileRef property) FunctionPEVError FunctionPPOError functions (chc.api.CFileContracts.CFileContracts property) (chc.app.CFile.CFile property) (chc.cmdline.kendra.TestCFileRef.TestCFileRef property) FunctionSEVError FunctionSPOError functionxref (chc.app.CFile.CFile property) fundecls (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property)

G

gcomptagdecls (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) gcomptagdefs (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) generate_and_check_app() (chc.cmdline.AnalysisManager.AnalysisManager method) generate_and_check_file() (chc.cmdline.AnalysisManager.AnalysisManager method) genumtagdecls (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) genumtagdefs (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) get_analysis_target_index() (in module chc.util.fileutil) get_analysisresults_path() (in module chc.util.fileutil) get_api() (chc.app.CFunction.CFunction method) get_api_filename() (in module chc.util.fileutil) get_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_api_parameter_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_api_xnode() (in module chc.util.fileutil) get_assignment() (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary method) get_associated_spos() (in module chc.cmdline.juliet.JulietTestScoring) get_assumption_type() (chc.proof.CFunPODictionary.CFunPODictionary method) get_assumption_type_map() (chc.proof.CFunPODictionary.CFunPODictionary method) get_assumptions() (chc.proof.CFunctionPO.CFunctionPO method) get_assumptions_type() (chc.proof.CFunctionPO.CFunctionPO method) get_attribute() (chc.app.CDictionary.CDictionary method) get_attribute_int_list() (in module chc.util.IndexedTable) get_attribute_map() (chc.app.CDictionary.CDictionary method) get_attributes() (chc.app.CDictionary.CDictionary method) get_attributes_map() (chc.app.CDictionary.CDictionary method) get_attrparam() (chc.app.CDictionary.CDictionary method) get_attrparam_map() (chc.app.CDictionary.CDictionary method) get_c_variable_denotation() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_c_variable_denotation_map() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_callgraph_filename() (in module chc.util.fileutil) get_callinstrs() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) get_callsites() (chc.app.CApplication.CApplication method) get_candidate_contracts() (in module chc.util.fileutil) get_cchpath() (in module chc.util.fileutil) get_cfg_context() (chc.app.CContextDictionary.CContextDictionary method) get_cfg_context_map() (chc.app.CContextDictionary.CContextDictionary method) get_cfile() (chc.app.CApplication.CApplication method) get_cfile_access() (in module chc.cmdline.c_file.cfiletableutil) get_cfile_assignment_dictionary_xnode() (in module chc.util.fileutil) get_cfile_assignment_dictionaryname() (in module chc.util.fileutil) get_cfile_cfile() (in module chc.util.fileutil) get_cfile_contexttable_xnode() (in module chc.util.fileutil) get_cfile_contexttablename() (in module chc.util.fileutil) get_cfile_dictionary_xnode() (in module chc.util.fileutil) get_cfile_dictionaryname() (in module chc.util.fileutil) get_cfile_directory() (in module chc.util.fileutil) get_cfile_filepath() (in module chc.util.fileutil) get_cfile_fnpath() (in module chc.util.fileutil) get_cfile_fnspath() (in module chc.util.fileutil) get_cfile_interface_dictionary_xnode() (in module chc.util.fileutil) get_cfile_interface_dictionaryname() (in module chc.util.fileutil) get_cfile_logfile_name() (in module chc.util.fileutil) get_cfile_logfiles_directory() (in module chc.util.fileutil) get_cfile_predicate_dictionary_xnode() (in module chc.util.fileutil) get_cfile_predicate_dictionaryname() (in module chc.util.fileutil) get_cfile_usr_filename() (in module chc.util.fileutil) get_cfile_xnode() (in module chc.util.fileutil) get_cfilenamebase() (in module chc.util.fileutil) get_cfun_access() (in module chc.cmdline.c_file.cfiletableutil) get_cfun_basename() (in module chc.util.fileutil) get_cfun_filename() (in module chc.util.fileutil) get_cfun_xnode() (in module chc.util.fileutil) get_cgc_challenge_path() (in module chc.util.fileutil) get_cgc_challenges() (in module chc.util.fileutil) get_cgc_path() (in module chc.util.fileutil) get_cgc_summaries() (in module chc.util.fileutil) get_cgc_test_targets() (in module chc.util.fileutil) get_chc_artifacts_path() (in module chc.util.fileutil) get_code_line_count() (chc.app.CFileDeclarations.CFileDeclarations method) get_compinfo() (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_compinfo_by_ckey() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFile.CFile method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_compinfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_compinfos() (chc.app.CFile.CFile method) (chc.app.CFileGlobals.CFileGlobals method) get_constant() (chc.app.CDictionary.CDictionary method) get_constant_map() (chc.app.CDictionary.CDictionary method) get_constant_value_variable() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_constant_value_variable_map() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_context_string() (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) get_contract_condition_violations() (chc.app.CApplication.CApplication method) (chc.app.CFunction.CFunction method) get_contracts() (in module chc.util.fileutil) get_cref_file() (chc.cmdline.kendra.TestManager.TestManager method) get_cxreffile_filename() (in module chc.util.fileutil) get_cxreffile_xnode() (in module chc.util.fileutil) get_delegated_ppo_counts() (in module chc.cmdline.kendra.kendrautil) get_delegated_ppo_perc() (in module chc.cmdline.kendra.kendrautil) get_delegated_spo_counts() (in module chc.cmdline.kendra.kendrautil) get_delegated_spo_perc() (in module chc.cmdline.kendra.kendrautil) get_display_prefix() (chc.proof.CFunctionPO.CFunctionPO method) get_dsmethod_header() (in module chc.reporting.ProofObligations) get_dsmethods() (in module chc.reporting.ProofObligations) get_enuminfo() (chc.app.CFileDeclarations.CFileDeclarations method) get_enuminfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_enumitem() (chc.app.CFileDeclarations.CFileDeclarations method) get_enumitem_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_exp() (chc.app.CConst.CConst method) (chc.app.CDictionary.CDictionary method) (chc.app.CTyp.CTyp method) get_exp_context() (chc.app.CContextDictionary.CContextDictionary method) get_exp_context_map() (chc.app.CContextDictionary.CContextDictionary method) get_exp_map() (chc.app.CDictionary.CDictionary method) get_exp_opt() (chc.app.CDictionary.CDictionary method) (chc.app.CTyp.CTyp method) get_fid_gvid_subset() (chc.app.IndexManager.IndexManager method) get_field_strings_conjecture() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_fieldinfo() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_fieldinfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_file() (chc.app.CApplication.CApplication method) get_file_by_index() (chc.app.CApplication.CApplication method) get_file_compinfo_xrefs() (chc.linker.CLinker.CLinker method) get_file_length() (chc.cmdline.ParseManager.ParseManager method) get_file_method_count() (in module chc.reporting.ProofObligations) get_file_varinfo_xrefs() (chc.linker.CLinker.CLinker method) get_filename() (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFileDeclarations.CFilename method) get_flattened_juliet_testcases() (in module chc.util.fileutil) get_fn_composite() (in module chc.util.fileutil) get_fn_spos() (chc.app.CFile.CFile method) get_formal_vid() (chc.app.CFunction.CFunction method) get_formals() (chc.app.CFunction.CFunction method) get_funarg() (chc.app.CDictionary.CDictionary method) get_funarg_map() (chc.app.CDictionary.CDictionary method) get_funargs() (chc.app.CDictionary.CDictionary method) get_funargs_map() (chc.app.CDictionary.CDictionary method) get_funargs_opt() (chc.app.CDictionary.CDictionary method) get_function() (chc.app.CApplication.CApplication method) (chc.cmdline.kendra.TestCFileRef.TestCFileRef method) get_function_by_index() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) get_function_by_name() (chc.app.CFile.CFile method) get_function_contract() (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) get_function_method_count() (in module chc.reporting.ProofObligations) get_function_name() (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary method) get_functional_testpath() (in module chc.util.fileutil) get_functional_tests_path() (in module chc.util.fileutil) get_functionindex_filename() (in module chc.util.fileutil) get_functions() (chc.app.CFile.CFile method) get_gckey() (chc.app.CApplication.CApplication method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.app.IndexManager.IndexManager method) get_gcompinfo() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_global_assumptions() (chc.proof.CFunctionPO.CFunctionPO method) get_global_contract() (in module chc.util.fileutil) get_global_declarations_xnode() (in module chc.util.fileutil) get_global_definitions_filename() (in module chc.util.fileutil) get_global_dictionary_xnode() (in module chc.util.fileutil) get_global_invs_filename() (in module chc.util.fileutil) get_global_varinfo() (chc.app.CFile.CFile method) get_global_varinfo_by_name() (chc.app.CFile.CFile method) (chc.app.CFunDeclarations.CFunDeclarations method) get_global_varinfos() (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFileGlobals.CFileGlobals method) get_global_xml_contract() (in module chc.util.fileutil) get_globalkey() (chc.app.CGXrefs.CGXrefs method) get_group_name() (in module chc.util.fileutil) get_gvid() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.app.IndexManager.IndexManager method) get_gvid_reference() (chc.app.IndexManager.IndexManager method) get_gvid_references() (chc.app.IndexManager.IndexManager method) get_initinfo() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_initinfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_invariant_fact() (chc.invariants.CFunInvDictionary.CFunInvDictionary method) get_invariant_fact_map() (chc.invariants.CFunInvDictionary.CFunInvDictionary method) get_invariant_ids() (chc.proof.CProofDiagnostic.CProofDiagnostic method) get_invs_filename() (in module chc.util.fileutil) get_invs_xnode() (in module chc.util.fileutil) get_itc_path() (in module chc.util.fileutil) get_itc_testpath() (in module chc.util.fileutil) get_iterm() (chc.api.STerm.STerm method) (chc.api.XPredicate.XPredicate method) get_juliet_path() (in module chc.util.fileutil) get_juliet_result_times() (in module chc.util.fileutil) get_juliet_scorekey() (in module chc.util.fileutil) get_juliet_summaries() (in module chc.util.fileutil) get_juliet_target_file() (in module chc.util.fileutil) get_juliet_testcases() (in module chc.util.fileutil) get_juliet_testpath() (in module chc.util.fileutil) get_juliet_variant_descriptions() (in module chc.util.fileutil) get_julietppos() (in module chc.cmdline.juliet.JulietTestScoring) get_kendra_cpath() (in module chc.util.fileutil) get_kendra_path() (in module chc.util.fileutil) get_kendra_testpath() (in module chc.util.fileutil) get_kendra_testpath_byid() (in module chc.util.fileutil) get_key() (in module chc.util.IndexedTable) get_lhost() (chc.app.CDictionary.CDictionary method) get_lhost_map() (chc.app.CDictionary.CDictionary method) get_libc_summary_test() (in module chc.util.fileutil) get_libc_summary_test_list() (in module chc.util.fileutil) get_libc_summary_test_path() (in module chc.util.fileutil) get_line() (chc.source.CSrcFile.CSrcFile method) get_line_count() (chc.source.CSrcFile.CSrcFile method) get_line_counts() (chc.app.CApplication.CApplication method) get_line_number() (chc.app.CFunction.CFunction method) get_line_ppos() (chc.app.CFile.CFile method) get_line_summary() (chc.cmdline.kendra.TestResults.TestResults method) get_loc() (chc.app.CLocation.CLocation method) get_local_varinfo() (chc.app.CFunDeclarations.CFunDeclarations method) get_local_varinfo_map() (chc.app.CFunDeclarations.CFunDeclarations method) get_locals() (chc.app.CFunction.CFunction method) get_location() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFunction.CFunction method) (chc.app.CFunDeclarations.CFunDeclarations method) get_location_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_lval() (chc.app.CDictionary.CDictionary method) get_lval_map() (chc.app.CDictionary.CDictionary method) get_mathml_node() (chc.api.SOffset.SOffset method) (chc.api.SOffset.STArgFieldOffset method) (chc.api.SOffset.STArgIndexOffset method) (chc.api.SOffset.STArgNoOffset method) (chc.api.STerm.STArgAddressedValue method) (chc.api.STerm.STArgNullTerminatorPos method) (chc.api.STerm.STArgSizeOfType method) (chc.api.STerm.STArgValue method) (chc.api.STerm.STArithmeticExpr method) (chc.api.STerm.STByteSize method) (chc.api.STerm.STerm method) (chc.api.STerm.STFormattedOutputSize method) (chc.api.STerm.STIndexSize method) (chc.api.STerm.STNamedConstant method) (chc.api.STerm.STNumConstant method) (chc.api.STerm.STRegion method) (chc.api.STerm.STReturnValue method) (chc.api.STerm.STRuntimeValue method) get_max_filename_length() (chc.app.CApplication.CApplication method) get_max_functionname_length() (chc.app.CFile.CFile method) get_max_line() (chc.app.CFileDeclarations.CFileDeclarations method) get_memory_base() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_memory_base_map() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_memory_reference_data() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_memory_reference_data_map() (chc.invariants.CFunVarDictionary.CFunVarDictionary method) get_method_count() (in module chc.reporting.ProofObligations) get_node() (chc.app.CContextDictionary.CContextDictionary method) get_non_relational_value() (chc.invariants.CFunInvDictionary.CFunInvDictionary method)

get_non_relational_value_map() (chc.invariants.CFunInvDictionary.CFunInvDictionary method) get_numerical() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_numerical_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_offset() (chc.app.CDictionary.CDictionary method) get_offset_init() (chc.app.CDeclarations.CDeclarations method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_offset_init_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_offset_map() (chc.app.CDictionary.CDictionary method) get_opaque_struct() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_opaque_type() (chc.app.CTyp.CTyp method) (chc.app.CTyp.CTypArray method) (chc.app.CTyp.CTypBuiltinVaargs method) (chc.app.CTyp.CTypComp method) (chc.app.CTyp.CTypEnum method) (chc.app.CTyp.CTypFloat method) (chc.app.CTyp.CTypFun method) (chc.app.CTyp.CTypInt method) (chc.app.CTyp.CTypNamed method) (chc.app.CTyp.CTypPtr method) (chc.app.CTyp.CTypVoid method) get_open_ppo_count() (in module chc.cmdline.kendra.kendrautil) get_open_ppos() (chc.api.GlobalAssumption.GlobalAssumption method) (chc.api.PostConditionRequest.PostConditionRequest method) (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) get_open_spo_count() (in module chc.cmdline.kendra.kendrautil) get_open_spos() (chc.api.GlobalAssumption.GlobalAssumption method) (chc.api.PostConditionRequest.PostConditionRequest method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) get_opt_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_parse_archive() (in module chc.util.fileutil) get_parse_targzname() (in module chc.util.fileutil) get_parse_tarname() (in module chc.util.fileutil) get_perc() (in module chc.cmdline.kendra.kendrautil) get_platform_index() (chc.cmdline.ParseManager.ParseManager method) get_po_invariants() (chc.invariants.CFunInvariantTable.CFunInvariantTable method) get_pod_filename() (in module chc.util.fileutil) get_pod_xnode() (in module chc.util.fileutil) get_postassume() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_postassume_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_postcondition_assumptions() (chc.proof.CFunctionPO.CFunctionPO method) get_postrequest() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_postrequest_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_ppo() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionPPOs.CFunctionPPOs method) (chc.proof.CFunctionProofs.CFunctionProofs method) get_ppo_count() (in module chc.cmdline.kendra.kendrautil) get_ppo_filename() (in module chc.util.fileutil) get_ppo_pairs() (in module chc.cmdline.juliet.JulietTestScoring) get_ppo_results() (in module chc.cmdline.kendra.kendrautil) get_ppo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) get_ppo_type_map() (chc.proof.CFunPODictionary.CFunPODictionary method) get_ppo_xnode() (in module chc.util.fileutil) get_ppos() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (in module chc.cmdline.kendra.kendrautil) get_ppos_delegated() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) get_ppos_violated() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) get_pred_ppos() (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef method) get_predicate() (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) get_predicate_map() (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) get_predicate_name() (in module chc.proof.CPOPredicate) get_predicate_safe_controls() (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) get_predicate_tag() (in module chc.proof.CPOPredicate) get_predicate_violations() (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) get_preserves_memory_functions_filename() (in module chc.util.fileutil) get_printop() (in module chc.api.STerm) (in module chc.api.XPredicate) get_program_context() (chc.app.CContextDictionary.CContextDictionary method) get_program_context_map() (chc.app.CContextDictionary.CContextDictionary method) get_project_counts() (chc.app.CApplication.CApplication method) get_project_logfilename() (in module chc.util.fileutil) get_project_name() (in module chc.util.fileutil) get_project_path() (in module chc.util.fileutil) get_referral_diagnostics() (chc.proof.CFunctionPO.CFunctionPO method) get_registered_analysis_targets() (in module chc.util.fileutil) get_rep() (in module chc.util.IndexedTable) get_s_offset() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_s_offset_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_s_term_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_safe_controls() (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method) (chc.cmdline.juliet.JulietTestRef.JulietTestRef method) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) get_safe_ppo_counts() (in module chc.cmdline.kendra.kendrautil) get_safe_ppo_perc() (in module chc.cmdline.kendra.kendrautil) get_safe_spo_counts() (in module chc.cmdline.kendra.kendrautil) get_safe_spo_perc() (in module chc.cmdline.kendra.kendrautil) get_savedsource_path() (in module chc.util.fileutil) get_sorted_invariants() (chc.invariants.CFunInvariantTable.CFunInvariantTable method) get_source_code_file() (chc.app.CFunction.CFunction method) get_source_line() (chc.app.CFile.CFile method) (chc.reporting.ProofObligations.FunctionDisplay method) get_spo() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionProofs.CFunctionProofs method) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) get_spo_count() (in module chc.cmdline.kendra.kendrautil) get_spo_filename() (in module chc.util.fileutil) get_spo_results() (in module chc.cmdline.kendra.kendrautil) get_spo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) get_spo_type_map() (chc.proof.CFunPODictionary.CFunPODictionary method) get_spo_violations() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) get_spo_xnode() (in module chc.util.fileutil) get_spos() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) (in module chc.cmdline.kendra.kendrautil) get_src_filename() (in module chc.util.fileutil) get_srcfile_lines() (in module chc.util.fileutil) get_state() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_statement() (in module chc.app.CStmt) get_status_ppo_counts() (in module chc.cmdline.kendra.kendrautil) get_status_spo_counts() (in module chc.cmdline.kendra.kendrautil) get_string() (chc.app.CDictionary.CDictionary method) get_strings() (chc.app.CConst.CConst method) (chc.app.CConst.CConstStr method) (chc.app.CExp.CExp method) (chc.app.CExp.CExpAddrOf method) (chc.app.CExp.CExpAlignOfE method) (chc.app.CExp.CExpBinOp method) (chc.app.CExp.CExpCastE method) (chc.app.CExp.CExpConst method) (chc.app.CExp.CExpLval method) (chc.app.CExp.CExpQuestion method) (chc.app.CExp.CExpSizeOfE method) (chc.app.CExp.CExpSizeOfStr method) (chc.app.CExp.CExpStartOf method) (chc.app.CExp.CExpUnOp method) (chc.app.CFile.CFile method) (chc.app.CLHost.CLHost method) (chc.app.CLHost.CLHostMem method) (chc.app.CLval.CLval method) (chc.app.COffset.CIndexOffset method) (chc.app.COffset.COffset method) get_structname() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_summary() (chc.cmdline.kendra.TestResults.TestResults method) get_symbol() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_symbol_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_tag_method_count() (in module chc.reporting.ProofObligations) get_targetfiles_filename() (in module chc.util.fileutil) get_targetfiles_list() (in module chc.util.fileutil) get_targetfiles_xnode() (in module chc.util.fileutil) get_testdata_dict() (in module chc.util.fileutil) get_testsummary_totals() (in module chc.cmdline.juliet.JulietTestScoring) get_totals_from_tagtotals() (in module chc.reporting.ProofObligations) get_typ() (chc.app.CDictionary.CDictionary method) (chc.app.CTyp.CTyp method) get_typ_map() (chc.app.CDictionary.CDictionary method) get_typeinfo() (chc.app.CFileDeclarations.CFileDeclarations method) get_typeinfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_typsig() (chc.app.CDictionary.CDictionary method) get_typsig_list() (chc.app.CDictionary.CDictionary method) get_typsig_list_map() (chc.app.CDictionary.CDictionary method) get_typsig_map() (chc.app.CDictionary.CDictionary method) get_value() (in module chc.util.IndexedTable) get_variable() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_variable_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_variable_uses() (chc.app.CExp.CExp method) (chc.app.CExp.CExpAddrOf method) (chc.app.CExp.CExpAlignOfE method) (chc.app.CExp.CExpBinOp method) (chc.app.CExp.CExpCastE method) (chc.app.CExp.CExpLval method) (chc.app.CExp.CExpQuestion method) (chc.app.CExp.CExpSizeOfE method) (chc.app.CExp.CExpStartOf method) (chc.app.CExp.CExpUnOp method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (chc.app.CInstr.CAssignInstr method) (chc.app.CInstr.CCallInstr method) (chc.app.CInstr.CInstr method) (chc.app.CLHost.CLHost method) (chc.app.CLHost.CLHostMem method) (chc.app.CLHost.CLHostVar method) (chc.app.CLval.CLval method) (chc.app.COffset.CIndexOffset method) (chc.app.COffset.COffset method) (chc.app.CStmt.CIfStmt method) (chc.app.CStmt.CStmt method) get_variable_vid() (chc.app.CFunction.CFunction method) get_varinfo() (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFunDeclarations.CFunDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_varinfo_by_name() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) get_varinfo_map() (chc.app.CFileDeclarations.CFileDeclarations method) get_vars_filename() (in module chc.util.fileutil) get_vars_xnode() (in module chc.util.fileutil) get_vid() (chc.app.CFunction.CFunction method) (chc.app.IndexManager.IndexManager method) get_vid_gvid_subst() (chc.app.IndexManager.IndexManager method) get_vid_references() (chc.app.IndexManager.IndexManager method) get_violation_ppo_counts() (in module chc.cmdline.kendra.kendrautil) get_violation_ppo_perc() (in module chc.cmdline.kendra.kendrautil) get_violation_predicates() (in module chc.cmdline.kendra.kendrautil) get_violation_spo_counts() (in module chc.cmdline.kendra.kendrautil) get_violation_spo_perc() (in module chc.cmdline.kendra.kendrautil) get_violations() (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method) (chc.cmdline.juliet.JulietTestRef.JulietTestRef method) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) get_workshop_file_data() (in module chc.util.fileutil) get_workshop_list() (in module chc.util.fileutil) get_workshop_path() (in module chc.util.fileutil) get_xcst() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xcst_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xml_header() (in module chc.util.xmlutil) get_xnode() (in module chc.util.fileutil) get_xpr() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpr_list() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpr_list_list() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpr_list_list_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpr_list_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpr_map() (chc.invariants.CFunXprDictionary.CFunXprDictionary method) get_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) get_xpredicate_map() (chc.api.InterfaceDictionary.InterfaceDictionary method) getglobalvid() (chc.app.CGXrefs.CGXrefs method) gfunctions (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) global_compinfo_ckeys (chc.app.CFileGlobals.CFileGlobals property) global_varinfo_names (chc.app.CFileGlobals.CFileGlobals property) global_varinfo_vids (chc.app.CFileGlobals.CFileGlobals property) GlobalApiAssumptionType (class in chc.proof.AssumptionType) GlobalAssignment (class in chc.app.CFileAssignment) GlobalAssignmentFunctionName (class in chc.app.CFileAssignment) GlobalAssumption (class in chc.api.GlobalAssumption) globalassumptions (chc.api.CGlobalContract.CGlobalContract property) GlobalAssumptionType (class in chc.proof.AssumptionType) globalcontract (chc.app.CApplication.CApplication property) (chc.app.CGlobalDeclarations.CGlobalDeclarations property) GlobalIndexAssignment (class in chc.app.CFileAssignment) globalvariables (chc.api.CFileContracts.CFileContracts property) gtypes (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) gvardecls (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property) gvardefs (chc.app.CFile.CFile property) (chc.app.CFileGlobals.CFileGlobals property)

H

has_analysisresults_path() (in module chc.util.fileutil) has_api_dependencies() (chc.proof.CFunctionPO.CFunctionPO method) has_argument() (chc.proof.CFunctionPO.CFunctionPO method) (chc.proof.CPOPredicate.CPOControlledResource method) (chc.proof.CPOPredicate.CPODistinctRegion method) (chc.proof.CPOPredicate.CPOGlobalAddress method) (chc.proof.CPOPredicate.CPOHeapAddress method) (chc.proof.CPOPredicate.CPONotNull method) (chc.proof.CPOPredicate.CPOPointerCast method) (chc.proof.CPOPredicate.CPOPredicate method) (chc.proof.CPOPredicate.CPOValidMem method) has_argument_name() (chc.proof.CFunctionPO.CFunctionPO method) has_array_size_expr() (chc.app.CTyp.CTypArray method) has_assertions() (chc.api.CFileContracts.CFileContracts method) (chc.api.CFunctionContract.CFunctionContract method) has_associated_region() (chc.invariants.CVMemoryBase.CVMemoryBaseNull method) has_callee() (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) has_callee_exp() (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) has_callees() (chc.proof.CFunctionCallsiteSPOs.CallsiteTarget method) has_candidate_contracts() (in module chc.util.fileutil) has_cfg_ctxt() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_characteristics() (chc.cmdline.kendra.TestSetRef.TestSetRef method) has_contracts() (in module chc.util.fileutil) has_control_characters() (in module chc.util.StringIndexedTable) has_denotation() (chc.invariants.CXVariable.CXVariable method) has_dependencies() (chc.proof.CFunctionPO.CFunctionPO method) has_diagnostic() (chc.proof.CFunctionPO.CFunctionPO method) has_domains() (chc.cmdline.kendra.TestCFileRef.TestCFileRef method) has_exp_ctxt() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_explanation() (chc.proof.CFunctionPO.CFunctionPO method) has_external_dependencies() (chc.proof.CProofDependencies.CProofDependencies method) has_file() (chc.app.CApplication.CApplication method) has_file_contracts() (chc.app.CFile.CFile method) has_file_index() (chc.app.CApplication.CApplication method) has_function() (chc.app.CApplication.CApplication method) has_function_by_index() (chc.app.CFile.CFile method) has_function_by_name() (chc.app.CFile.CFile method) has_function_contract() (chc.api.CFileContracts.CFileContracts method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) has_global_contract() (in module chc.util.fileutil) has_global_varinfo() (chc.app.CFile.CFile method) has_global_varinfo_by_name() (chc.app.CFile.CFile method) has_global_xml_contract() (in module chc.util.fileutil) has_gvid_reference() (chc.app.IndexManager.IndexManager method) has_initializer() (chc.app.CFileGlobals.CGVarDef method) (chc.app.CVarInfo.CVarInfo method) has_length() (chc.invariants.CVConstantValueVariable.CVVByteSequence method) has_lhs() (chc.app.CInstr.CCallInstr method) has_line_number() (chc.app.CFunction.CFunction method) has_location() (chc.app.CFunction.CFunction method) (chc.app.CVarInfo.CVarInfo method) has_lowerbound() (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue method) (chc.invariants.CNonRelationalValue.CNRVIntervalValue method) (chc.invariants.CVConstantValueVariable.CVVTaintedValue method) has_lval() (chc.proof.CPOPredicate.CPOStackAddressEscape method) has_multiple() (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef method) has_offset() (chc.app.COffset.CNoOffset method) (chc.app.COffset.COffset method) (chc.invariants.CVariableDenotation.CVMemoryVariable method) has_offsetvalue() (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue method) has_open_pos() (chc.api.GlobalAssumption.GlobalAssumption method) (chc.api.PostConditionRequest.PostConditionRequest method) has_outstanding_api_requests() (chc.app.CFunction.CFunction method) has_outstanding_fn_api_requests() (chc.app.CFile.CFile method) has_platform() (chc.cmdline.ParseManager.ParseManager method) has_postconditions() (chc.api.CFileContracts.CFileContracts method) (chc.api.CFunctionContract.CFunctionContract method) has_ppos() (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef method) has_preconditions() (chc.api.CFileContracts.CFileContracts method) (chc.api.CFunctionContract.CFunctionContract method) has_pred_arg() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_ref_type() (chc.app.CLHost.CLHost method) (chc.app.CLval.CLval method) (chc.proof.CPOPredicate.CPOInitialized method) (chc.proof.CPOPredicate.CPOPredicate method) has_reference_type() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_referral_diagnostic() (chc.proof.CFunctionPO.CFunctionPO method) has_restrictions() (chc.cmdline.kendra.TestSetRef.TestSetRef method) has_source_code_file() (chc.app.CFunction.CFunction method) has_spo() (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs method) has_spos() (chc.cmdline.kendra.TestCFileRef.TestCFileRef method) (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef method) has_target_type() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_upperbound() (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue method) (chc.invariants.CNonRelationalValue.CNRVIntervalValue method) (chc.invariants.CVConstantValueVariable.CVVTaintedValue method)

has_value() (chc.invariants.CNonRelationalValue.CNRVIntervalValue method) has_variable() (chc.app.CExp.CExp method) (chc.app.CExp.CExpAddrOf method) (chc.app.CExp.CExpAlignOfE method) (chc.app.CExp.CExpBinOp method) (chc.app.CExp.CExpCastE method) (chc.app.CExp.CExpCnApp method) (chc.app.CExp.CExpFnApp method) (chc.app.CExp.CExpLval method) (chc.app.CExp.CExpQuestion method) (chc.app.CExp.CExpStartOf method) (chc.app.CExp.CExpUnOp method) (chc.app.CLHost.CLHost method) (chc.app.CLHost.CLHostMem method) (chc.app.CLHost.CLHostVar method) (chc.app.CLval.CLval method) (chc.proof.CFunctionPO.CFunctionPO method) (chc.proof.CPOPredicate.CPOAllocationBase method) (chc.proof.CPOPredicate.CPOBuffer method) (chc.proof.CPOPredicate.CPOCast method) (chc.proof.CPOPredicate.CPOCommonBase method) (chc.proof.CPOPredicate.CPOCommonBaseType method) (chc.proof.CPOPredicate.CPOControlledResource method) (chc.proof.CPOPredicate.CPODistinctRegion method) (chc.proof.CPOPredicate.CPOFormatCast method) (chc.proof.CPOPredicate.CPOFormatString method) (chc.proof.CPOPredicate.CPOGlobalAddress method) (chc.proof.CPOPredicate.CPOHeapAddress method) (chc.proof.CPOPredicate.CPOIndexLowerBound method) (chc.proof.CPOPredicate.CPOIndexUpperBound method) (chc.proof.CPOPredicate.CPOInitialized method) (chc.proof.CPOPredicate.CPOInitializedRange method) (chc.proof.CPOPredicate.CPOInScope method) (chc.proof.CPOPredicate.CPOIntOverflow method) (chc.proof.CPOPredicate.CPOIntUnderflow method) (chc.proof.CPOPredicate.CPOLowerBound method) (chc.proof.CPOPredicate.CPONewMemory method) (chc.proof.CPOPredicate.CPONonNegative method) (chc.proof.CPOPredicate.CPONoOverlap method) (chc.proof.CPOPredicate.CPONotNull method) (chc.proof.CPOPredicate.CPONotZero method) (chc.proof.CPOPredicate.CPONull method) (chc.proof.CPOPredicate.CPONullTerminated method) (chc.proof.CPOPredicate.CPOPointerCast method) (chc.proof.CPOPredicate.CPOPredicate method) (chc.proof.CPOPredicate.CPOPreservedValue method) (chc.proof.CPOPredicate.CPOPtrLowerBound method) (chc.proof.CPOPredicate.CPOPtrUpperBound method) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref method) (chc.proof.CPOPredicate.CPORevBuffer method) (chc.proof.CPOPredicate.CPOSignedToSignedCastLB method) (chc.proof.CPOPredicate.CPOSignedToSignedCastUB method) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastLB method) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastUB method) (chc.proof.CPOPredicate.CPOStackAddressEscape method) (chc.proof.CPOPredicate.CPOTypeAtOffset method) (chc.proof.CPOPredicate.CPOUIntOverflow method) (chc.proof.CPOPredicate.CPOUIntUnderflow method) (chc.proof.CPOPredicate.CPOUnsignedToSignedCast method) (chc.proof.CPOPredicate.CPOUnsignedToUnsignedCast method) (chc.proof.CPOPredicate.CPOUpperBound method) (chc.proof.CPOPredicate.CPOValidMem method) (chc.proof.CPOPredicate.CPOValueConstraint method) (chc.proof.CPOPredicate.CPOWidthOverflow method) has_variable_deref() (chc.app.CLHost.CLHost method) (chc.app.CLHost.CLHostMem method) (chc.app.CLval.CLval method) (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) (chc.proof.CFunctionPO.CFunctionPO method) (chc.proof.CPOPredicate.CPOInitialized method) (chc.proof.CPOPredicate.CPOPredicate method) has_variable_name() (chc.proof.CFunctionPO.CFunctionPO method) has_variable_name_deref() (chc.proof.CFunctionPO.CFunctionPO method) has_variable_name_op() (chc.proof.CFunctionPO.CFunctionPO method) has_variable_names() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_variable_names_plus() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) has_variable_op() (chc.app.CExp.CExp method) (chc.app.CExp.CExpBinOp method) (chc.proof.CFunctionPO.CFunctionPO method) (chc.proof.CPOPredicate.CPOPredicate method) has_variable_vid() (chc.app.CFunction.CFunction method) has_varinfo_by_name() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) header (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) hexstring() (in module chc.util.StringIndexedTable) hiddenfields (chc.api.CGlobalContract.CGlobalContract property) hiddenstructs (chc.api.CGlobalContract.CGlobalContract property)

I

iargs (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) icallees (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) id (chc.api.ContractAssumption.ContractAssumption property) (chc.api.GlobalAssumption.GlobalAssumption property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) ids (chc.proof.CProofDependencies.CProofDependencies property) ifd (chc.api.CFunctionContract.CFunctionContract property) (chc.api.InterfaceDictionaryRecord.InterfaceDictionaryRecord property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) ignore (chc.api.CFunctionContract.CFunctionContract property) ikind (chc.app.CConst.CConstInt property) (chc.app.CEnumInfo.CEnumInfo property) (chc.app.CTyp.CTypInt property) (chc.proof.CPOPredicate.CPOIntOverflow property) (chc.proof.CPOPredicate.CPOIntUnderflow property) (chc.proof.CPOPredicate.CPOUIntOverflow property) (chc.proof.CPOPredicate.CPOUIntUnderflow property) (chc.proof.CPOPredicate.CPOWidthOverflow property) includes_parsing (chc.cmdline.kendra.TestResults.TestResults property) includes_pevs (chc.cmdline.kendra.TestResults.TestResults property) includes_ppos (chc.cmdline.kendra.TestResults.TestResults property) includes_sevs (chc.cmdline.kendra.TestResults.TestResults property) includes_spos (chc.cmdline.kendra.TestResults.TestResults property) index (chc.api.ApiParameter.APFormal property) (chc.api.SOffset.STArgIndexOffset property) (chc.app.CFile.CFile property) (chc.app.CFileAssignment.GlobalIndexAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.util.IndexedTable.IndexedTableValue property) index_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) index_assumption_type() (chc.proof.CFunPODictionary.CFunPODictionary method) index_attribute() (chc.app.CDictionary.CDictionary method) index_attributes() (chc.app.CDictionary.CDictionary method) index_attrparam() (chc.app.CDictionary.CDictionary method) index_cfg_context() (chc.app.CContextDictionary.CContextDictionary method) index_cfg_projection() (chc.app.CContextDictionary.CContextDictionary method) index_compinfo_key() (chc.app.CDictionary.CDictionary method) (chc.app.CFileDictionary.CFileDictionary method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.app.CGlobalDictionary.CGlobalDictionary method) index_constant() (chc.app.CDictionary.CDictionary method) index_context() (chc.app.CContextDictionary.CContextDictionary method) index_empty_exp_context() (chc.app.CContextDictionary.CContextDictionary method) index_exp (chc.app.COffset.CIndexOffset property) index_exp() (chc.app.CDictionary.CDictionary method) (chc.app.CFileDictionary.CFileDictionary method) index_exp_context() (chc.app.CContextDictionary.CContextDictionary method) index_fieldinfo() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_file_compinfos() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_file_varinfos() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_filename() (chc.app.CFileDeclarations.CFileDeclarations method) index_funarg() (chc.app.CDictionary.CDictionary method) (chc.app.CGlobalDictionary.CGlobalDictionary method) index_funargs_opt() (chc.app.CDictionary.CDictionary method) index_init() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_lhost() (chc.app.CDictionary.CDictionary method) index_lhost_offset() (chc.app.CFileDictionary.CFileDictionary method) index_location() (chc.app.CFileDeclarations.CFileDeclarations method) index_lval() (chc.app.CDictionary.CDictionary method) index_node() (chc.app.CContextDictionary.CContextDictionary method) index_offset() (chc.app.CDictionary.CDictionary method) index_offset_init() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_opaque_struct() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_opaque_struct_pointer() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) index_opt_exp() (chc.app.CDictionary.CDictionary method) index_opt_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) index_ppo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) index_predicate() (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) index_s_offset() (chc.api.InterfaceDictionary.InterfaceDictionary method) index_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) index_spo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) index_string() (chc.app.CDictionary.CDictionary method) index_typ() (chc.app.CDictionary.CDictionary method) index_typsig() (chc.app.CDictionary.CDictionary method) index_typsiglist() (chc.app.CDictionary.CDictionary method) index_varinfo_vid() (chc.app.CDictionary.CDictionary method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.app.CGlobalDictionary.CGlobalDictionary method) index_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) IndexedTable (class in chc.util.IndexedTable) IndexedTableError, [1] IndexedTableSuperclass (class in chc.util.IndexedTable) IndexedTableValue (class in chc.util.IndexedTable) IndexedTableValueMismatchError indexmanager (chc.app.CApplication.CApplication property) (chc.app.CFileDictionary.CFileDictionary property) (chc.linker.CLinker.CLinker property) IndexManager (class in chc.app.IndexManager) info (chc.util.loggingutil.LogLevel attribute) InitAssignment (class in chc.app.CFileAssignment) initialize() (chc.app.CContextDictionary.CContextDictionary method) (chc.app.CDictionary.CDictionary method) (chc.app.CFunDeclarations.CFunDeclarations method) (chc.invariants.CFunInvDictionary.CFunInvDictionary method) (chc.invariants.CFunVarDictionary.CFunVarDictionary method) (chc.invariants.CFunXprDictionary.CFunXprDictionary method) (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) (chc.proof.CFunPODictionary.CFunPODictionary method) initialize_files() (chc.app.CApplication.CApplication method) initialize_paths() (chc.cmdline.ParseManager.ParseManager method) initialize_single_file() (chc.app.CApplication.CApplication method) initialize_testsummary() (in module chc.cmdline.juliet.JulietTestScoring) initializer (chc.app.CFileGlobals.CGVarDef attribute) (chc.app.CInitInfo.COffsetInitInfo property) (chc.app.CVarInfo.CVarInfo property) instr_count (chc.app.CFunction.CFunction property) (chc.app.CStmt.CStmt property) instrs (chc.app.CStmt.CInstrsStmt property) interfacedictionary (chc.app.CFile.CFile property) (chc.app.CFunction.CFunction property) (chc.proof.CFunPODictionary.CFunPODictionary property) InterfaceDictionary (class in chc.api.InterfaceDictionary) InterfaceDictionaryRecord (class in chc.api.InterfaceDictionaryRecord) InterfaceDictionaryRegistry (class in chc.api.InterfaceDictionaryRecord) intvalue (chc.app.CAttributes.CAttrInt property) (chc.app.CConst.CConstInt property) invariants (chc.invariants.CFunInvariantTable.CFunInvariantTable property) invarianttable (chc.app.CFunction.CFunction property) invd (chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRecord property) (chc.invariants.CFunInvariantTable.CFunInvariantTable property) invdictionary (chc.app.CFunction.CFunction property) invs (chc.proof.CProofDependencies.CProofDependencies property) invsmap (chc.proof.CProofDiagnostic.CProofDiagnostic property) is_addrof (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrAddrOf property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpAddrOf property) is_alignof (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrAlignOf property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpAlignOf property) is_alignofe (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrAlignOfE property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpAlignOfE property) is_alignofs (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrAlignOfS property) is_alloc_stack_address (chc.invariants.CVMemoryBase.CVMemoryBase property) is_alloc_stackaddress (chc.invariants.CVMemoryBase.CVMemoryBaseAllocStackAddress property) is_allocation_base (chc.api.XPredicate.XAllocationBase property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPOAllocationBase property) (chc.proof.CPOPredicate.CPOPredicate property) is_api_assumption (chc.proof.AssumptionType.ApiAssumptionType property) (chc.proof.AssumptionType.AssumptionType property) is_application_header() (chc.app.CApplication.CApplication method) is_arg_addressed_value (chc.api.STerm.STArgAddressedValue property) (chc.api.STerm.STerm property) is_arg_null_terminator_pos (chc.api.STerm.STArgNullTerminatorPos property) (chc.api.STerm.STerm property) is_arg_size_of_type (chc.api.STerm.STArgSizeOfType property) (chc.api.STerm.STerm property) is_arg_value (chc.api.STerm.STerm property) is_arg_value() (chc.api.STerm.STArgValue method) is_arithmetic_expr (chc.api.STerm.STArithmeticExpr property) (chc.api.STerm.STerm property) is_array (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypArray property) is_asm (chc.app.CInstr.CAsmInstr property) (chc.app.CInstr.CInstr property) is_assign (chc.app.CInstr.CAssignInstr property) (chc.app.CInstr.CInstr property) is_attr (chc.invariants.CXXpr.CXXAttr property) (chc.invariants.CXXpr.CXXpr property) is_augmentation_variable (chc.invariants.CVariableDenotation.CVAugmentationVariable property) is_auxiliary_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVAuxiliaryVariable property) is_base_offset_value (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) is_basevar (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseBaseVar property) is_binop (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrBinOp property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpBinOp property) is_block_stmt (chc.app.CStmt.CBlock property) (chc.app.CStmt.CStmt property) is_block_write (chc.api.XPredicate.XBlockWrite property) (chc.api.XPredicate.XPredicate property) is_boolconst (chc.invariants.CXConstant.CXBoolConst property) (chc.invariants.CXConstant.CXConstant property) is_buffer (chc.api.XPredicate.XBuffer property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPOBuffer property) (chc.proof.CPOPredicate.CPOPredicate property) is_builtin_vaargs (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypBuiltinVaargs property) is_byte_sequence (chc.invariants.CVConstantValueVariable.CVVByteSequence property) is_byte_size (chc.api.STerm.STByteSize property) (chc.api.STerm.STerm property) is_call (chc.app.CInstr.CCallInstr property) (chc.app.CInstr.CInstr property) is_callsite_spo (chc.proof.SPOType.CallsiteSPOType property) (chc.proof.SPOType.SPOType property) is_can_leave_scope (chc.proof.CPOPredicate.CPOPredicate property) is_cast (chc.proof.CPOPredicate.CPOCast property) (chc.proof.CPOPredicate.CPOPredicate property) is_caste (chc.app.CExp.CExp property) (chc.app.CExp.CExpCastE property) is_check_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVCheckVariable property) is_choice_value (chc.api.STerm.STChoiceValue property) (chc.api.STerm.STerm property) is_chr (chc.app.CConst.CConst property) (chc.app.CConst.CConstChr property) is_closed (chc.proof.CFunctionPO.CFunctionPO property) is_cn_app (chc.app.CExp.CExp property) (chc.app.CExp.CExpCnApp property) is_common_base (chc.proof.CPOPredicate.CPOCommonBase property) (chc.proof.CPOPredicate.CPOPredicate property) is_common_base_type (chc.proof.CPOPredicate.CPOCommonBaseType property) is_comp (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypComp property) is_compound (chc.app.CInitInfo.CCompoundInitInfo property) (chc.app.CInitInfo.CInitInfo property) is_confined (chc.api.XPredicate.XConfined property) (chc.api.XPredicate.XPredicate property) is_cons (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrCons property) is_const (chc.invariants.CXXpr.CXXConst property) (chc.invariants.CXXpr.CXXpr property) is_const_term (chc.api.XPredicate.XConstTerm property) (chc.api.XPredicate.XPredicate property) is_constant (chc.app.CExp.CExp property) (chc.app.CExp.CExpConst property) is_contract_assumption (chc.proof.AssumptionType.AssumptionType property) (chc.proof.AssumptionType.PostconditionType property) is_controlled_resource (chc.api.XPredicate.XControlledResource property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPOControlledResource property) (chc.proof.CPOPredicate.CPOPredicate property) is_deadcode (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CProofDependencies.CProofDependencies property) is_default_function_prototype (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypFun property) is_delegated (chc.proof.CFunctionPO.CFunctionPO property) is_direct_call (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) is_distinct_region (chc.proof.CPOPredicate.CPODistinctRegion property) is_dot (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrDot property) is_enum (chc.app.CConst.CConst property) (chc.app.CConst.CConstEnum property) (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypEnum property) is_exp_function_return_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVExpFunctionReturnValue property) is_exp_side_effect_value (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) is_exp_sideeffect_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) is_false (chc.api.XPredicate.XFalse property) (chc.api.XPredicate.XPredicate property) (chc.invariants.CXConstant.CXBoolConst property) is_field (chc.api.SOffset.SOffset property) (chc.api.SOffset.STArgFieldOffset property) (chc.app.COffset.CFieldOffset property) (chc.app.COffset.COffset property) is_field_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.FieldAssignment property) is_field_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVFieldVariable property) is_float (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypFloat property) is_fn_app (chc.app.CExp.CExp property) (chc.app.CExp.CExpFnApp property) is_formal (chc.api.ApiParameter.APFormal property) (chc.api.ApiParameter.ApiParameter property) is_format_cast (chc.proof.CPOPredicate.CPOFormatCast property) (chc.proof.CPOPredicate.CPOPredicate property) is_format_string (chc.proof.CPOPredicate.CPOFormatString property) (chc.proof.CPOPredicate.CPOPredicate property) is_formatted_input (chc.api.XPredicate.XFormattedInput property) (chc.api.XPredicate.XPredicate property) is_formatted_output_size (chc.api.STerm.STerm property) (chc.api.STerm.STFormattedOutputSize property) is_freed (chc.api.XPredicate.XFreed property) (chc.api.XPredicate.XPredicate property) (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseFreed property) is_function (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypFun property) is_function_body (chc.app.CStmt.CFunctionBody property) (chc.app.CStmt.CStmt property) is_function_return_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVFunctionReturnValue property) is_functional (chc.api.XPredicate.XFunctional property) (chc.api.XPredicate.XPredicate property) is_global (chc.api.ApiParameter.APGlobal property) (chc.api.ApiParameter.ApiParameter property) (chc.app.CDictionary.CDictionary property) (chc.app.CFileDictionary.CFileDictionary property) (chc.app.CGlobalDictionary.CGlobalDictionary property) (chc.app.CVarInfo.CVarInfo property) (chc.app.IndexManager.CKeyReference property) (chc.app.IndexManager.VarReference property) is_global_address (chc.api.XPredicate.XGlobalAddress property) (chc.api.XPredicate.XPredicate property) (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseGlobalAddress property) (chc.proof.CPOPredicate.CPOGlobalAddress property) (chc.proof.CPOPredicate.CPOPredicate property) is_global_api_assumption (chc.proof.AssumptionType.AssumptionType property) (chc.proof.AssumptionType.GlobalApiAssumptionType property) is_global_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.GlobalAssignment property) is_global_assumption (chc.proof.AssumptionType.AssumptionType property) (chc.proof.AssumptionType.GlobalAssumptionType property) is_global_index_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.GlobalIndexAssignment property) is_global_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVGlobalVariable property) is_heap_address (chc.api.XPredicate.XHeapAddress property) (chc.api.XPredicate.XPredicate property) (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseHeapAddress property) (chc.proof.CPOPredicate.CPOHeapAddress property) (chc.proof.CPOPredicate.CPOPredicate property) is_hex (chc.app.CConst.CStringConstant property) is_hidden_field() (chc.api.CGlobalContract.CGlobalContract method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) is_hidden_struct() (chc.api.CGlobalContract.CGlobalContract method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) is_if_stmt (chc.app.CStmt.CIfStmt property) (chc.app.CStmt.CStmt property) is_implementation_defined (chc.proof.CFunctionPO.CFunctionPO property) is_in_scope (chc.proof.CPOPredicate.CPOInScope property) (chc.proof.CPOPredicate.CPOPredicate property) is_index (chc.api.SOffset.SOffset property) (chc.api.SOffset.STArgIndexOffset property) (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrIndex property) (chc.app.COffset.CIndexOffset property) (chc.app.COffset.COffset property)

is_index_lower_bound (chc.proof.CPOPredicate.CPOIndexLowerBound property) (chc.proof.CPOPredicate.CPOPredicate property) is_index_size (chc.api.STerm.STerm property) (chc.api.STerm.STIndexSize property) is_index_upper_bound (chc.proof.CPOPredicate.CPOIndexUpperBound property) (chc.proof.CPOPredicate.CPOPredicate property) is_indirect_call (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) is_init_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.InitAssignment property) is_initial_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVInitialValue property) is_initialized (chc.api.XPredicate.XInitialized property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPOInitialized property) (chc.proof.CPOPredicate.CPOPredicate property) is_initialized_range (chc.api.XPredicate.XInitializedRange property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPOInitializedRange property) (chc.proof.CPOPredicate.CPOPredicate property) is_initialized_set (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVInitializedSet property) is_inline (chc.app.CVarInfo.CVarInfo property) is_input_formatstring (chc.api.XPredicate.XInputFormatString property) (chc.api.XPredicate.XPredicate property) is_instrs_stmt (chc.app.CStmt.CInstrsStmt property) (chc.app.CStmt.CStmt property) is_int (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrInt property) (chc.app.CConst.CConst property) (chc.app.CConst.CConstInt property) (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypInt property) is_int_overflow (chc.proof.CPOPredicate.CPOIntOverflow property) (chc.proof.CPOPredicate.CPOPredicate property) is_int_underflow (chc.proof.CPOPredicate.CPOIntUnderflow property) (chc.proof.CPOPredicate.CPOPredicate property) is_intconst (chc.invariants.CXConstant.CXConstant property) (chc.invariants.CXConstant.CXIntConst property) is_interval_value (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVIntervalValue property) is_invalidated (chc.api.XPredicate.XInvalidated property) (chc.api.XPredicate.XPredicate property) is_lib_ppo (chc.proof.PPOType.LibPPOType property) (chc.proof.PPOType.PPOType property) is_library_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) is_linux_only (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.kendra.TestSetRef.TestSetRef property) is_local (chc.proof.CProofDependencies.CProofDependencies property) is_local_assumption (chc.proof.AssumptionType.AssumptionType property) (chc.proof.AssumptionType.LocalAssumptionType property) is_local_spo (chc.proof.SPOType.LocalSPOType property) (chc.proof.SPOType.SPOType property) is_local_var (chc.api.STerm.STerm property) (chc.api.STerm.STLocalVariable property) is_local_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVLocalVariable property) is_lower_bound (chc.proof.CPOPredicate.CPOLowerBound property) (chc.proof.CPOPredicate.CPOPredicate property) is_lval (chc.app.CExp.CExp property) (chc.app.CExp.CExpLval property) is_mem (chc.app.CLHost.CLHost property) (chc.app.CLHost.CLHostMem property) is_memory_address (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVMemoryAddress property) is_memory_region_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVMemoryRegionVariable property) is_memory_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVMemoryVariable property) is_named_constant (chc.api.STerm.STerm property) (chc.api.STerm.STNamedConstant property) is_named_type (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypNamed property) is_new_memory (chc.api.XPredicate.XNewMemory property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONewMemory property) (chc.proof.CPOPredicate.CPOPredicate property) is_no_offset (chc.api.SOffset.STArgNoOffset property) (chc.app.COffset.CNoOffset property) (chc.app.COffset.COffset property) is_no_overlap (chc.api.XPredicate.XNoOverlap property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONoOverlap property) (chc.proof.CPOPredicate.CPOPredicate property) is_non_negative (chc.api.XPredicate.XNonNegative property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONonNegative property) (chc.proof.CPOPredicate.CPOPredicate property) is_nooffset (chc.api.SOffset.SOffset property) is_not_null (chc.api.XPredicate.XNotNull property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONotNull property) (chc.proof.CPOPredicate.CPOPredicate property) is_not_zero (chc.api.XPredicate.XNotZero property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONotZero property) (chc.proof.CPOPredicate.CPOPredicate property) is_nrv_fact (chc.invariants.CInvariantFact.CInvariantFact property) (chc.invariants.CInvariantFact.CInvariantNRVFact property) is_null (chc.api.XPredicate.XNull property) (chc.api.XPredicate.XPredicate property) (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseNull property) (chc.proof.CPOPredicate.CPONull property) (chc.proof.CPOPredicate.CPOPredicate property) is_null_terminated (chc.api.XPredicate.XNullTerminated property) (chc.api.XPredicate.XPredicate property) (chc.proof.CPOPredicate.CPONullTerminated property) (chc.proof.CPOPredicate.CPOPredicate property) is_num_constant (chc.api.STerm.STerm property) (chc.api.STerm.STNumConstant property) is_ok (chc.jsoninterface.JSONResult.JSONResult property) is_op (chc.invariants.CXXpr.CXXOp property) (chc.invariants.CXXpr.CXXpr property) is_open (chc.proof.CFunctionPO.CFunctionPO property) is_output_formatstring (chc.api.XPredicate.XOutputFormatString property) (chc.api.XPredicate.XPredicate property) is_param (chc.app.CVarInfo.CVarInfo property) is_pointer (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypPtr property) is_pointer_cast (chc.proof.CPOPredicate.CPOPointerCast property) (chc.proof.CPOPredicate.CPOPredicate property) is_policy_state_set (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVPolicyStateSet property) is_ppo (chc.proof.CFunctionPO.CFunctionPO property) is_ppo() (chc.proof.CFunctionPPO.CFunctionPPO method) is_preserved_all_memory (chc.proof.CPOPredicate.CPOPredicate property) is_preserves_all_memory (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesAllMemory property) (chc.proof.CPOPredicate.CPOPreservedAllMemory property) is_preserves_all_memory_x (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesAllMemoryX property) is_preserves_memory (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesMemory property) is_preserves_null_termination (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesNullTermination property) is_preserves_validity (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesValidity property) is_preserves_value (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XPreservesValue property) is_program_ppo (chc.proof.PPOType.PPOType property) (chc.proof.PPOType.ProgramPPOType property) is_ptr_lower_bound (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOPtrLowerBound property) is_ptr_upper_bound (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOPtrUpperBound property) is_ptr_upper_bound_deref (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref property) is_question (chc.app.CAttributes.CAttr property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpQuestion property) is_random (chc.invariants.CXConstant.CXConstant property) (chc.invariants.CXConstant.CXRandom property) is_real (chc.app.CConst.CConst property) (chc.app.CConst.CConstReal property) is_region (chc.api.STerm.STerm property) (chc.api.STerm.STRegion property) is_region_set (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVRegionSet property) is_relational_expr (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XRelationalExpr property) is_repositioned (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XRepositioned property) is_return_value (chc.api.STerm.STerm property) (chc.api.STerm.STReturnValue property) is_return_variable (chc.invariants.CVariableDenotation.CVariableDenotation property) (chc.invariants.CVariableDenotation.CVReturnVariable property) is_returnsite_spo (chc.proof.SPOType.ReturnsiteSPOType property) (chc.proof.SPOType.SPOType property) is_rev_buffer (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XRevBuffer property) (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPORevBuffer property) is_runtime_value (chc.api.STerm.STerm property) (chc.api.STerm.STRuntimeValue property) is_safe (chc.proof.CFunctionPO.CFunctionPO property) is_safe_control (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) is_shortcut_name() (in module chc.util.fileutil) is_side_effect_value (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) is_sideeffect_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) is_signed_to_signed_cast_lb (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOSignedToSignedCastLB property) is_signed_to_signed_cast_ub (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOSignedToSignedCastUB property) is_signed_to_unsigned_cast_lb (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastLB property) is_signed_to_unsigned_cast_ub (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastUB property) is_single (chc.app.CInitInfo.CInitInfo property) (chc.app.CInitInfo.CSingleInitInfo property) is_single_file (chc.app.IndexManager.IndexManager property) is_singlefile (chc.app.CApplication.CApplication property) is_sizeof (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrSizeOf property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpSizeOf property) is_sizeofe (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrSizeOfE property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpSizeOfE property) is_sizeofs (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrSizeOfS property) is_sizeofstr (chc.app.CExp.CExp property) (chc.app.CExp.CExpSizeOfStr property) is_spo (chc.proof.CFunctionCallsiteSPO.CFunctionCallsiteSPO property) (chc.proof.CFunctionPO.CFunctionPO property) is_spo() (chc.proof.CFunctionLocalSPO.CFunctionLocalSPO method) is_stack_address (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XStackAddress property) (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseStackAddress property) is_stack_address_escape (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOStackAddressEscape property) is_star (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrStar property) is_startof (chc.app.CExp.CExp property) (chc.app.CExp.CExpStartOf property) is_static_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.StaticAssignment property) is_static_index_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) is_stmt (chc.proof.CProofDependencies.CProofDependencies property) is_str (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrStr property) (chc.app.CConst.CConst property) (chc.app.CConst.CConstStr property) is_string_literal (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseStringLiteral property) is_struct (chc.app.CCompInfo.CCompInfo property) (chc.app.CFileGlobals.CGCompTag property) (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypComp property) is_symbolic_bound (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVSymbolicBound property) is_symbolic_expr (chc.invariants.CNonRelationalValue.CNonRelationalValue property) (chc.invariants.CNonRelationalValue.CNRVSymbolicExpr property) is_symbolic_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVSymbolicValue property) is_symset (chc.invariants.CXConstant.CXConstant property) (chc.invariants.CXConstant.CXSymSet property) is_tainted (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XTainted property) is_tainted_value (chc.invariants.CVConstantValueVariable.CVConstantValueVariable property) (chc.invariants.CVConstantValueVariable.CVVTaintedValue property) is_tmp (chc.invariants.CXVariable.CXVariable property) is_tmpvar (chc.app.CLHost.CLHost property) (chc.app.CLHost.CLHostVar property) is_true (chc.invariants.CXConstant.CXBoolConst property) is_type_at_offset (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOTypeAtOffset property) is_uint_overflow (chc.proof.CPOPredicate.CPOUIntOverflow property) is_uint_underflow (chc.proof.CPOPredicate.CPOUIntUnderflow property) is_uninterpreted (chc.invariants.CVMemoryBase.CVMemoryBase property) (chc.invariants.CVMemoryBase.CVMemoryBaseUninterpreted property) is_unique_pointer (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XUniquePointer property) is_unknown_assignment (chc.app.CFileAssignment.CFileAssignment property) (chc.app.CFileAssignment.UnknownAssignment property) is_unknown_int (chc.invariants.CXConstant.CXConstant property) (chc.invariants.CXConstant.CXUnknownInt property) is_unknown_set (chc.invariants.CXConstant.CXConstant property) (chc.invariants.CXConstant.CXUnknownSet property) is_unop (chc.app.CAttributes.CAttr property) (chc.app.CAttributes.CAttrUnOp property) (chc.app.CExp.CExp property) (chc.app.CExp.CExpUnOp property) is_unreachable_fact (chc.invariants.CInvariantFact.CInvariantFact property) (chc.invariants.CInvariantFact.CUnreachableFact property) is_unsigned_to_signed_cast (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOUnsignedToSignedCast property) is_unsigned_to_unsigned_cast (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOUnsignedToUnsignedCast property) is_upper_bound (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOUpperBound property) is_valid (chc.invariants.CVMemoryBase.CVMemoryBaseHeapAddress property) is_valid_mem (chc.api.XPredicate.XPredicate property) (chc.api.XPredicate.XValidMem property) (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOValidMem property) is_value_constraint (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOValueConstraint property) is_value_wrap_around (chc.proof.CFunctionPO.CFunctionPO property) is_var (chc.app.CLHost.CLHost property) (chc.app.CLHost.CLHostVar property) (chc.invariants.CXXpr.CXXpr property) (chc.invariants.CXXpr.CXXVar property) is_vararg (chc.app.CTyp.CTypFun property) is_violated (chc.proof.CFunctionPO.CFunctionPO property) is_violation (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) (chc.cmdline.juliet.JulietTestFileRef.JulietSafeControl property) (chc.cmdline.juliet.JulietTestFileRef.JulietViolation property) is_void (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypVoid property) is_width_overflow (chc.proof.CPOPredicate.CPOPredicate property) (chc.proof.CPOPredicate.CPOWidthOverflow property) is_wstr (chc.app.CConst.CConst property) (chc.app.CConst.CConstWStr property) ismac (chc.cmdline.kendra.TestManager.TestManager property) item_name (chc.app.CConst.CConstEnum property) itemlist (chc.util.IndexedTable.IndexedTableError property) items() (chc.util.IndexedTable.IndexedTable method) iter() (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method) (chc.cmdline.juliet.JulietTestRef.JulietTestRef method) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionPPOs.CFunctionPPOs method) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) (chc.util.IndexedTable.IndexedTable method) iter_callsites() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) iter_files() (chc.app.CApplication.CApplication method) iter_files_parallel() (chc.app.CApplication.CApplication method) iter_functions() (chc.api.CFileContracts.CFileContracts method) (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) iter_functions_parallel() (chc.app.CApplication.CApplication method) iter_ppos() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) iter_safe_controls() (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method) iter_spos() (chc.proof.CFunctionProofs.CFunctionProofs method) iter_stmts() (chc.app.CStmt.CStmt method) iter_violations() (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef method)

J

jsondate() (in module chc.cmdline.jsonresultutil) jsonfail() (in module chc.cmdline.jsonresultutil) jsonfiledata() (in module chc.cmdline.jsonresultutil) jsonfunctiondata() (in module chc.cmdline.jsonresultutil) jsonok() (in module chc.cmdline.jsonresultutil) JSONResult (class in chc.jsoninterface.JSONResult) JSONSchema (class in chc.jsoninterface.JSONSchema) juliet_analyze() (in module chc.cmdline.juliet.julietutil) juliet_analyze_sets() (in module chc.cmdline.juliet.julietutil) juliet_check_config() (in module chc.cmdline.juliet.julietutil) juliet_convert() (in module chc.cmdline.juliet.julietutil) juliet_dashboard() (in module chc.cmdline.juliet.julietutil) juliet_investigate() (in module chc.cmdline.juliet.julietutil) juliet_list() (in module chc.cmdline.juliet.julietutil)

juliet_project_dashboard() (in module chc.cmdline.juliet.julietutil) juliet_report() (in module chc.cmdline.juliet.julietutil) juliet_report_file() (in module chc.cmdline.juliet.julietutil) juliet_report_requests() (in module chc.cmdline.juliet.julietutil) juliet_score() (in module chc.cmdline.juliet.julietutil) juliet_score_sets() (in module chc.cmdline.juliet.julietutil) julietcommand() (in module chc.cmdline.chkc) JulietPpo (class in chc.cmdline.juliet.JulietTestFileRef) JulietSafeControl (class in chc.cmdline.juliet.JulietTestFileRef) JulietTestFileRef (class in chc.cmdline.juliet.JulietTestFileRef) JulietTestRef (class in chc.cmdline.juliet.JulietTestRef) JulietTestSetMacros (class in chc.cmdline.juliet.JulietTestSetRef) JulietTestSetRef (class in chc.cmdline.juliet.JulietTestSetRef) JulietViolation (class in chc.cmdline.juliet.JulietTestFileRef)

K

keepUnused (chc.cmdline.ParseManager.ParseManager property) kendra_clean_set() (in module chc.cmdline.kendra.kendrautil) kendra_dashboard() (in module chc.cmdline.kendra.kendrautil) kendra_list() (in module chc.cmdline.kendra.kendrautil) kendra_report_file() (in module chc.cmdline.kendra.kendrautil) kendra_show_file_table() (in module chc.cmdline.kendra.kendrautil) kendra_show_function_table() (in module chc.cmdline.kendra.kendrautil)

kendra_show_set() (in module chc.cmdline.kendra.kendrautil) kendra_test_set() (in module chc.cmdline.kendra.kendrautil) kendra_test_sets() (in module chc.cmdline.kendra.kendrautil) key (chc.util.IndexedTable.IndexedTableValue property) keymatches() (in module chc.cmdline.juliet.JulietTestScoring) keyword_msgs (chc.proof.CProofDiagnostic.CProofDiagnostic property) kind (chc.app.CStmt.CStmt property)

L

label_sid (chc.app.CExp.CExpAddrOfLabel property) length (chc.api.XPredicate.XBlockWrite property) (chc.api.XPredicate.XBuffer property) (chc.api.XPredicate.XInitializedRange property) (chc.api.XPredicate.XRevBuffer property) (chc.app.CAttributes.CAttributes property) (chc.invariants.CVConstantValueVariable.CVVByteSequence property) level (chc.proof.CProofDependencies.CProofDependencies property) lhost (chc.app.CLval.CLval property) lhs (chc.app.CFileAssignment.FieldAssignment property) (chc.app.CFileAssignment.GlobalAssignment property) (chc.app.CFileAssignment.GlobalIndexAssignment property) (chc.app.CFileAssignment.StaticAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.app.CFileAssignment.UnknownAssignment property) (chc.app.CInstr.CAsmOutput property) (chc.app.CInstr.CAssignInstr property) (chc.app.CInstr.CCallInstr property) lhs() (chc.app.CFileAssignment.InitAssignment method) lib_function_name (chc.proof.PPOType.LibPPOType property) LibPPOType (class in chc.proof.PPOType) line (chc.app.CFileGlobals.CGFunction property) (chc.app.CLocation.CLocation property) (chc.app.CVarInfo.CVarInfo property) (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) line_ppos (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) line_spos (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) lines (chc.source.CSrcFile.CSrcFile property) link_compinfos() (chc.linker.CLinker.CLinker method) link_varinfos() (chc.linker.CLinker.CLinker method) list_compinfos() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) list_test_applications() (in module chc.util.fileutil) load_callgraph() (in module chc.util.fileutil)

load_functionindex() (in module chc.util.fileutil) load_preserves_memory_functions() (in module chc.util.fileutil) loc (chc.app.CEnumItem.CEnumItem property) local_spos (chc.proof.CFunctionSPOs.CFunctionSPOs property) LocalAssumptionType (class in chc.proof.AssumptionType) locals (chc.app.CFunction.CFunction property) (chc.app.CFunDeclarations.CFunDeclarations property) LocalSPOType (class in chc.proof.SPOType) location (chc.app.CFieldInfo.CFieldInfo property) (chc.app.CFileGlobals.CGCompTag attribute) (chc.app.CFileGlobals.CGEnumTag attribute) (chc.app.CFileGlobals.CGFunction attribute) (chc.app.CFileGlobals.CGType attribute) (chc.app.CFileGlobals.CGVarDecl attribute) (chc.app.CFileGlobals.CGVarDef attribute) (chc.invariants.CVConstantValueVariable.CVVExpFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVFunctionReturnValue property) (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunPODictionaryRecord.CFunPOType property) (chc.proof.PPOType.LibPPOType property) (chc.proof.PPOType.ProgramPPOType property) (chc.proof.SPOType.CallsiteSPOType property) (chc.proof.SPOType.LocalSPOType property) (chc.proof.SPOType.ReturnsiteSPOType property) logger (chc.util.loggingutil.CHKLogger property) LogLevel (class in chc.util.loggingutil) lower_bound (chc.api.XPredicate.XTainted property) lowerbound (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) (chc.invariants.CNonRelationalValue.CNRVIntervalValue property) (chc.invariants.CVConstantValueVariable.CVVTaintedValue property) lval (chc.app.CExp.CExpAddrOf property) (chc.app.CExp.CExpLval property) (chc.app.CExp.CExpStartOf property) (chc.proof.CPOPredicate.CPOInitialized property) (chc.proof.CPOPredicate.CPOStackAddressEscape property)

M

macros (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef property) make_cgc_challenge_path() (in module chc.util.fileutil) make_global_compinfo() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) make_global_varinfo() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) make_opaque_global_varinfo() (chc.app.CFileDeclarations.CFileDeclarations method) make_po_file_function_dict() (in module chc.reporting.ProofObligations) make_po_tag_dict() (in module chc.reporting.ProofObligations) matches_exp_ctxt() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_pred_arg() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_reference_type() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_target_type() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_variable_deref() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_variable_names() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) matches_variable_names_plus() (chc.cmdline.juliet.JulietTestFileRef.JulietPpo method) memory_base (chc.invariants.CVariableDenotation.CVMemoryRegionVariable property) memory_reference (chc.invariants.CVConstantValueVariable.CVVMemoryAddress property) memory_reference_data (chc.invariants.CVariableDenotation.CVMemoryVariable property) memory_reference_id (chc.invariants.CVariableDenotation.CVMemoryVariable property) memory_region_id (chc.invariants.CVariableDenotation.CVMemoryRegionVariable property) memref (chc.proof.CPOPredicate.CPODistinctRegion property) mk_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_arg_no_offset() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_assignment_index() (chc.app.CFileAssignmentDictionary.CFileAssignmentDictionary method) mk_attrparam() (chc.app.CDictionary.CDictionary method) mk_compound_init_index() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) mk_constant_index() (chc.app.CDictionary.CDictionary method) mk_exp_index() (chc.app.CDictionary.CDictionary method) mk_field_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_formal_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_global_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_initialized_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_instance() (chc.api.InterfaceDictionaryRecord.InterfaceDictionaryRegistry method) (chc.app.AssignDictionaryRecord.AssignDictionaryRegistry method) (chc.app.CDictionaryRecord.CDeclarationsRegistry method) (chc.app.CDictionaryRecord.CDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRegistry method) (chc.proof.CFilePredicateRecord.CFilePredicateRegistry method) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRegistry method) mk_lhost_index() (chc.app.CDictionary.CDictionary method) mk_lval_exp() (chc.app.CFileDictionary.CFileDictionary method) mk_lval_index() (chc.app.CDictionary.CDictionary method) mk_offset_index() (chc.app.CDictionary.CDictionary method) mk_offset_init_index() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) mk_s_offset() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_s_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) mk_single_init_index() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) mk_typ_index() (chc.app.CDictionary.CDictionary method) mk_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) module chc chc.api chc.api.ApiAssumption chc.api.ApiParameter chc.api.CFileContracts chc.api.CFunctionContract chc.api.CGlobalContract chc.api.ContractAssumption chc.api.FieldAssignment chc.api.GlobalAssumption chc.api.InterfaceDictionary chc.api.InterfaceDictionaryRecord chc.api.PostAssume chc.api.PostConditionRequest chc.api.PostRequest chc.api.SOffset chc.api.STerm chc.api.XPredicate chc.app chc.app.AssignDictionaryRecord chc.app.CApplication chc.app.CAttributes chc.app.CCompInfo chc.app.CConst chc.app.CContext chc.app.CContextDictionary chc.app.CDeclarations chc.app.CDictionary chc.app.CDictionaryRecord chc.app.CEnumInfo chc.app.CEnumItem chc.app.CExp chc.app.CFieldInfo chc.app.CFile chc.app.CFileAssignment chc.app.CFileAssignmentDictionary chc.app.CFileDeclarations chc.app.CFileDictionary chc.app.CFileGlobals chc.app.CFunction chc.app.CFunDeclarations chc.app.CGlobalDeclarations chc.app.CGlobalDictionary chc.app.CGXrefs chc.app.CHVersion chc.app.CInitInfo chc.app.CInstr chc.app.CLHost chc.app.CLocation chc.app.CLval chc.app.COffset chc.app.CStmt chc.app.CTyp chc.app.CTypeInfo chc.app.CTypsig chc.app.CVarInfo chc.app.IndexManager chc.cmdline chc.cmdline.AnalysisManager chc.cmdline.c_file chc.cmdline.c_file.cfiletableutil chc.cmdline.c_file.cfileutil chc.cmdline.c_project chc.cmdline.c_project.cprojectutil chc.cmdline.chkc chc.cmdline.jsonresultutil chc.cmdline.juliet chc.cmdline.juliet.JulietTestFileRef chc.cmdline.juliet.JulietTestRef chc.cmdline.juliet.JulietTestScoring chc.cmdline.juliet.JulietTestSetRef chc.cmdline.juliet.julietutil chc.cmdline.kendra chc.cmdline.kendra.kendrautil chc.cmdline.kendra.TestCFileRef chc.cmdline.kendra.TestCFunctionRef chc.cmdline.kendra.TestManager chc.cmdline.kendra.TestPPORef chc.cmdline.kendra.TestResults chc.cmdline.kendra.TestSetRef chc.cmdline.kendra.TestSPORef chc.cmdline.ParseManager chc.invariants chc.invariants.CFunDictionaryRecord chc.invariants.CFunInvariantTable chc.invariants.CFunInvDictionary chc.invariants.CFunVarDictionary chc.invariants.CFunXprDictionary chc.invariants.CInvariantFact chc.invariants.CNonRelationalValue chc.invariants.CVariableDenotation chc.invariants.CVConstantValueVariable chc.invariants.CVMemoryBase chc.invariants.CVMemoryReferenceData chc.invariants.CXConstant chc.invariants.CXNumerical chc.invariants.CXSymbol chc.invariants.CXVariable chc.invariants.CXXpr chc.jsoninterface chc.jsoninterface.JSONResult chc.jsoninterface.JSONSchema chc.linker chc.linker.CLinker chc.linker.CompCompatibility chc.proof chc.proof.AssumptionType chc.proof.CFilePredicateDictionary chc.proof.CFilePredicateRecord chc.proof.CFunctionCallsiteSPO chc.proof.CFunctionCallsiteSPOs chc.proof.CFunctionLocalSPO chc.proof.CFunctionPO chc.proof.CFunctionPPO chc.proof.CFunctionPPOs chc.proof.CFunctionProofs chc.proof.CFunctionReturnsiteSPO chc.proof.CFunctionReturnsiteSPOs chc.proof.CFunctionSPOs chc.proof.CFunPODictionary chc.proof.CFunPODictionaryRecord chc.proof.CPOPredicate chc.proof.CProofDependencies chc.proof.CProofDiagnostic chc.proof.PPOType chc.proof.SPOType chc.reporting chc.reporting.ProofObligations chc.reporting.reportutil chc.source chc.source.CSrcFile chc.util chc.util.Config chc.util.fileutil chc.util.IndexedTable chc.util.loggingutil chc.util.StringIndexedTable chc.util.UnionFind chc.util.xmlutil

msgs (chc.proof.CProofDiagnostic.CProofDiagnostic property)

N

name (chc.api.ApiParameter.APGlobal property) (chc.api.CFunctionContract.CFunctionContract property) (chc.api.STerm.STLocalVariable property) (chc.api.STerm.STNamedConstant property) (chc.app.CAttributes.CAttrCons property) (chc.app.CAttributes.CAttribute property) (chc.app.CCompInfo.CCompInfo property) (chc.app.CContext.CContextNode property) (chc.app.CEnumItem.CEnumItem property) (chc.app.CExp.CExpCnApp property) (chc.app.CFile.CFile property) (chc.app.CFileAssignment.GlobalAssignmentFunctionName property) (chc.app.CFileGlobals.CGCompTag property) (chc.app.CFunction.CFunction property) (chc.app.CLHost.CLHostVar property) (chc.app.CTyp.CFunArg property) (chc.app.CTyp.CTypComp property) (chc.app.CTyp.CTypEnum property) (chc.app.CTyp.CTypNamed property) (chc.app.CTypeInfo.CTypeInfo property) (chc.app.CTypsig.CTypsigComp property) (chc.app.CTypsig.CTypsigEnum property) (chc.cmdline.kendra.TestCFileRef.TestCFileRef property) (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) (chc.invariants.CVariableDenotation.CVAugmentationVariable property) (chc.invariants.CVMemoryBase.CVMemoryBaseUninterpreted property) (chc.invariants.CXSymbol.CXSymbol property) (chc.invariants.CXVariable.CXVariable property) (chc.jsoninterface.JSONSchema.JSONSchema property)

nodes (chc.app.CContext.CfgContext property) (chc.app.CContext.ExpContext property) non_relational_value (chc.invariants.CInvariantFact.CInvariantNRVFact property) normalize_filename() (chc.cmdline.ParseManager.ParseManager method)

O

objectmap() (chc.util.IndexedTable.IndexedTable method) objectmap_to_string() (chc.api.InterfaceDictionary.InterfaceDictionary method) (chc.app.CContextDictionary.CContextDictionary method) (chc.app.CDictionary.CDictionary method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CFunDeclarations.CFunDeclarations method) (chc.invariants.CFunInvDictionary.CFunInvDictionary method) (chc.invariants.CFunVarDictionary.CFunVarDictionary method) (chc.invariants.CFunXprDictionary.CFunXprDictionary method) (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) (chc.proof.CFunPODictionary.CFunPODictionary method) offset (chc.api.SOffset.STArgFieldOffset property) (chc.api.SOffset.STArgIndexOffset property) (chc.api.STerm.STArgAddressedValue property) (chc.api.STerm.STArgValue property) (chc.app.CInitInfo.COffsetInitInfo property) (chc.app.CLval.CLval property) (chc.app.COffset.CFieldOffset property) (chc.app.COffset.CIndexOffset property) (chc.invariants.CVariableDenotation.CVLocalVariable property) (chc.invariants.CVariableDenotation.CVMemoryVariable property) (chc.invariants.CVConstantValueVariable.CVVMemoryAddress property)

offset_initializers (chc.app.CInitInfo.CCompoundInitInfo property) offsetvalue (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) op (chc.api.STerm.STArithmeticExpr property) (chc.api.XPredicate.XRelationalExpr property) (chc.app.CAttributes.CAttrBinOp property) (chc.app.CAttributes.CAttrUnOp property) (chc.app.CExp.CExpBinOp property) (chc.app.CExp.CExpUnOp property) open_ppos (chc.proof.CFunctionProofs.CFunctionProofs property) open_spos (chc.proof.CFunctionProofs.CFunctionProofs property) operands (chc.invariants.CXXpr.CXXOp property) operator (chc.invariants.CXXpr.CXXOp property) opt_arg_typsigs_list() (chc.app.CTypsig.CTypsigFun method) opt_length (chc.app.CTypsig.CTypsigArray property) options() (chc.util.loggingutil.LogLevel class method) origin (chc.invariants.CVConstantValueVariable.CVVByteSequence property) (chc.invariants.CVConstantValueVariable.CVVTaintedValue property)

P

param (chc.app.CAttributes.CAttrAddrOf property) (chc.app.CAttributes.CAttrAlignOfE property) (chc.app.CAttributes.CAttrDot property) (chc.app.CAttributes.CAttrSizeOfE property) (chc.app.CAttributes.CAttrStar property) (chc.app.CAttributes.CAttrUnOp property) param1 (chc.app.CAttributes.CAttrBinOp property) (chc.app.CAttributes.CAttrIndex property) (chc.app.CAttributes.CAttrQuestion property) param2 (chc.app.CAttributes.CAttrBinOp property) (chc.app.CAttributes.CAttrIndex property) (chc.app.CAttributes.CAttrQuestion property) param3 (chc.app.CAttributes.CAttrQuestion property) parameter (chc.api.STerm.STArgValue property) params (chc.app.CAttributes.CAttrCons property) (chc.app.CAttributes.CAttribute property) parent (chc.app.CInstr.CAsmInput property) (chc.app.CInstr.CAsmOutput property) (chc.app.CInstr.CInstr property) (chc.app.CStmt.CStmt property) parse() (in module chc.cmdline.chkc) parse_cfiles() (chc.cmdline.ParseManager.ParseManager method) parse_ifile() (chc.cmdline.ParseManager.ParseManager method) parse_ifiles() (chc.cmdline.ParseManager.ParseManager method) parse_mathml_api_parameter() (chc.api.InterfaceDictionary.InterfaceDictionary method) parse_mathml_offset() (chc.api.InterfaceDictionary.InterfaceDictionary method) parse_mathml_term() (chc.api.InterfaceDictionary.InterfaceDictionary method) parse_mathml_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) parse_with_ccommands() (chc.cmdline.ParseManager.ParseManager method) parsemanager (chc.cmdline.kendra.TestManager.TestManager property) ParseManager (class in chc.cmdline.ParseManager) parseresults (chc.cmdline.kendra.TestResults.TestResults property) pd (chc.proof.CFilePredicateRecord.CFilePredicateRecord property) (chc.proof.CFunPODictionary.CFunPODictionary property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) pevresults (chc.cmdline.kendra.TestResults.TestResults property) po_ids (chc.invariants.CVariableDenotation.CVCheckVariable property) po_index (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunPODictionaryRecord.CFunPOType property) po_isppo_expnr_ids (chc.invariants.CVariableDenotation.CVCheckVariable property) po_macros (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetMacros property) pod (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRecord property) podictionary (chc.app.CFunction.CFunction property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunctionSPOs.CFunctionSPOs property) pointedto_type (chc.app.CTyp.CTypPtr property) pos_no_code_to_string() (chc.reporting.ProofObligations.FunctionDisplay method) pos_on_code_tostring() (chc.reporting.ProofObligations.FunctionDisplay method) posix (chc.cmdline.ParseManager.ParseManager property) PostAssume (class in chc.api.PostAssume) postassumes (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) postcondition (chc.api.PostAssume.PostAssume property) (chc.api.PostConditionRequest.PostConditionRequest property) (chc.api.PostRequest.PostRequest property) (chc.proof.SPOType.ReturnsiteSPOType property) PostConditionRequest (class in chc.api.PostConditionRequest) postconditions (chc.api.CFunctionContract.CFunctionContract property) PostconditionType (class in chc.proof.AssumptionType) postrequest (chc.api.PostConditionRequest.PostConditionRequest property) PostRequest (class in chc.api.PostRequest) postrequests (chc.api.CFunctionContract.CFunctionContract property) potype (chc.proof.CFunctionPO.CFunctionPO property) ppo_to_json_result() (in module chc.cmdline.jsonresultutil)

ppolist (chc.proof.CFunctionProofs.CFunctionProofs property) pporesults (chc.cmdline.kendra.TestResults.TestResults property) ppos (chc.api.ContractAssumption.ContractAssumption property) (chc.api.GlobalAssumption.GlobalAssumption property) (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) (chc.proof.CFunctionPPOs.CFunctionPPOs property) (chc.proof.CFunctionProofs.CFunctionProofs property) ppos_delegated (chc.proof.CFunctionProofs.CFunctionProofs property) ppos_violated (chc.proof.CFunctionProofs.CFunctionProofs property) PPOType (class in chc.proof.PPOType) precondition (chc.proof.PPOType.LibPPOType property) preconditions (chc.api.CFunctionContract.CFunctionContract property) predarg (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) predicate (chc.api.GlobalAssumption.GlobalAssumption property) (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) (chc.proof.AssumptionType.ApiAssumptionType property) (chc.proof.AssumptionType.GlobalApiAssumptionType property) (chc.proof.AssumptionType.LocalAssumptionType property) (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CFunPODictionaryRecord.CFunPOType property) (chc.proof.PPOType.LibPPOType property) (chc.proof.PPOType.ProgramPPOType property) (chc.proof.SPOType.CallsiteSPOType property) (chc.proof.SPOType.LocalSPOType property) (chc.proof.SPOType.ReturnsiteSPOType property) predicate_name (chc.proof.CFunctionPO.CFunctionPO property) (chc.proof.CPOPredicate.CPOPredicate property) predicatedictionary (chc.app.CFile.CFile property) predicates (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetMacros property) (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef property) preds (chc.app.CStmt.CStmt property) preprocess() (chc.cmdline.ParseManager.ParseManager method) preprocess_file_with_gcc() (chc.cmdline.ParseManager.ParseManager method) pretty() (chc.api.STerm.STArithmeticExpr method) (chc.api.STerm.STerm method) (chc.api.STerm.STNumConstant method) (chc.api.XPredicate.XPredicate method) (chc.api.XPredicate.XRelationalExpr method) print_error() (in module chc.cmdline.c_file.cfiletableutil) (in module chc.cmdline.c_file.cfileutil) (in module chc.cmdline.c_project.cprojectutil) (in module chc.cmdline.juliet.julietutil) (in module chc.cmdline.kendra.kendrautil) print_test_results() (chc.cmdline.kendra.TestManager.TestManager method) print_test_results_line_summary() (chc.cmdline.kendra.TestManager.TestManager method) print_test_results_summary() (chc.cmdline.kendra.TestManager.TestManager method) ProgramContext (class in chc.app.CContext) ProgramPPOType (class in chc.proof.PPOType) project_proofobligation_stats_dict_to_string() (in module chc.reporting.ProofObligations) project_proofobligation_stats_to_dict() (in module chc.reporting.ProofObligations) project_proofobligation_stats_tostring() (in module chc.reporting.ProofObligations) projectname (chc.app.CApplication.CApplication property) (chc.app.CFile.CFile property) (chc.app.CFunction.CFunction property) (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.cmdline.ParseManager.ParseManager property) (chc.proof.CFunctionProofs.CFunctionProofs property) projectpath (chc.app.CApplication.CApplication property) (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) proofobligation_stats_tostring() (in module chc.reporting.ProofObligations) proofs (chc.app.CFunction.CFunction property) ps_macros (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetMacros property)

R

read_cgc_summary_results() (in module chc.util.fileutil) read_juliet_test_summary() (in module chc.util.fileutil) read_project_summary_results() (in module chc.util.fileutil) read_project_summary_results_history() (in module chc.util.fileutil) read_xml() (chc.util.IndexedTable.IndexedTable method) (chc.util.StringIndexedTable.StringIndexedTable method) read_xml_assumption_type() (chc.proof.CFunPODictionary.CFunPODictionary method) read_xml_context() (chc.app.CContextDictionary.CContextDictionary method) read_xml_exp() (chc.app.CDictionary.CDictionary method) read_xml_exp_opt() (chc.app.CDictionary.CDictionary method) read_xml_funargs() (chc.app.CDictionary.CDictionary method) read_xml_location() (chc.app.CFileDeclarations.CFileDeclarations method) read_xml_postcondition() (chc.api.InterfaceDictionary.InterfaceDictionary method) read_xml_postrequest() (chc.api.InterfaceDictionary.InterfaceDictionary method) read_xml_ppo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) read_xml_predicate() (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) read_xml_spo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) read_xml_varinfo() (chc.app.CFileDeclarations.CFileDeclarations method) read_xml_xpredicate() (chc.api.InterfaceDictionary.InterfaceDictionary method) real_vid (chc.app.CVarInfo.CVarInfo property) realvalue (chc.app.CConst.CConstReal property) reason (chc.jsoninterface.JSONResult.JSONResult property) refd (chc.cmdline.kendra.TestCFileRef.TestCFileRef property) (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSetRef.TestSetRef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) reference_type (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) region (chc.invariants.CVMemoryBase.CVMemoryBaseFreed property) region_id (chc.invariants.CVMemoryBase.CVMemoryBaseAllocStackAddress property) (chc.invariants.CVMemoryBase.CVMemoryBaseHeapAddress property) regions (chc.invariants.CNonRelationalValue.CNRVRegionSet property) register_gcompinfo() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) register_tag() (chc.api.InterfaceDictionaryRecord.InterfaceDictionaryRegistry method) (chc.app.AssignDictionaryRecord.AssignDictionaryRegistry method) (chc.app.CDictionaryRecord.CDeclarationsRegistry method) (chc.app.CDictionaryRecord.CDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRegistry method) (chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRegistry method) (chc.proof.CFilePredicateRecord.CFilePredicateRegistry method) (chc.proof.CFunPODictionaryRecord.CFunPODictionaryRegistry method) reinitialize() (chc.api.InterfaceDictionary.InterfaceDictionary method) reinitialize_tables() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) reload_ppos() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) reload_spos() (chc.app.CApplication.CApplication method) (chc.app.CFile.CFile method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method)

remove_checkpoint() (chc.util.IndexedTable.IndexedTable method) remove_semantics() (chc.cmdline.ParseManager.ParseManager method) report_postconditions() (chc.api.CFileContracts.CFileContracts method) (chc.api.CFunctionContract.CFunctionContract method) report_preconditions() (chc.api.CFileContracts.CFileContracts method) (chc.api.CFunctionContract.CFunctionContract method) reportheader() (in module chc.reporting.reportutil) reserve() (chc.util.IndexedTable.IndexedTable method) reset() (chc.cmdline.AnalysisManager.AnalysisManager method) (chc.util.IndexedTable.IndexedTable method) (chc.util.IndexedTable.IndexedTableSuperclass method) (chc.util.StringIndexedTable.StringIndexedTable method) reset_conjectures() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) reset_contextdictionary() (chc.app.CFile.CFile method) reset_declarations() (chc.app.CFile.CFile method) reset_dictionary() (chc.app.CFile.CFile method) reset_interfacedictionary() (chc.app.CFile.CFile method) reset_logfiles() (chc.cmdline.AnalysisManager.AnalysisManager method) reset_ppos() (chc.proof.CFunctionProofs.CFunctionProofs method) reset_predicatedictionary() (chc.app.CFile.CFile method) reset_spos() (chc.proof.CFunctionProofs.CFunctionProofs method) reset_tables() (chc.cmdline.AnalysisManager.AnalysisManager method) reset_to_checkpoint() (chc.util.IndexedTable.IndexedTable method) resolve_default_function_prototypes() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) resolve_vid() (chc.app.IndexManager.IndexManager method) resolve_vid_function() (chc.app.CApplication.CApplication method) resource (chc.api.XPredicate.XControlledResource property) (chc.proof.CPOPredicate.CPOControlledResource property) restrictions (chc.cmdline.kendra.TestSetRef.TestSetRef property) retrieve() (chc.util.IndexedTable.IndexedTable method) (chc.util.StringIndexedTable.StringIndexedTable method) retrieve_by_key() (chc.util.IndexedTable.IndexedTable method) return_type (chc.app.CTyp.CTypFun property) returnsite_spos (chc.proof.CFunctionSPOs.CFunctionSPOs property) ReturnsiteSPOType (class in chc.proof.SPOType) returnval_typsig (chc.app.CTypsig.CTypsigFun property) revcallgraph (chc.app.CApplication.CApplication property) reverse_repr (chc.app.CContext.CfgContext property) rhs (chc.app.CFileAssignment.FieldAssignment property) (chc.app.CFileAssignment.GlobalAssignment property) (chc.app.CFileAssignment.GlobalIndexAssignment property) (chc.app.CFileAssignment.StaticAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.app.CFileAssignment.UnknownAssignment property) (chc.app.CInstr.CAssignInstr property) rhs() (chc.app.CFileAssignment.InitAssignment method) row_method_count_tostring() (in module chc.reporting.ProofObligations) rsignature (chc.api.CFunctionContract.CFunctionContract property) run_test() (in module chc.cmdline.kendra.kendrautil)

S

s_term_bool_expr_to_exp_index() (chc.app.CDictionary.CDictionary method) s_term_to_exp_index() (chc.app.CDictionary.CDictionary method) safe_controls (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef property) sanitize() (in module chc.util.xmlutil) save() (chc.cmdline.kendra.TestSetRef.TestSetRef method) save_api() (in module chc.util.fileutil) save_callgraph() (in module chc.util.fileutil) save_candidate_contracts_file() (in module chc.util.fileutil) save_cfile_interface_dictionary() (in module chc.util.fileutil) save_contracts_file() (in module chc.util.fileutil) save_cx_file() (in module chc.util.fileutil) save_declarations() (chc.app.CFile.CFile method) save_functionindex() (in module chc.util.fileutil) save_global_compinfos() (chc.linker.CLinker.CLinker method) save_global_xml_contract() (chc.api.CGlobalContract.CGlobalContract method) (in module chc.util.fileutil) save_interface_dictionary() (chc.app.CFile.CFile method) save_juliet_test_summary() (in module chc.util.fileutil) save_pod() (chc.app.CFunction.CFunction method) save_pod_file() (in module chc.util.fileutil) save_predicate_dictionary() (chc.app.CFile.CFile method) save_preserves_memory_functions() (in module chc.util.fileutil) save_project_summary_results() (in module chc.util.fileutil) save_project_summary_results_as_xml() (in module chc.util.fileutil) save_semantics() (chc.cmdline.ParseManager.ParseManager method) save_spo_file() (in module chc.util.fileutil) save_spos() (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) save_user_assumptions() (chc.app.CFile.CFile method) save_xml_file() (chc.cmdline.ParseManager.TargetFiles method) save_xrefs() (chc.app.IndexManager.IndexManager method) savedsourcepath (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) saveref (chc.cmdline.kendra.TestManager.TestManager property) sbody (chc.app.CFunction.CFunction property) schemaref (chc.jsoninterface.JSONResult.JSONResult property) score_test() (in module chc.cmdline.juliet.julietutil) scoreheader() (in module chc.cmdline.juliet.JulietTestScoring) selfignore() (chc.app.CFunction.CFunction method) seqnr (chc.invariants.CXSymbol.CXSymbol property) (chc.invariants.CXVariable.CXVariable property) set_checkpoint() (chc.util.IndexedTable.IndexedTable method) set_chkc_logger() (chc.util.loggingutil.CHKLogger method) set_defs() (chc.jsoninterface.JSONSchema.JSONSchema method) set_logging() (in module chc.cmdline.c_file.cfiletableutil) (in module chc.cmdline.c_file.cfileutil) (in module chc.cmdline.c_project.cprojectutil) (in module chc.cmdline.juliet.julietutil) (in module chc.cmdline.kendra.kendrautil) set_parsing() (chc.cmdline.kendra.TestResults.TestResults method) set_pevs() (chc.cmdline.kendra.TestResults.TestResults method) set_platform() (chc.cmdline.ParseManager.ParseManager method) set_ppos() (chc.cmdline.kendra.TestResults.TestResults method) (chc.cmdline.kendra.TestSetRef.TestSetRef method) set_sevs() (chc.cmdline.kendra.TestResults.TestResults method) set_spos() (chc.cmdline.kendra.TestResults.TestResults method) (chc.cmdline.kendra.TestSetRef.TestSetRef method) sevresults (chc.cmdline.kendra.TestResults.TestResults property) show_compinfos() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) showinfo() (in module chc.cmdline.chkc) showversion() (in module chc.cmdline.chkc) sid (chc.app.CStmt.CStmt property) sideeffects (chc.api.CFunctionContract.CFunctionContract property) signature (chc.api.CFunctionContract.CFunctionContract property) size (chc.api.XPredicate.XControlledResource property) (chc.app.CCompInfo.CCompInfo property) (chc.app.CFieldInfo.CFieldInfo property) (chc.app.CTyp.CTyp property) (chc.app.CTyp.CTypArray property) (chc.app.CTyp.CTypComp property) (chc.app.CTyp.CTypEnum property) (chc.app.CTyp.CTypFloat property) (chc.app.CTyp.CTypFun property) (chc.app.CTyp.CTypInt property) (chc.app.CTyp.CTypNamed property) (chc.app.CTyp.CTypPtr property) (chc.invariants.CNonRelationalValue.CNRVRegionSet property) (chc.proof.CPOPredicate.CPOBuffer property) (chc.proof.CPOPredicate.CPOInitializedRange property) (chc.proof.CPOPredicate.CPORevBuffer property) size() (chc.util.IndexedTable.IndexedTable method) (chc.util.IndexedTable.IndexedTableSuperclass method) (chc.util.StringIndexedTable.StringIndexedTable method)

SOffset (class in chc.api.SOffset) sourcecodeavailable (chc.reporting.ProofObligations.FunctionDisplay property) sourcefile (chc.app.CFile.CFile property) specfilename (chc.cmdline.kendra.TestSetRef.TestSetRef property) spo_violations (chc.proof.CFunctionProofs.CFunctionProofs property) spolist (chc.proof.CFunctionProofs.CFunctionProofs property) sporesults (chc.cmdline.kendra.TestResults.TestResults property) spos (chc.api.ContractAssumption.ContractAssumption property) (chc.api.GlobalAssumption.GlobalAssumption property) (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs property) (chc.proof.CFunctionProofs.CFunctionProofs property) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs property) (chc.proof.CFunctionSPOs.CFunctionSPOs property) SPOType (class in chc.proof.SPOType) srckind (chc.proof.CPOPredicate.CPOSignedToSignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToSignedCastUB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastUB property) (chc.proof.CPOPredicate.CPOUnsignedToSignedCast property) (chc.proof.CPOPredicate.CPOUnsignedToUnsignedCast property) srctyp (chc.proof.CPOPredicate.CPOCast property) (chc.proof.CPOPredicate.CPOFormatCast property) (chc.proof.CPOPredicate.CPOPointerCast property) STArgAddressedValue (class in chc.api.STerm) STArgFieldOffset (class in chc.api.SOffset) STArgIndexOffset (class in chc.api.SOffset) STArgNoOffset (class in chc.api.SOffset) STArgNullTerminatorPos (class in chc.api.STerm) STArgSizeOfType (class in chc.api.STerm) STArgValue (class in chc.api.STerm) STArithmeticExpr (class in chc.api.STerm) StaticAssignment (class in chc.app.CFileAssignment) StaticIndexAssignment (class in chc.app.CFileAssignment) status (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) (chc.jsoninterface.JSONResult.JSONResult property) (chc.proof.CFunctionPO.CFunctionPO property) STByteSize (class in chc.api.STerm) STChoiceValue (class in chc.api.STerm) STerm (class in chc.api.STerm) STFormattedOutputSize (class in chc.api.STerm) STIndexSize (class in chc.api.STerm) STLocalVariable (class in chc.api.STerm) stmt_count (chc.app.CFunction.CFunction property) (chc.app.CStmt.CStmt property) stmts (chc.app.CStmt.CBlock property) (chc.app.CStmt.CIfStmt property) (chc.app.CStmt.CLoopStmt property) (chc.app.CStmt.CStmt property) (chc.app.CStmt.CSwitchStmt property) STNamedConstant (class in chc.api.STerm) STNumConstant (class in chc.api.STerm) STRegion (class in chc.api.STerm) STReturnValue (class in chc.api.STerm) string (chc.invariants.CVMemoryBase.CVMemoryBaseStringLiteral property) string_length (chc.app.CConst.CStringConstant property) StringIndexedTable (class in chc.util.StringIndexedTable) strings (chc.app.CFunction.CFunction property) (chc.app.CInstr.CAssignInstr property) (chc.app.CInstr.CCallInstr property) (chc.app.CInstr.CInstr property) (chc.app.CStmt.CIfStmt property) (chc.app.CStmt.CStmt property) stringvalue (chc.app.CAttributes.CAttrStr property) (chc.app.CConst.CConstStr property) (chc.app.CConst.CConstWStr property) (chc.app.CConst.CStringConstant property) (chc.app.CExp.CExpSizeOfStr property) strip_attributes() (chc.app.CTyp.CTyp method) (chc.app.CTyp.CTypFun method) STRuntimeValue (class in chc.api.STerm) succs (chc.app.CStmt.CStmt property) suffix (chc.app.CAttributes.CAttrDot property) svar (chc.app.CFunction.CFunction property) symbol (chc.invariants.CXVariable.CXVariable property) symbols (chc.invariants.CNonRelationalValue.CNRVInitializedSet property) (chc.invariants.CNonRelationalValue.CNRVPolicyStateSet property) (chc.invariants.CXConstant.CXSymSet property)

T

table_to_string() (in module chc.app.CFileDeclarations) tag_file_function_pos_tostring() (in module chc.reporting.ProofObligations) tags (chc.util.IndexedTable.IndexedTableValue property) TargetFiles (class in chc.cmdline.ParseManager) targetpath (chc.app.CApplication.CApplication property) (chc.app.CFile.CFile property) (chc.app.CFunction.CFunction property) (chc.cmdline.AnalysisManager.AnalysisManager property) (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) (chc.proof.CFunctionProofs.CFunctionProofs property) targettype (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) templates (chc.app.CInstr.CAsmInstr property) term (chc.api.STerm.STArgAddressedValue property) (chc.api.STerm.STArgNullTerminatorPos property) (chc.api.STerm.STArgSizeOfType property) (chc.api.STerm.STByteSize property) (chc.api.STerm.STFormattedOutputSize property) (chc.api.STerm.STIndexSize property) (chc.api.STerm.STRegion property) (chc.api.XPredicate.XAllocationBase property) (chc.api.XPredicate.XBlockWrite property) (chc.api.XPredicate.XConfined property) (chc.api.XPredicate.XConstTerm property) (chc.api.XPredicate.XFormattedInput property) (chc.api.XPredicate.XFreed property) (chc.api.XPredicate.XGlobalAddress property) (chc.api.XPredicate.XHeapAddress property) (chc.api.XPredicate.XInitialized property) (chc.api.XPredicate.XInputFormatString property) (chc.api.XPredicate.XInvalidated property) (chc.api.XPredicate.XNewMemory property) (chc.api.XPredicate.XNonNegative property) (chc.api.XPredicate.XNotNull property) (chc.api.XPredicate.XNotZero property) (chc.api.XPredicate.XNull property) (chc.api.XPredicate.XNullTerminated property) (chc.api.XPredicate.XOutputFormatString property) (chc.api.XPredicate.XPreservesMemory property) (chc.api.XPredicate.XPreservesNullTermination property) (chc.api.XPredicate.XPreservesValidity property) (chc.api.XPredicate.XPreservesValue property) (chc.api.XPredicate.XRepositioned property) (chc.api.XPredicate.XStackAddress property) (chc.api.XPredicate.XTainted property) (chc.api.XPredicate.XUniquePointer property) (chc.api.XPredicate.XValidMem property) term1 (chc.api.STerm.STArithmeticExpr property) (chc.api.XPredicate.XNoOverlap property) (chc.api.XPredicate.XRelationalExpr property) term2 (chc.api.STerm.STArithmeticExpr property) (chc.api.XPredicate.XNoOverlap property) (chc.api.XPredicate.XRelationalExpr property) termlb (chc.api.STerm.STChoiceValue property) terms (chc.api.XPredicate.XPreservesAllMemoryX property) termub (chc.api.STerm.STChoiceValue property) test (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef property) (chc.cmdline.juliet.JulietTestRef.JulietTestRef property) test_parser() (chc.cmdline.kendra.TestManager.TestManager method) test_ppo_proofs() (chc.cmdline.kendra.TestManager.TestManager method) test_ppos() (chc.cmdline.kendra.TestManager.TestManager method) test_spo_proofs() (chc.cmdline.kendra.TestManager.TestManager method) test_spos() (chc.cmdline.kendra.TestManager.TestManager method) testcfileref (chc.cmdline.kendra.TestCFunctionRef.TestCFunctionRef property) TestCFileRef (class in chc.cmdline.kendra.TestCFileRef) testcfunctionref (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) TestCFunctionRef (class in chc.cmdline.kendra.TestCFunctionRef) testfileref (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) TestManager (class in chc.cmdline.kendra.TestManager) testname (chc.cmdline.kendra.TestManager.TestManager property) testppo_calls_tostring() (in module chc.cmdline.juliet.JulietTestScoring) testppo_results_tostring() (in module chc.cmdline.juliet.JulietTestScoring) TestPPORef (class in chc.cmdline.kendra.TestPPORef) testref (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef property) testresults (chc.cmdline.kendra.TestManager.TestManager property) TestResults (class in chc.cmdline.kendra.TestResults) tests (chc.cmdline.juliet.JulietTestSetRef.JulietTestSetRef property) testsetref (chc.cmdline.juliet.JulietTestRef.JulietTestRef property) (chc.cmdline.kendra.TestCFileRef.TestCFileRef property) (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.kendra.TestResults.TestResults property) TestSetRef (class in chc.cmdline.kendra.TestSetRef) TestSPORef (class in chc.cmdline.kendra.TestSPORef) testsummary_tostring() (in module chc.cmdline.juliet.JulietTestScoring) tgt_status (chc.cmdline.kendra.TestPPORef.TestPPORef property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) tgtkind (chc.proof.CPOPredicate.CPOSignedToSignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToSignedCastUB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastLB property) (chc.proof.CPOPredicate.CPOSignedToUnsignedCastUB property) (chc.proof.CPOPredicate.CPOUnsignedToSignedCast property) (chc.proof.CPOPredicate.CPOUnsignedToUnsignedCast property)

tgtkind() (chc.proof.CPOPredicate.CPOPredicate method) tgtplatform (chc.cmdline.ParseManager.ParseManager property) tgttyp (chc.proof.CPOPredicate.CPOCast property) (chc.proof.CPOPredicate.CPOFormatCast property) (chc.proof.CPOPredicate.CPOPointerCast property) timing() (in module chc.cmdline.c_project.cprojectutil) (in module chc.cmdline.juliet.julietutil) to_dict() (chc.app.CExp.CExp method) (chc.app.CExp.CExpAddrOf method) (chc.app.CExp.CExpAddrOfLabel method) (chc.app.CExp.CExpAlignOf method) (chc.app.CExp.CExpAlignOfE method) (chc.app.CExp.CExpBinOp method) (chc.app.CExp.CExpCastE method) (chc.app.CExp.CExpConst method) (chc.app.CExp.CExpLval method) (chc.app.CExp.CExpQuestion method) (chc.app.CExp.CExpSizeOf method) (chc.app.CExp.CExpSizeOfE method) (chc.app.CExp.CExpSizeOfStr method) (chc.app.CExp.CExpStartOf method) (chc.app.CExp.CExpUnOp method) (chc.app.CLHost.CLHost method) (chc.app.CLHost.CLHostMem method) (chc.app.CLHost.CLHostVar method) (chc.app.CLval.CLval method) (chc.app.COffset.CFieldOffset method) (chc.app.COffset.CIndexOffset method) (chc.app.COffset.CNoOffset method) (chc.app.COffset.COffset method) (chc.app.CTyp.CFunArg method) (chc.app.CTyp.CFunArgs method) (chc.app.CTyp.CTyp method) (chc.app.CTyp.CTypArray method) (chc.app.CTyp.CTypBuiltinVaargs method) (chc.app.CTyp.CTypComp method) (chc.app.CTyp.CTypEnum method) (chc.app.CTyp.CTypFloat method) (chc.app.CTyp.CTypFun method) (chc.app.CTyp.CTypInt method) (chc.app.CTyp.CTypNamed method) (chc.app.CTyp.CTypPtr method) (chc.app.CTyp.CTypVoid method) to_idict() (chc.app.CExp.CExp method) (chc.app.CLval.CLval method) (chc.app.CTyp.CTyp method) to_json() (chc.jsoninterface.JSONSchema.JSONSchema method) totals_to_presentation_string() (in module chc.reporting.ProofObligations) totals_to_string() (in module chc.reporting.ProofObligations) true_exp (chc.app.CExp.CExpQuestion property) tuple (chc.app.IndexManager.FileVarReference property) typ (chc.app.CAttributes.CAttrAlignOf property) (chc.app.CAttributes.CAttrSizeOf property) (chc.app.CExp.CExpAlignOf property) (chc.app.CExp.CExpBinOp property) (chc.app.CExp.CExpCastE property) (chc.app.CExp.CExpCnApp property) (chc.app.CExp.CExpQuestion property) (chc.app.CExp.CExpSizeOf property) (chc.app.CExp.CExpUnOp property) (chc.app.CInitInfo.CCompoundInitInfo property) (chc.app.CTyp.CFunArg property) (chc.invariants.CVariableDenotation.CVCheckVariable property) (chc.invariants.CVariableDenotation.CVReturnVariable property) (chc.invariants.CVConstantValueVariable.CVVExpSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVInitialValue property) (chc.invariants.CVConstantValueVariable.CVVSideEffectValue property) (chc.invariants.CVConstantValueVariable.CVVSymbolicValue property) (chc.invariants.CVConstantValueVariable.CVVTaintedValue property) (chc.invariants.CVMemoryReferenceData.CVMemoryReferenceData property) (chc.proof.CPOPredicate.CPOLowerBound property) (chc.proof.CPOPredicate.CPOPtrLowerBound property) (chc.proof.CPOPredicate.CPOPtrUpperBound property) (chc.proof.CPOPredicate.CPOPtrUpperBoundDeref property) (chc.proof.CPOPredicate.CPOTypeAtOffset property) (chc.proof.CPOPredicate.CPOUpperBound property) type (chc.app.CTypeInfo.CTypeInfo property) (chc.cmdline.kendra.TestSPORef.TestSPORef property) typeinfo (chc.app.CFileGlobals.CGType attribute) typsig (chc.app.CAttributes.CAttrAlignOfS property) (chc.app.CAttributes.CAttrSizeOfS property) (chc.app.CTypsig.CTypsigArray property) (chc.app.CTypsig.CTypsigPtr property) typsig_list (chc.app.CTypsig.CTypsigList property)

U

union() (chc.util.UnionFind.UnionFind method) UnionFind (class in chc.util.UnionFind) UnknownAssignment (class in chc.app.CFileAssignment) unpack_cchtar_file() (in module chc.util.fileutil) unpack_tar_file() (in module chc.util.fileutil) update() (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method)

update_spos() (chc.app.CApplication.CApplication method) (chc.app.CFunction.CFunction method) (chc.proof.CFunctionProofs.CFunctionProofs method) upper_bound (chc.api.XPredicate.XTainted property) upperbound (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) (chc.invariants.CNonRelationalValue.CNRVIntervalValue property) (chc.invariants.CVConstantValueVariable.CVVTaintedValue property)

V

vaddrof (chc.app.CVarInfo.CVarInfo property) value (chc.invariants.CNonRelationalValue.CNRVIntervalValue property) (chc.invariants.CXNumerical.CXNumerical property) value_from_hex() (in module chc.util.StringIndexedTable) values() (chc.util.IndexedTable.IndexedTable method) vard (chc.invariants.CFunInvariantTable.CFunInvariantTable property) vardictionary (chc.app.CFunction.CFunction property) variable (chc.invariants.CInvariantFact.CInvariantNRVFact property) (chc.invariants.CVConstantValueVariable.CVVInitialValue property) (chc.invariants.CVMemoryBase.CVMemoryBaseBaseVar property) (chc.invariants.CVMemoryBase.CVMemoryBaseGlobalAddress property) (chc.invariants.CVMemoryBase.CVMemoryBaseStackAddress property) (chc.invariants.CXXpr.CXXVar property) variable_derefs (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) variable_names (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) variable_names_plus (chc.cmdline.juliet.JulietTestFileRef.JulietPpo property) varinfo (chc.app.CFileGlobals.CGFunction attribute) (chc.app.CFileGlobals.CGVarDecl attribute) (chc.app.CFileGlobals.CGVarDef attribute) (chc.invariants.CVariableDenotation.CVGlobalVariable property) (chc.invariants.CVariableDenotation.CVLocalVariable property) varinfo_storage_classes (chc.app.CDeclarations.CDeclarations property) (chc.app.CGlobalDeclarations.CGlobalDeclarations property) varinfo_to_exp_index() (chc.app.CDictionary.CDictionary method) varinfo_values() (chc.app.CGlobalDeclarations.CGlobalDeclarations method) varinfos (chc.app.CFunDeclarations.CFunDeclarations property) (chc.app.CGXrefs.CGXrefs property) varinfoxrefs (chc.linker.CLinker.CLinker property) VarReference (class in chc.app.IndexManager) vd (chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRecord property) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord property) (chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord property) (chc.invariants.CFunInvDictionary.CFunInvDictionary property) (chc.invariants.CFunXprDictionary.CFunXprDictionary property)

vdecl (chc.app.CVarInfo.CVarInfo property) verbose (chc.cmdline.kendra.TestManager.TestManager property) (chc.cmdline.ParseManager.ParseManager property) vglob (chc.app.CVarInfo.CVarInfo property) vid (chc.app.CFileAssignment.GlobalAssignment property) (chc.app.CFileAssignment.InitAssignment property) (chc.app.CFileAssignment.StaticAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.app.CLHost.CLHostVar property) (chc.app.CVarInfo.CVarInfo property) (chc.app.IndexManager.FileVarReference attribute) (chc.app.IndexManager.VarReference attribute) vid2gvid (chc.app.CGlobalDeclarations.CGlobalDeclarations property) vinit (chc.app.CVarInfo.CVarInfo property) vinline (chc.app.CVarInfo.CVarInfo property) violates_contract_conditions() (chc.app.CFunction.CFunction method) violations (chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef property) vname (chc.app.CFileAssignment.GlobalAssignment property) (chc.app.CFileAssignment.GlobalIndexAssignment property) (chc.app.CFileAssignment.InitAssignment property) (chc.app.CFileAssignment.StaticAssignment property) (chc.app.CFileAssignment.StaticIndexAssignment property) (chc.app.CFileGlobals.CGFunction property) (chc.app.CFileGlobals.CGVarDecl property) (chc.app.CFileGlobals.CGVarDef property) (chc.app.CVarInfo.CVarInfo property) vparam (chc.app.CVarInfo.CVarInfo property) vstorage (chc.app.CVarInfo.CVarInfo property) vtype (chc.app.CFileGlobals.CGFunction property) (chc.app.CVarInfo.CVarInfo property)

W

warning (chc.util.loggingutil.LogLevel attribute) wrap() (chc.util.fileutil.CHError method) write_mathml() (chc.api.XPredicate.XFalse method) (chc.api.XPredicate.XInitialized method) (chc.api.XPredicate.XNonNegative method) (chc.api.XPredicate.XNotNull method) (chc.api.XPredicate.XNotZero method) (chc.api.XPredicate.XPredicate method) (chc.api.XPredicate.XRelationalExpr method) write_xml() (chc.api.InterfaceDictionary.InterfaceDictionary method) (chc.app.CDictionary.CDictionary method) (chc.app.CFileDeclarations.CFileDeclarations method) (chc.app.CGlobalDeclarations.CGlobalDeclarations method) (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) (chc.proof.CFunctionCallsiteSPOs.CFunctionCallsiteSPOs method) (chc.proof.CFunctionPO.CFunctionPO method) (chc.proof.CFunctionReturnsiteSPO.CFunctionReturnsiteSPO method) (chc.proof.CFunctionReturnsiteSPOs.CFunctionReturnsiteSPOs method) (chc.proof.CFunctionSPOs.CFunctionSPOs method) (chc.proof.CFunPODictionary.CFunPODictionary method) (chc.proof.CProofDependencies.CProofDependencies method) (chc.proof.CProofDiagnostic.CProofDiagnostic method) (chc.util.IndexedTable.IndexedTable method) (chc.util.IndexedTable.IndexedTableValue method) (chc.util.StringIndexedTable.StringIndexedTable method)

write_xml_context() (chc.app.CContextDictionary.CContextDictionary method) write_xml_exp() (chc.app.CDictionary.CDictionary method) write_xml_exp_opt() (chc.app.CDictionary.CDictionary method) write_xml_location() (chc.app.CFileDeclarations.CFileDeclarations method) write_xml_postcondition() (chc.api.InterfaceDictionary.InterfaceDictionary method) write_xml_predicate() (chc.proof.CFilePredicateDictionary.CFilePredicateDictionary method) write_xml_spo_type() (chc.proof.CFunPODictionary.CFunPODictionary method) write_xml_varinfo() (chc.app.CFileDeclarations.CFileDeclarations method) writexml() (chc.app.CTyp.CTyp method)

X

XAllocationBase (class in chc.api.XPredicate) XBlockWrite (class in chc.api.XPredicate) XBuffer (class in chc.api.XPredicate) xcfile_exists() (chc.cmdline.kendra.TestManager.TestManager method) XConfined (class in chc.api.XPredicate) XConstTerm (class in chc.api.XPredicate) XControlledResource (class in chc.api.XPredicate) xd (chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRecord property) (chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord property) (chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord property) (chc.invariants.CFunInvDictionary.CFunInvDictionary property) (chc.invariants.CFunVarDictionary.CFunVarDictionary property) XFalse (class in chc.api.XPredicate) xffile_exists() (chc.cmdline.kendra.TestManager.TestManager method) xfileresults (chc.cmdline.kendra.TestResults.TestResults property) xfind_node() (in module chc.app.CFileDeclarations) (in module chc.util.fileutil) XFormattedInput (class in chc.api.XPredicate) XFreed (class in chc.api.XPredicate) XFunctional (class in chc.api.XPredicate) xget_attr() (in module chc.app.CFileDeclarations) (in module chc.util.fileutil) xget_int_attr() (in module chc.app.CFileDeclarations) (in module chc.util.fileutil) XGlobalAddress (class in chc.api.XPredicate) XHeapAddress (class in chc.api.XPredicate) XInitialized (class in chc.api.XPredicate) XInitializedRange (class in chc.api.XPredicate) XInputFormatString (class in chc.api.XPredicate) XInvalidated (class in chc.api.XPredicate) XmlFileNotFoundError xmsg() (chc.app.CFunction.CFunction method)

XNewMemory (class in chc.api.XPredicate) XNonNegative (class in chc.api.XPredicate) XNoOverlap (class in chc.api.XPredicate) XNotNull (class in chc.api.XPredicate) XNotZero (class in chc.api.XPredicate) XNull (class in chc.api.XPredicate) XNullTerminated (class in chc.api.XPredicate) XOutputFormatString (class in chc.api.XPredicate) xpr (chc.invariants.CInvariantFact.CParameterConstraint property) (chc.invariants.CNonRelationalValue.CNRVBaseOffsetValue property) (chc.invariants.CNonRelationalValue.CNRVSymbolicExpr property) (chc.invariants.CVConstantValueVariable.CVVSymbolicValue property) (chc.invariants.CXXpr.CXXAttr property) xpredicate (chc.api.ContractAssumption.ContractAssumption property) (chc.proof.AssumptionType.GlobalAssumptionType property) (chc.proof.AssumptionType.PostconditionType property) XPredicate (class in chc.api.XPredicate) XPreservesAllMemory (class in chc.api.XPredicate) XPreservesAllMemoryX (class in chc.api.XPredicate) XPreservesMemory (class in chc.api.XPredicate) XPreservesNullTermination (class in chc.api.XPredicate) XPreservesValidity (class in chc.api.XPredicate) XPreservesValue (class in chc.api.XPredicate) xprlists (chc.invariants.CXXpr.CXprListList property) xprs (chc.invariants.CXXpr.CXprList property) XRelationalExpr (class in chc.api.XPredicate) XRepositioned (class in chc.api.XPredicate) XRevBuffer (class in chc.api.XPredicate) xskind (chc.app.CStmt.CStmt property) XStackAddress (class in chc.api.XPredicate) XTainted (class in chc.api.XPredicate) XUniquePointer (class in chc.api.XPredicate) XValidMem (class in chc.api.XPredicate)