All modules for which code is available
- 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.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.CFunDeclarations
- chc.app.CFunction
- chc.app.CGXrefs
- chc.app.CGlobalDeclarations
- chc.app.CGlobalDictionary
- 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.AnalysisManager
- chc.cmdline.ParseManager
- chc.cmdline.c_file.cfiletableutil
- chc.cmdline.c_file.cfileutil
- chc.cmdline.c_project.cprojectutil
- chc.cmdline.chkc
- chc.cmdline.jsonresultutil
- chc.cmdline.juliet.JulietTestFileRef
- chc.cmdline.juliet.JulietTestRef
- chc.cmdline.juliet.JulietTestScoring
- chc.cmdline.juliet.JulietTestSetRef
- chc.cmdline.juliet.julietutil
- chc.cmdline.kendra.TestCFileRef
- chc.cmdline.kendra.TestCFunctionRef
- chc.cmdline.kendra.TestManager
- chc.cmdline.kendra.TestPPORef
- chc.cmdline.kendra.TestResults
- chc.cmdline.kendra.TestSPORef
- chc.cmdline.kendra.TestSetRef
- chc.cmdline.kendra.kendrautil
- chc.invariants.CFunDictionaryRecord
- chc.invariants.CFunInvDictionary
- chc.invariants.CFunInvariantTable
- chc.invariants.CFunVarDictionary
- chc.invariants.CFunXprDictionary
- chc.invariants.CInvariantFact
- chc.invariants.CNonRelationalValue
- chc.invariants.CVConstantValueVariable
- chc.invariants.CVMemoryBase
- chc.invariants.CVMemoryReferenceData
- chc.invariants.CVariableDenotation
- chc.invariants.CXConstant
- chc.invariants.CXNumerical
- chc.invariants.CXSymbol
- chc.invariants.CXVariable
- chc.invariants.CXXpr
- chc.jsoninterface.JSONResult
- chc.jsoninterface.JSONSchema
- chc.linker.CLinker
- chc.linker.CompCompatibility
- chc.proof.AssumptionType
- chc.proof.CFilePredicateDictionary
- chc.proof.CFilePredicateRecord
- chc.proof.CFunPODictionary
- chc.proof.CFunPODictionaryRecord
- 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.CPOPredicate
- chc.proof.CProofDependencies
- chc.proof.CProofDiagnostic
- chc.proof.PPOType
- chc.proof.SPOType
- chc.reporting.ProofObligations
- chc.reporting.reportutil
- chc.source.CSrcFile
- chc.util.Config
- chc.util.IndexedTable
- chc.util.StringIndexedTable
- chc.util.UnionFind
- chc.util.fileutil
- chc.util.loggingutil
- chc.util.xmlutil