├── .github └── workflows │ ├── run_mypy.yaml │ ├── run_pycodestyle.yaml │ └── sphinx_docs.yaml ├── .gitignore ├── LICENSE ├── README.md ├── chc ├── __init__.py ├── api │ ├── ApiAssumption.py │ ├── ApiParameter.py │ ├── CFileContracts.py │ ├── CFunctionApi.py │ ├── CFunctionContract.py │ ├── CGlobalContract.py │ ├── ContractAssumption.py │ ├── FieldAssignment.py │ ├── GlobalAssumption.py │ ├── InterfaceDictionary.py │ ├── InterfaceDictionaryRecord.py │ ├── PostAssume.py │ ├── PostConditionRequest.py │ ├── PostRequest.py │ ├── SOffset.py │ ├── STerm.py │ ├── XPredicate.py │ └── __init__.py ├── app │ ├── AssignDictionaryRecord.py │ ├── CApplication.py │ ├── CAttributes.py │ ├── CCompInfo.py │ ├── CConst.py │ ├── CContext.py │ ├── CContextDictionary.py │ ├── CDeclarations.py │ ├── CDictionary.py │ ├── CDictionaryRecord.py │ ├── CEnumInfo.py │ ├── CEnumItem.py │ ├── CExp.py │ ├── CFieldInfo.py │ ├── CFile.py │ ├── CFileAssignment.py │ ├── CFileAssignmentDictionary.py │ ├── CFileDeclarations.py │ ├── CFileDictionary.py │ ├── CFileGlobals.py │ ├── CFunDeclarations.py │ ├── CFunction.py │ ├── CGXrefs.py │ ├── CGlobalDeclarations.py │ ├── CGlobalDictionary.py │ ├── CHVersion.py │ ├── CInitInfo.py │ ├── CInstr.py │ ├── CLHost.py │ ├── CLocation.py │ ├── CLval.py │ ├── COffset.py │ ├── CPrettyPrinter.py │ ├── CStmt.py │ ├── CTyp.py │ ├── CTypeInfo.py │ ├── CTypsig.py │ ├── CVarInfo.py │ ├── CVisitor.py │ ├── IndexManager.py │ └── __init__.py ├── bin │ ├── linux │ │ └── README.md │ └── macOS │ │ └── README.md ├── cmdline │ ├── AnalysisManager.py │ ├── ParseManager.py │ ├── __init__.py │ ├── c_file │ │ ├── __init__.py │ │ ├── cfiletableutil.py │ │ └── cfileutil.py │ ├── c_project │ │ ├── README.md │ │ ├── __init__.py │ │ └── cprojectutil.py │ ├── chkc │ ├── chkc.py │ ├── jsonresultutil.py │ ├── juliet │ │ ├── JulietTestFileRef.py │ │ ├── JulietTestRef.py │ │ ├── JulietTestScoring.py │ │ ├── JulietTestSetRef.py │ │ ├── README.md │ │ ├── __init__.py │ │ ├── docexamples │ │ │ └── variants.txt │ │ └── julietutil.py │ └── kendra │ │ ├── TestCFileRef.py │ │ ├── TestCFunctionRef.py │ │ ├── TestManager.py │ │ ├── TestPPORef.py │ │ ├── TestResults.py │ │ ├── TestSPORef.py │ │ ├── TestSetRef.py │ │ ├── __init__.py │ │ └── kendrautil.py ├── invariants │ ├── CFunDictionaryRecord.py │ ├── CFunInvDictionary.py │ ├── CFunInvariantTable.py │ ├── CFunVarDictionary.py │ ├── CFunXprDictionary.py │ ├── CInvariantFact.py │ ├── CNonRelationalValue.py │ ├── CVConstantValueVariable.py │ ├── CVMemoryBase.py │ ├── CVMemoryReferenceData.py │ ├── CVariableDenotation.py │ ├── CXConstant.py │ ├── CXNumerical.py │ ├── CXSymbol.py │ ├── CXVariable.py │ ├── CXXpr.py │ └── __init__.py ├── jsoninterface │ ├── JSONResult.py │ ├── JSONSchema.py │ └── __init__.py ├── linker │ ├── CLinker.py │ ├── CompCompatibility.py │ └── __init__.py ├── proof │ ├── AssumptionType.py │ ├── CFilePredicateDictionary.py │ ├── CFilePredicateRecord.py │ ├── CFunPODictionary.py │ ├── CFunPODictionaryRecord.py │ ├── CFunctionCallsiteSPO.py │ ├── CFunctionCallsiteSPOs.py │ ├── CFunctionLocalSPO.py │ ├── CFunctionPO.py │ ├── CFunctionPPO.py │ ├── CFunctionPPOs.py │ ├── CFunctionProofs.py │ ├── CFunctionReturnsiteSPO.py │ ├── CFunctionReturnsiteSPOs.py │ ├── CFunctionSPOs.py │ ├── CPOPredicate.py │ ├── CProofDependencies.py │ ├── CProofDiagnostic.py │ ├── PPOType.py │ ├── SPOType.py │ └── __init__.py ├── reporting │ ├── ProofObligations.py │ ├── __init__.py │ └── reportutil.py ├── source │ ├── CSrcFile.py │ └── __init__.py ├── summaries │ └── cchsummaries.jar └── util │ ├── Config.py │ ├── ConfigLocal.template │ ├── IndexedTable.py │ ├── StringIndexedTable.py │ ├── UnionFind.py │ ├── __init__.py │ ├── api.xpm │ ├── checkvalid.xpm │ ├── ds.xpm │ ├── fileutil.py │ ├── global.xpm │ ├── info.xpm │ ├── invariants.xpm │ ├── loggingutil.py │ ├── opaque.xpm │ ├── openpo.xpm │ ├── openwithdiags.xpm │ ├── reduced.xpm │ ├── rv.xpm │ ├── unreachable.xpm │ ├── violation.xpm │ └── xmlutil.py ├── docs └── source │ ├── .gitignore │ ├── Makefile │ ├── _static │ └── css │ │ └── codehawkc-html.css │ ├── _templates │ ├── custom-class-template.rst │ └── custom-module-template.rst │ ├── chc.api.ApiAssumption.rst │ ├── chc.api.ApiParameter.rst │ ├── chc.api.CFileContracts.rst │ ├── chc.api.CFunctionContract.rst │ ├── chc.api.CGlobalContract.rst │ ├── chc.api.ContractAssumption.rst │ ├── chc.api.FieldAssignment.rst │ ├── chc.api.GlobalAssumption.rst │ ├── chc.api.InterfaceDictionary.rst │ ├── chc.api.InterfaceDictionaryRecord.rst │ ├── chc.api.PostAssume.rst │ ├── chc.api.PostConditionRequest.rst │ ├── chc.api.PostRequest.rst │ ├── chc.api.SOffset.rst │ ├── chc.api.STerm.rst │ ├── chc.api.XPredicate.rst │ ├── chc.api.rst │ ├── chc.app.AssignDictionaryRecord.rst │ ├── chc.app.CApplication.rst │ ├── chc.app.CAttributes.rst │ ├── chc.app.CCompInfo.rst │ ├── chc.app.CConst.rst │ ├── chc.app.CContext.rst │ ├── chc.app.CContextDictionary.rst │ ├── chc.app.CDeclarations.rst │ ├── chc.app.CDictionary.rst │ ├── chc.app.CDictionaryRecord.rst │ ├── chc.app.CEnumInfo.rst │ ├── chc.app.CEnumItem.rst │ ├── chc.app.CExp.rst │ ├── chc.app.CFieldInfo.rst │ ├── chc.app.CFile.rst │ ├── chc.app.CFileAssignment.rst │ ├── chc.app.CFileAssignmentDictionary.rst │ ├── chc.app.CFileDeclarations.rst │ ├── chc.app.CFileDictionary.rst │ ├── chc.app.CFileGlobals.rst │ ├── chc.app.CFunDeclarations.rst │ ├── chc.app.CFunction.rst │ ├── chc.app.CGXrefs.rst │ ├── chc.app.CGlobalDeclarations.rst │ ├── chc.app.CGlobalDictionary.rst │ ├── chc.app.CHVersion.rst │ ├── chc.app.CInitInfo.rst │ ├── chc.app.CInstr.rst │ ├── chc.app.CLHost.rst │ ├── chc.app.CLocation.rst │ ├── chc.app.CLval.rst │ ├── chc.app.COffset.rst │ ├── chc.app.CStmt.rst │ ├── chc.app.CTyp.rst │ ├── chc.app.CTypeInfo.rst │ ├── chc.app.CTypsig.rst │ ├── chc.app.CVarInfo.rst │ ├── chc.app.IndexManager.rst │ ├── chc.app.rst │ ├── chc.cmdline.AnalysisManager.rst │ ├── chc.cmdline.ParseManager.rst │ ├── chc.cmdline.c_file.cfiletableutil.rst │ ├── chc.cmdline.c_file.cfileutil.rst │ ├── chc.cmdline.c_file.rst │ ├── chc.cmdline.c_project.cprojectutil.rst │ ├── chc.cmdline.c_project.rst │ ├── chc.cmdline.chkc.rst │ ├── chc.cmdline.jsonresultutil.rst │ ├── chc.cmdline.juliet.JulietTestFileRef.rst │ ├── chc.cmdline.juliet.JulietTestRef.rst │ ├── chc.cmdline.juliet.JulietTestScoring.rst │ ├── chc.cmdline.juliet.JulietTestSetRef.rst │ ├── chc.cmdline.juliet.julietutil.rst │ ├── chc.cmdline.juliet.rst │ ├── chc.cmdline.kendra.TestCFileRef.rst │ ├── chc.cmdline.kendra.TestCFunctionRef.rst │ ├── chc.cmdline.kendra.TestManager.rst │ ├── chc.cmdline.kendra.TestPPORef.rst │ ├── chc.cmdline.kendra.TestResults.rst │ ├── chc.cmdline.kendra.TestSPORef.rst │ ├── chc.cmdline.kendra.TestSetRef.rst │ ├── chc.cmdline.kendra.kendrautil.rst │ ├── chc.cmdline.kendra.rst │ ├── chc.cmdline.rst │ ├── chc.invariants.CFunDictionaryRecord.rst │ ├── chc.invariants.CFunInvDictionary.rst │ ├── chc.invariants.CFunInvariantTable.rst │ ├── chc.invariants.CFunVarDictionary.rst │ ├── chc.invariants.CFunXprDictionary.rst │ ├── chc.invariants.CInvariantFact.rst │ ├── chc.invariants.CNonRelationalValue.rst │ ├── chc.invariants.CVConstantValueVariable.rst │ ├── chc.invariants.CVMemoryBase.rst │ ├── chc.invariants.CVMemoryReferenceData.rst │ ├── chc.invariants.CVariableDenotation.rst │ ├── chc.invariants.CXConstant.rst │ ├── chc.invariants.CXNumerical.rst │ ├── chc.invariants.CXSymbol.rst │ ├── chc.invariants.CXVariable.rst │ ├── chc.invariants.CXXpr.rst │ ├── chc.invariants.rst │ ├── chc.jsoninterface.JSONResult.rst │ ├── chc.jsoninterface.JSONSchema.rst │ ├── chc.jsoninterface.rst │ ├── chc.linker.CLinker.rst │ ├── chc.linker.CompCompatibility.rst │ ├── chc.linker.rst │ ├── chc.proof.AssumptionType.rst │ ├── chc.proof.CFilePredicateDictionary.rst │ ├── chc.proof.CFilePredicateRecord.rst │ ├── chc.proof.CFunPODictionary.rst │ ├── chc.proof.CFunPODictionaryRecord.rst │ ├── chc.proof.CFunctionCallsiteSPO.rst │ ├── chc.proof.CFunctionCallsiteSPOs.rst │ ├── chc.proof.CFunctionLocalSPO.rst │ ├── chc.proof.CFunctionPO.rst │ ├── chc.proof.CFunctionPPO.rst │ ├── chc.proof.CFunctionPPOs.rst │ ├── chc.proof.CFunctionProofs.rst │ ├── chc.proof.CFunctionReturnsiteSPO.rst │ ├── chc.proof.CFunctionReturnsiteSPOs.rst │ ├── chc.proof.CFunctionSPOs.rst │ ├── chc.proof.CPOPredicate.rst │ ├── chc.proof.CProofDependencies.rst │ ├── chc.proof.CProofDiagnostic.rst │ ├── chc.proof.PPOType.rst │ ├── chc.proof.SPOType.rst │ ├── chc.proof.rst │ ├── chc.reporting.rst │ ├── chc.rst │ ├── chc.source.rst │ ├── chc.util.Config.rst │ ├── chc.util.IndexedTable.rst │ ├── chc.util.StringIndexedTable.rst │ ├── chc.util.UnionFind.rst │ ├── chc.util.fileutil.rst │ ├── chc.util.loggingutil.rst │ ├── chc.util.rst │ ├── chc.util.xmlutil.rst │ ├── conf.py │ ├── fileorganization.rst │ ├── index.rst │ └── make.bat └── tests ├── attributes ├── test_access.c ├── test_gvar_inequality.c ├── test_gvar_nonnull.c ├── test_malloc.c ├── test_nonnull.c ├── test_preserves_all_memory.c ├── test_preserves_memory.c ├── test_pure.c └── test_returns_nonnull.c ├── kendra ├── example_output │ └── test_kendrasets.txt ├── id115Q │ ├── README.md │ ├── id115.c │ ├── id115Q.json │ ├── id116.c │ ├── id117.c │ └── id118.c ├── id119Q │ ├── id119.c │ ├── id119Q.json │ ├── id120.c │ ├── id121.c │ └── id122.c ├── id123Q │ ├── id123.c │ ├── id123Q.json │ ├── id124.c │ ├── id125.c │ └── id126.c ├── id127Q │ ├── id127.c │ ├── id127Q.json │ ├── id128.c │ ├── id129.c │ └── id130.c ├── id131Q │ ├── id131.c │ ├── id131Q.json │ ├── id132.c │ ├── id133.c │ └── id134.c ├── id135Q │ ├── id135.c │ ├── id135Q.json │ ├── id136.c │ ├── id137.c │ ├── id138.c │ └── semantics_linux.tar.gz ├── id139Q │ ├── id139.c │ ├── id139Q.json │ ├── id140.c │ ├── id141.c │ └── id142.c ├── id143Q │ ├── id143.c │ ├── id143Q.json │ ├── id144.c │ ├── id145.c │ └── id146.c ├── id147Q │ ├── id147.c │ ├── id147Q.json │ ├── id148.c │ ├── id149.c │ └── id150.c ├── id151Q │ ├── README.md │ ├── id151.c │ ├── id151Q.json │ ├── id152.c │ ├── id153.c │ ├── id154.c │ └── semantics_linux.tar.gz ├── id155Q │ ├── id155.c │ ├── id155Q.json │ ├── id156.c │ ├── id157.c │ └── id158.c ├── id159Q │ ├── id159.c │ ├── id159Q.json │ ├── id160.c │ ├── id161.c │ └── id162.c ├── id163Q │ ├── id163.c │ ├── id163Q.json │ ├── id164.c │ ├── id165.c │ ├── id166.c │ └── semantics_linux.tar.gz ├── id167Q │ ├── README.md │ ├── id167.c │ ├── id167Q.json │ ├── id168.c │ ├── id169.c │ └── id170.c ├── id171Q │ ├── id171.c │ ├── id171Q.json │ ├── id172.c │ ├── id173.c │ └── id174.c ├── id175Q │ ├── id175.c │ ├── id175Q.json │ ├── id176.c │ ├── id177.c │ └── id178.c ├── id179Q │ ├── id179.c │ ├── id179Q.json │ ├── id180.c │ ├── id181.c │ └── id182.c ├── id183Q │ ├── id183.c │ ├── id183Q.json │ ├── id184.c │ ├── id185.c │ └── id186.c ├── id187Q │ ├── id187.c │ ├── id187Q.json │ ├── id188.c │ ├── id189.c │ └── id190.c ├── id191Q │ ├── id191.c │ ├── id191Q.json │ ├── id192.c │ ├── id193.c │ └── id194.c ├── id195Q │ ├── id195.c │ ├── id195Q.json │ ├── id196.c │ ├── id197.c │ └── id198.c ├── id199Q │ ├── id199.c │ ├── id199Q.json │ ├── id200.c │ ├── id201.c │ └── id202.c ├── id203Q │ ├── id203.c │ ├── id203Q.json │ ├── id204.c │ ├── id205.c │ └── id206.c ├── id207Q │ ├── id207.c │ ├── id207Q.json │ ├── id208.c │ ├── id209.c │ └── id210.c ├── id211Q │ ├── id211.c │ ├── id211Q.json │ ├── id212.c │ ├── id213.c │ └── id214.c ├── id215Q │ ├── id215.c │ ├── id215Q.json │ ├── id216.c │ ├── id217.c │ └── id218.c ├── id219Q │ ├── id219.c │ ├── id219Q.json │ ├── id220.c │ ├── id221.c │ └── id222.c ├── id223Q │ ├── id223.c │ ├── id223Q.json │ ├── id224.c │ ├── id225.c │ └── id226.c ├── id227Q │ ├── id227.c │ ├── id227Q.json │ ├── id228.c │ ├── id229.c │ └── id230.c ├── id231Q │ ├── id231.c │ ├── id231Q.json │ ├── id232.c │ ├── id233.c │ └── id234.c ├── id235Q │ ├── id235.c │ ├── id235Q.json │ ├── id236.c │ ├── id237.c │ └── id238.c ├── id239Q │ ├── id239.c │ ├── id239Q.json │ ├── id240.c │ ├── id241.c │ └── id242.c ├── id243Q │ ├── id243.c │ ├── id243Q.json │ ├── id244.c │ ├── id245.c │ └── id246.c ├── id247Q │ ├── id247.c │ ├── id247Q.json │ ├── id248.c │ ├── id249.c │ └── id250.c ├── id251Q │ ├── id251.c │ ├── id251Q.json │ ├── id252.c │ ├── id253.c │ └── id254.c ├── id255Q │ ├── id255.c │ ├── id255Q.json │ ├── id256.c │ ├── id257.c │ └── id258.c ├── id259Q │ ├── id259.c │ ├── id259Q.json │ ├── id260.c │ ├── id261.c │ └── id262.c ├── id263Q │ ├── README.md │ ├── chccontracts │ │ ├── id263_c.xml │ │ ├── id264_c.xml │ │ ├── id265_c.xml │ │ └── id266_c.xml │ ├── id263.c │ ├── id263Q.json │ ├── id264.c │ ├── id265.c │ └── id266.c ├── id267Q │ ├── id267.c │ ├── id267Q.json │ ├── id268.c │ ├── id269.c │ └── id270.c ├── id271Q │ ├── id271.c │ ├── id271Q.json │ ├── id272.c │ ├── id273.c │ └── id274.c ├── id275Q │ ├── id275.c │ ├── id275Q.json │ ├── id276.c │ ├── id277.c │ └── id278.c ├── id279Q │ ├── id279.c │ ├── id279Q.json │ ├── id280.c │ ├── id281.c │ └── id282.c ├── id283Q │ ├── chccontracts │ │ ├── id283_c.xml │ │ ├── id284_c.xml │ │ ├── id285_c.xml │ │ └── id286_c.xml │ ├── id283.c │ ├── id283Q.json │ ├── id284.c │ ├── id285.c │ └── id286.c ├── id287Q │ ├── id287.c │ ├── id287Q.json │ ├── id288.c │ ├── id289.c │ └── id290.c ├── id291Q │ ├── id291.c │ ├── id291Q.json │ ├── id292.c │ ├── id293.c │ ├── id294.c │ └── semantics_linux.tar.gz ├── id295Q │ ├── README.md │ ├── id295.c │ ├── id295Q.json │ ├── id296.c │ ├── id297.c │ ├── id298.c │ └── semantics_linux.tar.gz ├── id299Q │ ├── id299.c │ ├── id299Q.json │ ├── id300.c │ ├── id301.c │ ├── id302.c │ └── semantics_linux.tar.gz ├── id303Q │ ├── id303.c │ ├── id303Q.json │ ├── id304.c │ ├── id305.c │ ├── id306.c │ └── semantics_linux.tar.gz ├── id307Q │ ├── id307.c │ ├── id307Q.json │ ├── id308.c │ ├── id309.c │ ├── id310.c │ └── semantics_linux.tar.gz ├── id311Q │ ├── id311.c │ ├── id311Q.json │ ├── id312.c │ ├── id313.c │ ├── id314.c │ └── semantics_linux.tar.gz ├── id315Q │ ├── chccontracts │ │ ├── id315_c.xml │ │ ├── id316_c.xml │ │ ├── id317_c.xml │ │ └── id318_c.xml │ ├── id315.c │ ├── id315Q.json │ ├── id316.c │ ├── id317.c │ ├── id318.c │ └── semantics_linux.tar.gz ├── id319Q │ ├── id319.c │ ├── id319Q.json │ ├── id320.c │ ├── id321.c │ ├── id322.c │ └── semantics_linux.tar.gz ├── id323Q │ ├── id323.c │ ├── id323Q.json │ ├── id324.c │ ├── id325.c │ └── id326.c ├── id327Q │ ├── chccontracts │ │ └── globaldefs.xml │ ├── id327.c │ ├── id327Q.json │ ├── id328.c │ ├── id329.c │ └── id330.c ├── id331Q │ ├── id331.c │ ├── id331Q.json │ ├── id332.c │ ├── id333.c │ └── id334.c ├── id335Q │ ├── chccontracts │ │ └── globaldefs.xml │ ├── id335.c │ ├── id335Q.json │ ├── id336.c │ ├── id337.c │ └── id338.c ├── id339Q │ ├── id339.c │ ├── id339Q.json │ ├── id340.c │ ├── id341.c │ └── id342.c ├── id343Q │ ├── id343.c │ ├── id343Q.json │ ├── id344.c │ ├── id345.c │ └── id346.c ├── id347Q │ ├── id347.c │ ├── id347Q.json │ ├── id348.c │ ├── id349.c │ └── id350.c ├── id351Q │ ├── id351.c │ ├── id351Q.json │ ├── id352.c │ ├── id353.c │ └── id354.c ├── id355Q │ ├── id355.c │ ├── id355Q.json │ ├── id356.c │ ├── id357.c │ └── id358.c ├── id359Q │ ├── id359.c │ ├── id359Q.json │ ├── id360.c │ ├── id361.c │ └── id362.c ├── id363Q │ ├── id363.c │ ├── id363Q.json │ ├── id364.c │ ├── id365.c │ ├── id366.c │ └── semantics_linux.tar.gz ├── id367Q │ ├── id367.c │ ├── id367Q.json │ ├── id368.c │ ├── id369.c │ └── id370.c ├── id371Q │ ├── chccontracts │ │ └── globaldefs.xml │ ├── id371.c │ ├── id371Q.json │ ├── id372.c │ ├── id373.c │ └── id374.c ├── id375Q │ ├── id375.c │ ├── id375Q.json │ ├── id376.c │ ├── id377.c │ └── id378.c ├── id379Q │ ├── id379.c │ ├── id379Q.json │ ├── id380.c │ ├── id381.c │ └── id382.c ├── id383Q │ ├── id383.c │ ├── id383Q.json │ ├── id384.c │ ├── id385.c │ └── id386.c ├── id387Q │ ├── id387.c │ ├── id387Q.json │ ├── id388.c │ ├── id389.c │ └── id390.c ├── id391Q │ ├── id391.c │ ├── id391Q.json │ ├── id392.c │ ├── id393.c │ ├── id394.c │ └── semantics_linux.tar.gz ├── id395Q │ ├── chccontracts │ │ ├── id395_c.xml │ │ ├── id396_c.xml │ │ ├── id397_c.xml │ │ └── id398_c.xml │ ├── id395.c │ ├── id395Q.json │ ├── id396.c │ ├── id397.c │ └── id398.c └── id399Q │ ├── chccontracts │ ├── id399_c.xml │ ├── id400_c.xml │ ├── id401_c.xml │ └── id402_c.xml │ ├── id399.c │ ├── id399Q.json │ ├── id400.c │ ├── id401.c │ └── id402.c └── libcsummaries ├── string ├── strlen │ └── strlen_test.c └── strncpy │ └── strncpy_test.c ├── testfiles.json └── time ├── localtime └── localtime_test.c └── time_h.h /.github/workflows/run_mypy.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/.github/workflows/run_mypy.yaml -------------------------------------------------------------------------------- /.github/workflows/run_pycodestyle.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/.github/workflows/run_pycodestyle.yaml -------------------------------------------------------------------------------- /.github/workflows/sphinx_docs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/.github/workflows/sphinx_docs.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/README.md -------------------------------------------------------------------------------- /chc/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /chc/api/ApiAssumption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/ApiAssumption.py -------------------------------------------------------------------------------- /chc/api/ApiParameter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/ApiParameter.py -------------------------------------------------------------------------------- /chc/api/CFileContracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/CFileContracts.py -------------------------------------------------------------------------------- /chc/api/CFunctionApi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/CFunctionApi.py -------------------------------------------------------------------------------- /chc/api/CFunctionContract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/CFunctionContract.py -------------------------------------------------------------------------------- /chc/api/CGlobalContract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/CGlobalContract.py -------------------------------------------------------------------------------- /chc/api/ContractAssumption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/ContractAssumption.py -------------------------------------------------------------------------------- /chc/api/FieldAssignment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/FieldAssignment.py -------------------------------------------------------------------------------- /chc/api/GlobalAssumption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/GlobalAssumption.py -------------------------------------------------------------------------------- /chc/api/InterfaceDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/InterfaceDictionary.py -------------------------------------------------------------------------------- /chc/api/InterfaceDictionaryRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/InterfaceDictionaryRecord.py -------------------------------------------------------------------------------- /chc/api/PostAssume.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/PostAssume.py -------------------------------------------------------------------------------- /chc/api/PostConditionRequest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/PostConditionRequest.py -------------------------------------------------------------------------------- /chc/api/PostRequest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/PostRequest.py -------------------------------------------------------------------------------- /chc/api/SOffset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/SOffset.py -------------------------------------------------------------------------------- /chc/api/STerm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/STerm.py -------------------------------------------------------------------------------- /chc/api/XPredicate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/XPredicate.py -------------------------------------------------------------------------------- /chc/api/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/api/__init__.py -------------------------------------------------------------------------------- /chc/app/AssignDictionaryRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/AssignDictionaryRecord.py -------------------------------------------------------------------------------- /chc/app/CApplication.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CApplication.py -------------------------------------------------------------------------------- /chc/app/CAttributes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CAttributes.py -------------------------------------------------------------------------------- /chc/app/CCompInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CCompInfo.py -------------------------------------------------------------------------------- /chc/app/CConst.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CConst.py -------------------------------------------------------------------------------- /chc/app/CContext.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CContext.py -------------------------------------------------------------------------------- /chc/app/CContextDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CContextDictionary.py -------------------------------------------------------------------------------- /chc/app/CDeclarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CDeclarations.py -------------------------------------------------------------------------------- /chc/app/CDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CDictionary.py -------------------------------------------------------------------------------- /chc/app/CDictionaryRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CDictionaryRecord.py -------------------------------------------------------------------------------- /chc/app/CEnumInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CEnumInfo.py -------------------------------------------------------------------------------- /chc/app/CEnumItem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CEnumItem.py -------------------------------------------------------------------------------- /chc/app/CExp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CExp.py -------------------------------------------------------------------------------- /chc/app/CFieldInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFieldInfo.py -------------------------------------------------------------------------------- /chc/app/CFile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFile.py -------------------------------------------------------------------------------- /chc/app/CFileAssignment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFileAssignment.py -------------------------------------------------------------------------------- /chc/app/CFileAssignmentDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFileAssignmentDictionary.py -------------------------------------------------------------------------------- /chc/app/CFileDeclarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFileDeclarations.py -------------------------------------------------------------------------------- /chc/app/CFileDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFileDictionary.py -------------------------------------------------------------------------------- /chc/app/CFileGlobals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFileGlobals.py -------------------------------------------------------------------------------- /chc/app/CFunDeclarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFunDeclarations.py -------------------------------------------------------------------------------- /chc/app/CFunction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CFunction.py -------------------------------------------------------------------------------- /chc/app/CGXrefs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CGXrefs.py -------------------------------------------------------------------------------- /chc/app/CGlobalDeclarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CGlobalDeclarations.py -------------------------------------------------------------------------------- /chc/app/CGlobalDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CGlobalDictionary.py -------------------------------------------------------------------------------- /chc/app/CHVersion.py: -------------------------------------------------------------------------------- 1 | chcversion: str = "0.2.0-2024-12-04" 2 | -------------------------------------------------------------------------------- /chc/app/CInitInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CInitInfo.py -------------------------------------------------------------------------------- /chc/app/CInstr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CInstr.py -------------------------------------------------------------------------------- /chc/app/CLHost.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CLHost.py -------------------------------------------------------------------------------- /chc/app/CLocation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CLocation.py -------------------------------------------------------------------------------- /chc/app/CLval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CLval.py -------------------------------------------------------------------------------- /chc/app/COffset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/COffset.py -------------------------------------------------------------------------------- /chc/app/CPrettyPrinter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CPrettyPrinter.py -------------------------------------------------------------------------------- /chc/app/CStmt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CStmt.py -------------------------------------------------------------------------------- /chc/app/CTyp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CTyp.py -------------------------------------------------------------------------------- /chc/app/CTypeInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CTypeInfo.py -------------------------------------------------------------------------------- /chc/app/CTypsig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CTypsig.py -------------------------------------------------------------------------------- /chc/app/CVarInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CVarInfo.py -------------------------------------------------------------------------------- /chc/app/CVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/CVisitor.py -------------------------------------------------------------------------------- /chc/app/IndexManager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/IndexManager.py -------------------------------------------------------------------------------- /chc/app/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/app/__init__.py -------------------------------------------------------------------------------- /chc/bin/linux/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/bin/linux/README.md -------------------------------------------------------------------------------- /chc/bin/macOS/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/bin/macOS/README.md -------------------------------------------------------------------------------- /chc/cmdline/AnalysisManager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/AnalysisManager.py -------------------------------------------------------------------------------- /chc/cmdline/ParseManager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/ParseManager.py -------------------------------------------------------------------------------- /chc/cmdline/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/__init__.py -------------------------------------------------------------------------------- /chc/cmdline/c_file/__init__.py: -------------------------------------------------------------------------------- 1 | """Support for analyzing an individual c-file.""" 2 | -------------------------------------------------------------------------------- /chc/cmdline/c_file/cfiletableutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/c_file/cfiletableutil.py -------------------------------------------------------------------------------- /chc/cmdline/c_file/cfileutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/c_file/cfileutil.py -------------------------------------------------------------------------------- /chc/cmdline/c_project/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/c_project/README.md -------------------------------------------------------------------------------- /chc/cmdline/c_project/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/c_project/__init__.py -------------------------------------------------------------------------------- /chc/cmdline/c_project/cprojectutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/c_project/cprojectutil.py -------------------------------------------------------------------------------- /chc/cmdline/chkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/chkc -------------------------------------------------------------------------------- /chc/cmdline/chkc.py: -------------------------------------------------------------------------------- 1 | chkc -------------------------------------------------------------------------------- /chc/cmdline/jsonresultutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/jsonresultutil.py -------------------------------------------------------------------------------- /chc/cmdline/juliet/JulietTestFileRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/JulietTestFileRef.py -------------------------------------------------------------------------------- /chc/cmdline/juliet/JulietTestRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/JulietTestRef.py -------------------------------------------------------------------------------- /chc/cmdline/juliet/JulietTestScoring.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/JulietTestScoring.py -------------------------------------------------------------------------------- /chc/cmdline/juliet/JulietTestSetRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/JulietTestSetRef.py -------------------------------------------------------------------------------- /chc/cmdline/juliet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/README.md -------------------------------------------------------------------------------- /chc/cmdline/juliet/__init__.py: -------------------------------------------------------------------------------- 1 | """Support for analyzing the NIST Juliet Test Suite.""" 2 | -------------------------------------------------------------------------------- /chc/cmdline/juliet/docexamples/variants.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/docexamples/variants.txt -------------------------------------------------------------------------------- /chc/cmdline/juliet/julietutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/juliet/julietutil.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestCFileRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestCFileRef.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestCFunctionRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestCFunctionRef.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestManager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestManager.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestPPORef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestPPORef.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestResults.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestResults.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestSPORef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestSPORef.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/TestSetRef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/TestSetRef.py -------------------------------------------------------------------------------- /chc/cmdline/kendra/__init__.py: -------------------------------------------------------------------------------- 1 | """Support for analyzing the kendra (regression) tests.""" 2 | -------------------------------------------------------------------------------- /chc/cmdline/kendra/kendrautil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/cmdline/kendra/kendrautil.py -------------------------------------------------------------------------------- /chc/invariants/CFunDictionaryRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CFunDictionaryRecord.py -------------------------------------------------------------------------------- /chc/invariants/CFunInvDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CFunInvDictionary.py -------------------------------------------------------------------------------- /chc/invariants/CFunInvariantTable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CFunInvariantTable.py -------------------------------------------------------------------------------- /chc/invariants/CFunVarDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CFunVarDictionary.py -------------------------------------------------------------------------------- /chc/invariants/CFunXprDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CFunXprDictionary.py -------------------------------------------------------------------------------- /chc/invariants/CInvariantFact.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CInvariantFact.py -------------------------------------------------------------------------------- /chc/invariants/CNonRelationalValue.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CNonRelationalValue.py -------------------------------------------------------------------------------- /chc/invariants/CVConstantValueVariable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CVConstantValueVariable.py -------------------------------------------------------------------------------- /chc/invariants/CVMemoryBase.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CVMemoryBase.py -------------------------------------------------------------------------------- /chc/invariants/CVMemoryReferenceData.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CVMemoryReferenceData.py -------------------------------------------------------------------------------- /chc/invariants/CVariableDenotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CVariableDenotation.py -------------------------------------------------------------------------------- /chc/invariants/CXConstant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CXConstant.py -------------------------------------------------------------------------------- /chc/invariants/CXNumerical.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CXNumerical.py -------------------------------------------------------------------------------- /chc/invariants/CXSymbol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CXSymbol.py -------------------------------------------------------------------------------- /chc/invariants/CXVariable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CXVariable.py -------------------------------------------------------------------------------- /chc/invariants/CXXpr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/invariants/CXXpr.py -------------------------------------------------------------------------------- /chc/invariants/__init__.py: -------------------------------------------------------------------------------- 1 | """Invariants and their constituting expressions.""" 2 | -------------------------------------------------------------------------------- /chc/jsoninterface/JSONResult.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/jsoninterface/JSONResult.py -------------------------------------------------------------------------------- /chc/jsoninterface/JSONSchema.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/jsoninterface/JSONSchema.py -------------------------------------------------------------------------------- /chc/jsoninterface/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/jsoninterface/__init__.py -------------------------------------------------------------------------------- /chc/linker/CLinker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/linker/CLinker.py -------------------------------------------------------------------------------- /chc/linker/CompCompatibility.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/linker/CompCompatibility.py -------------------------------------------------------------------------------- /chc/linker/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/linker/__init__.py -------------------------------------------------------------------------------- /chc/proof/AssumptionType.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/AssumptionType.py -------------------------------------------------------------------------------- /chc/proof/CFilePredicateDictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFilePredicateDictionary.py -------------------------------------------------------------------------------- /chc/proof/CFilePredicateRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFilePredicateRecord.py -------------------------------------------------------------------------------- /chc/proof/CFunPODictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunPODictionary.py -------------------------------------------------------------------------------- /chc/proof/CFunPODictionaryRecord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunPODictionaryRecord.py -------------------------------------------------------------------------------- /chc/proof/CFunctionCallsiteSPO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionCallsiteSPO.py -------------------------------------------------------------------------------- /chc/proof/CFunctionCallsiteSPOs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionCallsiteSPOs.py -------------------------------------------------------------------------------- /chc/proof/CFunctionLocalSPO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionLocalSPO.py -------------------------------------------------------------------------------- /chc/proof/CFunctionPO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionPO.py -------------------------------------------------------------------------------- /chc/proof/CFunctionPPO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionPPO.py -------------------------------------------------------------------------------- /chc/proof/CFunctionPPOs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionPPOs.py -------------------------------------------------------------------------------- /chc/proof/CFunctionProofs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionProofs.py -------------------------------------------------------------------------------- /chc/proof/CFunctionReturnsiteSPO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionReturnsiteSPO.py -------------------------------------------------------------------------------- /chc/proof/CFunctionReturnsiteSPOs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionReturnsiteSPOs.py -------------------------------------------------------------------------------- /chc/proof/CFunctionSPOs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CFunctionSPOs.py -------------------------------------------------------------------------------- /chc/proof/CPOPredicate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CPOPredicate.py -------------------------------------------------------------------------------- /chc/proof/CProofDependencies.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CProofDependencies.py -------------------------------------------------------------------------------- /chc/proof/CProofDiagnostic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/CProofDiagnostic.py -------------------------------------------------------------------------------- /chc/proof/PPOType.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/PPOType.py -------------------------------------------------------------------------------- /chc/proof/SPOType.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/SPOType.py -------------------------------------------------------------------------------- /chc/proof/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/proof/__init__.py -------------------------------------------------------------------------------- /chc/reporting/ProofObligations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/reporting/ProofObligations.py -------------------------------------------------------------------------------- /chc/reporting/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/reporting/__init__.py -------------------------------------------------------------------------------- /chc/reporting/reportutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/reporting/reportutil.py -------------------------------------------------------------------------------- /chc/source/CSrcFile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/source/CSrcFile.py -------------------------------------------------------------------------------- /chc/source/__init__.py: -------------------------------------------------------------------------------- 1 | """Access to original source code files.""" 2 | -------------------------------------------------------------------------------- /chc/summaries/cchsummaries.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/summaries/cchsummaries.jar -------------------------------------------------------------------------------- /chc/util/Config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/Config.py -------------------------------------------------------------------------------- /chc/util/ConfigLocal.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/ConfigLocal.template -------------------------------------------------------------------------------- /chc/util/IndexedTable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/IndexedTable.py -------------------------------------------------------------------------------- /chc/util/StringIndexedTable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/StringIndexedTable.py -------------------------------------------------------------------------------- /chc/util/UnionFind.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/UnionFind.py -------------------------------------------------------------------------------- /chc/util/__init__.py: -------------------------------------------------------------------------------- 1 | """Utilities for file, logging, and dictionary indexing.""" 2 | -------------------------------------------------------------------------------- /chc/util/api.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/api.xpm -------------------------------------------------------------------------------- /chc/util/checkvalid.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/checkvalid.xpm -------------------------------------------------------------------------------- /chc/util/ds.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/ds.xpm -------------------------------------------------------------------------------- /chc/util/fileutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/fileutil.py -------------------------------------------------------------------------------- /chc/util/global.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/global.xpm -------------------------------------------------------------------------------- /chc/util/info.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/info.xpm -------------------------------------------------------------------------------- /chc/util/invariants.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/invariants.xpm -------------------------------------------------------------------------------- /chc/util/loggingutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/loggingutil.py -------------------------------------------------------------------------------- /chc/util/opaque.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/opaque.xpm -------------------------------------------------------------------------------- /chc/util/openpo.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/openpo.xpm -------------------------------------------------------------------------------- /chc/util/openwithdiags.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/openwithdiags.xpm -------------------------------------------------------------------------------- /chc/util/reduced.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/reduced.xpm -------------------------------------------------------------------------------- /chc/util/rv.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/rv.xpm -------------------------------------------------------------------------------- /chc/util/unreachable.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/unreachable.xpm -------------------------------------------------------------------------------- /chc/util/violation.xpm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/violation.xpm -------------------------------------------------------------------------------- /chc/util/xmlutil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/chc/util/xmlutil.py -------------------------------------------------------------------------------- /docs/source/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | -------------------------------------------------------------------------------- /docs/source/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/Makefile -------------------------------------------------------------------------------- /docs/source/_static/css/codehawkc-html.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/_static/css/codehawkc-html.css -------------------------------------------------------------------------------- /docs/source/_templates/custom-class-template.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/_templates/custom-class-template.rst -------------------------------------------------------------------------------- /docs/source/_templates/custom-module-template.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/_templates/custom-module-template.rst -------------------------------------------------------------------------------- /docs/source/chc.api.ApiAssumption.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.ApiAssumption.rst -------------------------------------------------------------------------------- /docs/source/chc.api.ApiParameter.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.ApiParameter.rst -------------------------------------------------------------------------------- /docs/source/chc.api.CFileContracts.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.CFileContracts.rst -------------------------------------------------------------------------------- /docs/source/chc.api.CFunctionContract.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.CFunctionContract.rst -------------------------------------------------------------------------------- /docs/source/chc.api.CGlobalContract.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.CGlobalContract.rst -------------------------------------------------------------------------------- /docs/source/chc.api.ContractAssumption.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.ContractAssumption.rst -------------------------------------------------------------------------------- /docs/source/chc.api.FieldAssignment.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.FieldAssignment.rst -------------------------------------------------------------------------------- /docs/source/chc.api.GlobalAssumption.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.GlobalAssumption.rst -------------------------------------------------------------------------------- /docs/source/chc.api.InterfaceDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.InterfaceDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.api.InterfaceDictionaryRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.InterfaceDictionaryRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.api.PostAssume.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.PostAssume.rst -------------------------------------------------------------------------------- /docs/source/chc.api.PostConditionRequest.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.PostConditionRequest.rst -------------------------------------------------------------------------------- /docs/source/chc.api.PostRequest.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.PostRequest.rst -------------------------------------------------------------------------------- /docs/source/chc.api.SOffset.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.SOffset.rst -------------------------------------------------------------------------------- /docs/source/chc.api.STerm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.STerm.rst -------------------------------------------------------------------------------- /docs/source/chc.api.XPredicate.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.XPredicate.rst -------------------------------------------------------------------------------- /docs/source/chc.api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.api.rst -------------------------------------------------------------------------------- /docs/source/chc.app.AssignDictionaryRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.AssignDictionaryRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CApplication.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CApplication.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CAttributes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CAttributes.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CCompInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CCompInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CConst.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CConst.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CContext.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CContext.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CContextDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CContextDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CDeclarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CDeclarations.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CDictionaryRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CDictionaryRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CEnumInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CEnumInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CEnumItem.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CEnumItem.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CExp.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CExp.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFieldInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFieldInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFile.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFile.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFileAssignment.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFileAssignment.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFileAssignmentDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFileAssignmentDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFileDeclarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFileDeclarations.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFileDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFileDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFileGlobals.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFileGlobals.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFunDeclarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFunDeclarations.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CFunction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CFunction.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CGXrefs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CGXrefs.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CGlobalDeclarations.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CGlobalDeclarations.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CGlobalDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CGlobalDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CHVersion.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CHVersion.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CInitInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CInitInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CInstr.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CInstr.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CLHost.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CLHost.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CLocation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CLocation.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CLval.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CLval.rst -------------------------------------------------------------------------------- /docs/source/chc.app.COffset.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.COffset.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CStmt.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CStmt.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CTyp.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CTyp.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CTypeInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CTypeInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CTypsig.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CTypsig.rst -------------------------------------------------------------------------------- /docs/source/chc.app.CVarInfo.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.CVarInfo.rst -------------------------------------------------------------------------------- /docs/source/chc.app.IndexManager.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.IndexManager.rst -------------------------------------------------------------------------------- /docs/source/chc.app.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.app.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.AnalysisManager.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.AnalysisManager.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.ParseManager.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.ParseManager.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.c_file.cfiletableutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.c_file.cfiletableutil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.c_file.cfileutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.c_file.cfileutil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.c_file.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.c_file.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.c_project.cprojectutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.c_project.cprojectutil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.c_project.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.c_project.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.chkc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.chkc.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.jsonresultutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.jsonresultutil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.JulietTestFileRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.JulietTestFileRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.JulietTestRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.JulietTestRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.JulietTestScoring.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.JulietTestScoring.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.JulietTestSetRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.JulietTestSetRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.julietutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.julietutil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.juliet.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.juliet.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestCFileRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestCFileRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestCFunctionRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestCFunctionRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestManager.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestManager.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestPPORef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestPPORef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestResults.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestResults.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestSPORef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestSPORef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.TestSetRef.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.TestSetRef.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.kendrautil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.kendrautil.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.kendra.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.kendra.rst -------------------------------------------------------------------------------- /docs/source/chc.cmdline.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.cmdline.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CFunDictionaryRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CFunDictionaryRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CFunInvDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CFunInvDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CFunInvariantTable.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CFunInvariantTable.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CFunVarDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CFunVarDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CFunXprDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CFunXprDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CInvariantFact.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CInvariantFact.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CNonRelationalValue.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CNonRelationalValue.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CVConstantValueVariable.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CVConstantValueVariable.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CVMemoryBase.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CVMemoryBase.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CVMemoryReferenceData.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CVMemoryReferenceData.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CVariableDenotation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CVariableDenotation.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CXConstant.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CXConstant.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CXNumerical.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CXNumerical.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CXSymbol.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CXSymbol.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CXVariable.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CXVariable.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.CXXpr.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.CXXpr.rst -------------------------------------------------------------------------------- /docs/source/chc.invariants.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.invariants.rst -------------------------------------------------------------------------------- /docs/source/chc.jsoninterface.JSONResult.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.jsoninterface.JSONResult.rst -------------------------------------------------------------------------------- /docs/source/chc.jsoninterface.JSONSchema.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.jsoninterface.JSONSchema.rst -------------------------------------------------------------------------------- /docs/source/chc.jsoninterface.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.jsoninterface.rst -------------------------------------------------------------------------------- /docs/source/chc.linker.CLinker.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.linker.CLinker.rst -------------------------------------------------------------------------------- /docs/source/chc.linker.CompCompatibility.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.linker.CompCompatibility.rst -------------------------------------------------------------------------------- /docs/source/chc.linker.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.linker.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.AssumptionType.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.AssumptionType.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFilePredicateDictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFilePredicateDictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFilePredicateRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFilePredicateRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunPODictionary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunPODictionary.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunPODictionaryRecord.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunPODictionaryRecord.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionCallsiteSPO.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionCallsiteSPO.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionCallsiteSPOs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionCallsiteSPOs.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionLocalSPO.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionLocalSPO.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionPO.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionPO.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionPPO.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionPPO.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionPPOs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionPPOs.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionProofs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionProofs.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionReturnsiteSPO.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionReturnsiteSPO.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionReturnsiteSPOs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionReturnsiteSPOs.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CFunctionSPOs.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CFunctionSPOs.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CPOPredicate.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CPOPredicate.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CProofDependencies.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CProofDependencies.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.CProofDiagnostic.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.CProofDiagnostic.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.PPOType.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.PPOType.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.SPOType.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.SPOType.rst -------------------------------------------------------------------------------- /docs/source/chc.proof.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.proof.rst -------------------------------------------------------------------------------- /docs/source/chc.reporting.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.reporting.rst -------------------------------------------------------------------------------- /docs/source/chc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.rst -------------------------------------------------------------------------------- /docs/source/chc.source.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.source.rst -------------------------------------------------------------------------------- /docs/source/chc.util.Config.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.Config.rst -------------------------------------------------------------------------------- /docs/source/chc.util.IndexedTable.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.IndexedTable.rst -------------------------------------------------------------------------------- /docs/source/chc.util.StringIndexedTable.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.StringIndexedTable.rst -------------------------------------------------------------------------------- /docs/source/chc.util.UnionFind.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.UnionFind.rst -------------------------------------------------------------------------------- /docs/source/chc.util.fileutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.fileutil.rst -------------------------------------------------------------------------------- /docs/source/chc.util.loggingutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.loggingutil.rst -------------------------------------------------------------------------------- /docs/source/chc.util.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.rst -------------------------------------------------------------------------------- /docs/source/chc.util.xmlutil.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/chc.util.xmlutil.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/fileorganization.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/fileorganization.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/docs/source/make.bat -------------------------------------------------------------------------------- /tests/attributes/test_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_access.c -------------------------------------------------------------------------------- /tests/attributes/test_gvar_inequality.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_gvar_inequality.c -------------------------------------------------------------------------------- /tests/attributes/test_gvar_nonnull.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_gvar_nonnull.c -------------------------------------------------------------------------------- /tests/attributes/test_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_malloc.c -------------------------------------------------------------------------------- /tests/attributes/test_nonnull.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_nonnull.c -------------------------------------------------------------------------------- /tests/attributes/test_preserves_all_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_preserves_all_memory.c -------------------------------------------------------------------------------- /tests/attributes/test_preserves_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_preserves_memory.c -------------------------------------------------------------------------------- /tests/attributes/test_pure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_pure.c -------------------------------------------------------------------------------- /tests/attributes/test_returns_nonnull.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/attributes/test_returns_nonnull.c -------------------------------------------------------------------------------- /tests/kendra/example_output/test_kendrasets.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/example_output/test_kendrasets.txt -------------------------------------------------------------------------------- /tests/kendra/id115Q/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/README.md -------------------------------------------------------------------------------- /tests/kendra/id115Q/id115.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/id115.c -------------------------------------------------------------------------------- /tests/kendra/id115Q/id115Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/id115Q.json -------------------------------------------------------------------------------- /tests/kendra/id115Q/id116.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/id116.c -------------------------------------------------------------------------------- /tests/kendra/id115Q/id117.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/id117.c -------------------------------------------------------------------------------- /tests/kendra/id115Q/id118.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id115Q/id118.c -------------------------------------------------------------------------------- /tests/kendra/id119Q/id119.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id119Q/id119.c -------------------------------------------------------------------------------- /tests/kendra/id119Q/id119Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id119Q/id119Q.json -------------------------------------------------------------------------------- /tests/kendra/id119Q/id120.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id119Q/id120.c -------------------------------------------------------------------------------- /tests/kendra/id119Q/id121.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id119Q/id121.c -------------------------------------------------------------------------------- /tests/kendra/id119Q/id122.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id119Q/id122.c -------------------------------------------------------------------------------- /tests/kendra/id123Q/id123.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id123Q/id123.c -------------------------------------------------------------------------------- /tests/kendra/id123Q/id123Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id123Q/id123Q.json -------------------------------------------------------------------------------- /tests/kendra/id123Q/id124.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id123Q/id124.c -------------------------------------------------------------------------------- /tests/kendra/id123Q/id125.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id123Q/id125.c -------------------------------------------------------------------------------- /tests/kendra/id123Q/id126.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id123Q/id126.c -------------------------------------------------------------------------------- /tests/kendra/id127Q/id127.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id127Q/id127.c -------------------------------------------------------------------------------- /tests/kendra/id127Q/id127Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id127Q/id127Q.json -------------------------------------------------------------------------------- /tests/kendra/id127Q/id128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id127Q/id128.c -------------------------------------------------------------------------------- /tests/kendra/id127Q/id129.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id127Q/id129.c -------------------------------------------------------------------------------- /tests/kendra/id127Q/id130.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id127Q/id130.c -------------------------------------------------------------------------------- /tests/kendra/id131Q/id131.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id131Q/id131.c -------------------------------------------------------------------------------- /tests/kendra/id131Q/id131Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id131Q/id131Q.json -------------------------------------------------------------------------------- /tests/kendra/id131Q/id132.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id131Q/id132.c -------------------------------------------------------------------------------- /tests/kendra/id131Q/id133.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id131Q/id133.c -------------------------------------------------------------------------------- /tests/kendra/id131Q/id134.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id131Q/id134.c -------------------------------------------------------------------------------- /tests/kendra/id135Q/id135.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/id135.c -------------------------------------------------------------------------------- /tests/kendra/id135Q/id135Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/id135Q.json -------------------------------------------------------------------------------- /tests/kendra/id135Q/id136.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/id136.c -------------------------------------------------------------------------------- /tests/kendra/id135Q/id137.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/id137.c -------------------------------------------------------------------------------- /tests/kendra/id135Q/id138.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/id138.c -------------------------------------------------------------------------------- /tests/kendra/id135Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id135Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id139Q/id139.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id139Q/id139.c -------------------------------------------------------------------------------- /tests/kendra/id139Q/id139Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id139Q/id139Q.json -------------------------------------------------------------------------------- /tests/kendra/id139Q/id140.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id139Q/id140.c -------------------------------------------------------------------------------- /tests/kendra/id139Q/id141.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id139Q/id141.c -------------------------------------------------------------------------------- /tests/kendra/id139Q/id142.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id139Q/id142.c -------------------------------------------------------------------------------- /tests/kendra/id143Q/id143.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id143Q/id143.c -------------------------------------------------------------------------------- /tests/kendra/id143Q/id143Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id143Q/id143Q.json -------------------------------------------------------------------------------- /tests/kendra/id143Q/id144.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id143Q/id144.c -------------------------------------------------------------------------------- /tests/kendra/id143Q/id145.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id143Q/id145.c -------------------------------------------------------------------------------- /tests/kendra/id143Q/id146.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id143Q/id146.c -------------------------------------------------------------------------------- /tests/kendra/id147Q/id147.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id147Q/id147.c -------------------------------------------------------------------------------- /tests/kendra/id147Q/id147Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id147Q/id147Q.json -------------------------------------------------------------------------------- /tests/kendra/id147Q/id148.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id147Q/id148.c -------------------------------------------------------------------------------- /tests/kendra/id147Q/id149.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id147Q/id149.c -------------------------------------------------------------------------------- /tests/kendra/id147Q/id150.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id147Q/id150.c -------------------------------------------------------------------------------- /tests/kendra/id151Q/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/README.md -------------------------------------------------------------------------------- /tests/kendra/id151Q/id151.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/id151.c -------------------------------------------------------------------------------- /tests/kendra/id151Q/id151Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/id151Q.json -------------------------------------------------------------------------------- /tests/kendra/id151Q/id152.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/id152.c -------------------------------------------------------------------------------- /tests/kendra/id151Q/id153.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/id153.c -------------------------------------------------------------------------------- /tests/kendra/id151Q/id154.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/id154.c -------------------------------------------------------------------------------- /tests/kendra/id151Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id151Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id155Q/id155.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id155Q/id155.c -------------------------------------------------------------------------------- /tests/kendra/id155Q/id155Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id155Q/id155Q.json -------------------------------------------------------------------------------- /tests/kendra/id155Q/id156.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id155Q/id156.c -------------------------------------------------------------------------------- /tests/kendra/id155Q/id157.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id155Q/id157.c -------------------------------------------------------------------------------- /tests/kendra/id155Q/id158.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id155Q/id158.c -------------------------------------------------------------------------------- /tests/kendra/id159Q/id159.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id159Q/id159.c -------------------------------------------------------------------------------- /tests/kendra/id159Q/id159Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id159Q/id159Q.json -------------------------------------------------------------------------------- /tests/kendra/id159Q/id160.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id159Q/id160.c -------------------------------------------------------------------------------- /tests/kendra/id159Q/id161.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id159Q/id161.c -------------------------------------------------------------------------------- /tests/kendra/id159Q/id162.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id159Q/id162.c -------------------------------------------------------------------------------- /tests/kendra/id163Q/id163.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/id163.c -------------------------------------------------------------------------------- /tests/kendra/id163Q/id163Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/id163Q.json -------------------------------------------------------------------------------- /tests/kendra/id163Q/id164.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/id164.c -------------------------------------------------------------------------------- /tests/kendra/id163Q/id165.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/id165.c -------------------------------------------------------------------------------- /tests/kendra/id163Q/id166.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/id166.c -------------------------------------------------------------------------------- /tests/kendra/id163Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id163Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id167Q/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/README.md -------------------------------------------------------------------------------- /tests/kendra/id167Q/id167.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/id167.c -------------------------------------------------------------------------------- /tests/kendra/id167Q/id167Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/id167Q.json -------------------------------------------------------------------------------- /tests/kendra/id167Q/id168.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/id168.c -------------------------------------------------------------------------------- /tests/kendra/id167Q/id169.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/id169.c -------------------------------------------------------------------------------- /tests/kendra/id167Q/id170.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id167Q/id170.c -------------------------------------------------------------------------------- /tests/kendra/id171Q/id171.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id171Q/id171.c -------------------------------------------------------------------------------- /tests/kendra/id171Q/id171Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id171Q/id171Q.json -------------------------------------------------------------------------------- /tests/kendra/id171Q/id172.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id171Q/id172.c -------------------------------------------------------------------------------- /tests/kendra/id171Q/id173.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id171Q/id173.c -------------------------------------------------------------------------------- /tests/kendra/id171Q/id174.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id171Q/id174.c -------------------------------------------------------------------------------- /tests/kendra/id175Q/id175.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id175Q/id175.c -------------------------------------------------------------------------------- /tests/kendra/id175Q/id175Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id175Q/id175Q.json -------------------------------------------------------------------------------- /tests/kendra/id175Q/id176.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id175Q/id176.c -------------------------------------------------------------------------------- /tests/kendra/id175Q/id177.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id175Q/id177.c -------------------------------------------------------------------------------- /tests/kendra/id175Q/id178.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id175Q/id178.c -------------------------------------------------------------------------------- /tests/kendra/id179Q/id179.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id179Q/id179.c -------------------------------------------------------------------------------- /tests/kendra/id179Q/id179Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id179Q/id179Q.json -------------------------------------------------------------------------------- /tests/kendra/id179Q/id180.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id179Q/id180.c -------------------------------------------------------------------------------- /tests/kendra/id179Q/id181.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id179Q/id181.c -------------------------------------------------------------------------------- /tests/kendra/id179Q/id182.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id179Q/id182.c -------------------------------------------------------------------------------- /tests/kendra/id183Q/id183.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id183Q/id183.c -------------------------------------------------------------------------------- /tests/kendra/id183Q/id183Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id183Q/id183Q.json -------------------------------------------------------------------------------- /tests/kendra/id183Q/id184.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id183Q/id184.c -------------------------------------------------------------------------------- /tests/kendra/id183Q/id185.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id183Q/id185.c -------------------------------------------------------------------------------- /tests/kendra/id183Q/id186.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id183Q/id186.c -------------------------------------------------------------------------------- /tests/kendra/id187Q/id187.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id187Q/id187.c -------------------------------------------------------------------------------- /tests/kendra/id187Q/id187Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id187Q/id187Q.json -------------------------------------------------------------------------------- /tests/kendra/id187Q/id188.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id187Q/id188.c -------------------------------------------------------------------------------- /tests/kendra/id187Q/id189.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id187Q/id189.c -------------------------------------------------------------------------------- /tests/kendra/id187Q/id190.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id187Q/id190.c -------------------------------------------------------------------------------- /tests/kendra/id191Q/id191.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id191Q/id191.c -------------------------------------------------------------------------------- /tests/kendra/id191Q/id191Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id191Q/id191Q.json -------------------------------------------------------------------------------- /tests/kendra/id191Q/id192.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id191Q/id192.c -------------------------------------------------------------------------------- /tests/kendra/id191Q/id193.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id191Q/id193.c -------------------------------------------------------------------------------- /tests/kendra/id191Q/id194.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id191Q/id194.c -------------------------------------------------------------------------------- /tests/kendra/id195Q/id195.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id195Q/id195.c -------------------------------------------------------------------------------- /tests/kendra/id195Q/id195Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id195Q/id195Q.json -------------------------------------------------------------------------------- /tests/kendra/id195Q/id196.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id195Q/id196.c -------------------------------------------------------------------------------- /tests/kendra/id195Q/id197.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id195Q/id197.c -------------------------------------------------------------------------------- /tests/kendra/id195Q/id198.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id195Q/id198.c -------------------------------------------------------------------------------- /tests/kendra/id199Q/id199.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id199Q/id199.c -------------------------------------------------------------------------------- /tests/kendra/id199Q/id199Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id199Q/id199Q.json -------------------------------------------------------------------------------- /tests/kendra/id199Q/id200.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id199Q/id200.c -------------------------------------------------------------------------------- /tests/kendra/id199Q/id201.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id199Q/id201.c -------------------------------------------------------------------------------- /tests/kendra/id199Q/id202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id199Q/id202.c -------------------------------------------------------------------------------- /tests/kendra/id203Q/id203.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id203Q/id203.c -------------------------------------------------------------------------------- /tests/kendra/id203Q/id203Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id203Q/id203Q.json -------------------------------------------------------------------------------- /tests/kendra/id203Q/id204.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id203Q/id204.c -------------------------------------------------------------------------------- /tests/kendra/id203Q/id205.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id203Q/id205.c -------------------------------------------------------------------------------- /tests/kendra/id203Q/id206.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id203Q/id206.c -------------------------------------------------------------------------------- /tests/kendra/id207Q/id207.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id207Q/id207.c -------------------------------------------------------------------------------- /tests/kendra/id207Q/id207Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id207Q/id207Q.json -------------------------------------------------------------------------------- /tests/kendra/id207Q/id208.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id207Q/id208.c -------------------------------------------------------------------------------- /tests/kendra/id207Q/id209.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id207Q/id209.c -------------------------------------------------------------------------------- /tests/kendra/id207Q/id210.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id207Q/id210.c -------------------------------------------------------------------------------- /tests/kendra/id211Q/id211.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id211Q/id211.c -------------------------------------------------------------------------------- /tests/kendra/id211Q/id211Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id211Q/id211Q.json -------------------------------------------------------------------------------- /tests/kendra/id211Q/id212.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id211Q/id212.c -------------------------------------------------------------------------------- /tests/kendra/id211Q/id213.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id211Q/id213.c -------------------------------------------------------------------------------- /tests/kendra/id211Q/id214.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id211Q/id214.c -------------------------------------------------------------------------------- /tests/kendra/id215Q/id215.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id215Q/id215.c -------------------------------------------------------------------------------- /tests/kendra/id215Q/id215Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id215Q/id215Q.json -------------------------------------------------------------------------------- /tests/kendra/id215Q/id216.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id215Q/id216.c -------------------------------------------------------------------------------- /tests/kendra/id215Q/id217.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id215Q/id217.c -------------------------------------------------------------------------------- /tests/kendra/id215Q/id218.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id215Q/id218.c -------------------------------------------------------------------------------- /tests/kendra/id219Q/id219.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id219Q/id219.c -------------------------------------------------------------------------------- /tests/kendra/id219Q/id219Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id219Q/id219Q.json -------------------------------------------------------------------------------- /tests/kendra/id219Q/id220.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id219Q/id220.c -------------------------------------------------------------------------------- /tests/kendra/id219Q/id221.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id219Q/id221.c -------------------------------------------------------------------------------- /tests/kendra/id219Q/id222.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id219Q/id222.c -------------------------------------------------------------------------------- /tests/kendra/id223Q/id223.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id223Q/id223.c -------------------------------------------------------------------------------- /tests/kendra/id223Q/id223Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id223Q/id223Q.json -------------------------------------------------------------------------------- /tests/kendra/id223Q/id224.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id223Q/id224.c -------------------------------------------------------------------------------- /tests/kendra/id223Q/id225.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id223Q/id225.c -------------------------------------------------------------------------------- /tests/kendra/id223Q/id226.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id223Q/id226.c -------------------------------------------------------------------------------- /tests/kendra/id227Q/id227.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id227Q/id227.c -------------------------------------------------------------------------------- /tests/kendra/id227Q/id227Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id227Q/id227Q.json -------------------------------------------------------------------------------- /tests/kendra/id227Q/id228.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id227Q/id228.c -------------------------------------------------------------------------------- /tests/kendra/id227Q/id229.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id227Q/id229.c -------------------------------------------------------------------------------- /tests/kendra/id227Q/id230.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id227Q/id230.c -------------------------------------------------------------------------------- /tests/kendra/id231Q/id231.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id231Q/id231.c -------------------------------------------------------------------------------- /tests/kendra/id231Q/id231Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id231Q/id231Q.json -------------------------------------------------------------------------------- /tests/kendra/id231Q/id232.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id231Q/id232.c -------------------------------------------------------------------------------- /tests/kendra/id231Q/id233.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id231Q/id233.c -------------------------------------------------------------------------------- /tests/kendra/id231Q/id234.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id231Q/id234.c -------------------------------------------------------------------------------- /tests/kendra/id235Q/id235.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id235Q/id235.c -------------------------------------------------------------------------------- /tests/kendra/id235Q/id235Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id235Q/id235Q.json -------------------------------------------------------------------------------- /tests/kendra/id235Q/id236.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id235Q/id236.c -------------------------------------------------------------------------------- /tests/kendra/id235Q/id237.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id235Q/id237.c -------------------------------------------------------------------------------- /tests/kendra/id235Q/id238.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id235Q/id238.c -------------------------------------------------------------------------------- /tests/kendra/id239Q/id239.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id239Q/id239.c -------------------------------------------------------------------------------- /tests/kendra/id239Q/id239Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id239Q/id239Q.json -------------------------------------------------------------------------------- /tests/kendra/id239Q/id240.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id239Q/id240.c -------------------------------------------------------------------------------- /tests/kendra/id239Q/id241.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id239Q/id241.c -------------------------------------------------------------------------------- /tests/kendra/id239Q/id242.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id239Q/id242.c -------------------------------------------------------------------------------- /tests/kendra/id243Q/id243.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id243Q/id243.c -------------------------------------------------------------------------------- /tests/kendra/id243Q/id243Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id243Q/id243Q.json -------------------------------------------------------------------------------- /tests/kendra/id243Q/id244.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id243Q/id244.c -------------------------------------------------------------------------------- /tests/kendra/id243Q/id245.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id243Q/id245.c -------------------------------------------------------------------------------- /tests/kendra/id243Q/id246.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id243Q/id246.c -------------------------------------------------------------------------------- /tests/kendra/id247Q/id247.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id247Q/id247.c -------------------------------------------------------------------------------- /tests/kendra/id247Q/id247Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id247Q/id247Q.json -------------------------------------------------------------------------------- /tests/kendra/id247Q/id248.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id247Q/id248.c -------------------------------------------------------------------------------- /tests/kendra/id247Q/id249.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id247Q/id249.c -------------------------------------------------------------------------------- /tests/kendra/id247Q/id250.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id247Q/id250.c -------------------------------------------------------------------------------- /tests/kendra/id251Q/id251.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id251Q/id251.c -------------------------------------------------------------------------------- /tests/kendra/id251Q/id251Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id251Q/id251Q.json -------------------------------------------------------------------------------- /tests/kendra/id251Q/id252.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id251Q/id252.c -------------------------------------------------------------------------------- /tests/kendra/id251Q/id253.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id251Q/id253.c -------------------------------------------------------------------------------- /tests/kendra/id251Q/id254.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id251Q/id254.c -------------------------------------------------------------------------------- /tests/kendra/id255Q/id255.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id255Q/id255.c -------------------------------------------------------------------------------- /tests/kendra/id255Q/id255Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id255Q/id255Q.json -------------------------------------------------------------------------------- /tests/kendra/id255Q/id256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id255Q/id256.c -------------------------------------------------------------------------------- /tests/kendra/id255Q/id257.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id255Q/id257.c -------------------------------------------------------------------------------- /tests/kendra/id255Q/id258.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id255Q/id258.c -------------------------------------------------------------------------------- /tests/kendra/id259Q/id259.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id259Q/id259.c -------------------------------------------------------------------------------- /tests/kendra/id259Q/id259Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id259Q/id259Q.json -------------------------------------------------------------------------------- /tests/kendra/id259Q/id260.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id259Q/id260.c -------------------------------------------------------------------------------- /tests/kendra/id259Q/id261.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id259Q/id261.c -------------------------------------------------------------------------------- /tests/kendra/id259Q/id262.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id259Q/id262.c -------------------------------------------------------------------------------- /tests/kendra/id263Q/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/README.md -------------------------------------------------------------------------------- /tests/kendra/id263Q/chccontracts/id263_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/chccontracts/id263_c.xml -------------------------------------------------------------------------------- /tests/kendra/id263Q/chccontracts/id264_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/chccontracts/id264_c.xml -------------------------------------------------------------------------------- /tests/kendra/id263Q/chccontracts/id265_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/chccontracts/id265_c.xml -------------------------------------------------------------------------------- /tests/kendra/id263Q/chccontracts/id266_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/chccontracts/id266_c.xml -------------------------------------------------------------------------------- /tests/kendra/id263Q/id263.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/id263.c -------------------------------------------------------------------------------- /tests/kendra/id263Q/id263Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/id263Q.json -------------------------------------------------------------------------------- /tests/kendra/id263Q/id264.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/id264.c -------------------------------------------------------------------------------- /tests/kendra/id263Q/id265.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/id265.c -------------------------------------------------------------------------------- /tests/kendra/id263Q/id266.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id263Q/id266.c -------------------------------------------------------------------------------- /tests/kendra/id267Q/id267.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id267Q/id267.c -------------------------------------------------------------------------------- /tests/kendra/id267Q/id267Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id267Q/id267Q.json -------------------------------------------------------------------------------- /tests/kendra/id267Q/id268.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id267Q/id268.c -------------------------------------------------------------------------------- /tests/kendra/id267Q/id269.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id267Q/id269.c -------------------------------------------------------------------------------- /tests/kendra/id267Q/id270.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id267Q/id270.c -------------------------------------------------------------------------------- /tests/kendra/id271Q/id271.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id271Q/id271.c -------------------------------------------------------------------------------- /tests/kendra/id271Q/id271Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id271Q/id271Q.json -------------------------------------------------------------------------------- /tests/kendra/id271Q/id272.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id271Q/id272.c -------------------------------------------------------------------------------- /tests/kendra/id271Q/id273.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id271Q/id273.c -------------------------------------------------------------------------------- /tests/kendra/id271Q/id274.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id271Q/id274.c -------------------------------------------------------------------------------- /tests/kendra/id275Q/id275.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id275Q/id275.c -------------------------------------------------------------------------------- /tests/kendra/id275Q/id275Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id275Q/id275Q.json -------------------------------------------------------------------------------- /tests/kendra/id275Q/id276.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id275Q/id276.c -------------------------------------------------------------------------------- /tests/kendra/id275Q/id277.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id275Q/id277.c -------------------------------------------------------------------------------- /tests/kendra/id275Q/id278.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id275Q/id278.c -------------------------------------------------------------------------------- /tests/kendra/id279Q/id279.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id279Q/id279.c -------------------------------------------------------------------------------- /tests/kendra/id279Q/id279Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id279Q/id279Q.json -------------------------------------------------------------------------------- /tests/kendra/id279Q/id280.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id279Q/id280.c -------------------------------------------------------------------------------- /tests/kendra/id279Q/id281.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id279Q/id281.c -------------------------------------------------------------------------------- /tests/kendra/id279Q/id282.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id279Q/id282.c -------------------------------------------------------------------------------- /tests/kendra/id283Q/chccontracts/id283_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/chccontracts/id283_c.xml -------------------------------------------------------------------------------- /tests/kendra/id283Q/chccontracts/id284_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/chccontracts/id284_c.xml -------------------------------------------------------------------------------- /tests/kendra/id283Q/chccontracts/id285_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/chccontracts/id285_c.xml -------------------------------------------------------------------------------- /tests/kendra/id283Q/chccontracts/id286_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/chccontracts/id286_c.xml -------------------------------------------------------------------------------- /tests/kendra/id283Q/id283.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/id283.c -------------------------------------------------------------------------------- /tests/kendra/id283Q/id283Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/id283Q.json -------------------------------------------------------------------------------- /tests/kendra/id283Q/id284.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/id284.c -------------------------------------------------------------------------------- /tests/kendra/id283Q/id285.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/id285.c -------------------------------------------------------------------------------- /tests/kendra/id283Q/id286.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id283Q/id286.c -------------------------------------------------------------------------------- /tests/kendra/id287Q/id287.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id287Q/id287.c -------------------------------------------------------------------------------- /tests/kendra/id287Q/id287Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id287Q/id287Q.json -------------------------------------------------------------------------------- /tests/kendra/id287Q/id288.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id287Q/id288.c -------------------------------------------------------------------------------- /tests/kendra/id287Q/id289.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id287Q/id289.c -------------------------------------------------------------------------------- /tests/kendra/id287Q/id290.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id287Q/id290.c -------------------------------------------------------------------------------- /tests/kendra/id291Q/id291.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/id291.c -------------------------------------------------------------------------------- /tests/kendra/id291Q/id291Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/id291Q.json -------------------------------------------------------------------------------- /tests/kendra/id291Q/id292.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/id292.c -------------------------------------------------------------------------------- /tests/kendra/id291Q/id293.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/id293.c -------------------------------------------------------------------------------- /tests/kendra/id291Q/id294.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/id294.c -------------------------------------------------------------------------------- /tests/kendra/id291Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id291Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id295Q/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/README.md -------------------------------------------------------------------------------- /tests/kendra/id295Q/id295.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/id295.c -------------------------------------------------------------------------------- /tests/kendra/id295Q/id295Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/id295Q.json -------------------------------------------------------------------------------- /tests/kendra/id295Q/id296.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/id296.c -------------------------------------------------------------------------------- /tests/kendra/id295Q/id297.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/id297.c -------------------------------------------------------------------------------- /tests/kendra/id295Q/id298.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/id298.c -------------------------------------------------------------------------------- /tests/kendra/id295Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id295Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id299Q/id299.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/id299.c -------------------------------------------------------------------------------- /tests/kendra/id299Q/id299Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/id299Q.json -------------------------------------------------------------------------------- /tests/kendra/id299Q/id300.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/id300.c -------------------------------------------------------------------------------- /tests/kendra/id299Q/id301.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/id301.c -------------------------------------------------------------------------------- /tests/kendra/id299Q/id302.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/id302.c -------------------------------------------------------------------------------- /tests/kendra/id299Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id299Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id303Q/id303.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/id303.c -------------------------------------------------------------------------------- /tests/kendra/id303Q/id303Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/id303Q.json -------------------------------------------------------------------------------- /tests/kendra/id303Q/id304.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/id304.c -------------------------------------------------------------------------------- /tests/kendra/id303Q/id305.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/id305.c -------------------------------------------------------------------------------- /tests/kendra/id303Q/id306.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/id306.c -------------------------------------------------------------------------------- /tests/kendra/id303Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id303Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id307Q/id307.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/id307.c -------------------------------------------------------------------------------- /tests/kendra/id307Q/id307Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/id307Q.json -------------------------------------------------------------------------------- /tests/kendra/id307Q/id308.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/id308.c -------------------------------------------------------------------------------- /tests/kendra/id307Q/id309.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/id309.c -------------------------------------------------------------------------------- /tests/kendra/id307Q/id310.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/id310.c -------------------------------------------------------------------------------- /tests/kendra/id307Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id307Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id311Q/id311.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/id311.c -------------------------------------------------------------------------------- /tests/kendra/id311Q/id311Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/id311Q.json -------------------------------------------------------------------------------- /tests/kendra/id311Q/id312.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/id312.c -------------------------------------------------------------------------------- /tests/kendra/id311Q/id313.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/id313.c -------------------------------------------------------------------------------- /tests/kendra/id311Q/id314.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/id314.c -------------------------------------------------------------------------------- /tests/kendra/id311Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id311Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id315Q/chccontracts/id315_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/chccontracts/id315_c.xml -------------------------------------------------------------------------------- /tests/kendra/id315Q/chccontracts/id316_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/chccontracts/id316_c.xml -------------------------------------------------------------------------------- /tests/kendra/id315Q/chccontracts/id317_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/chccontracts/id317_c.xml -------------------------------------------------------------------------------- /tests/kendra/id315Q/chccontracts/id318_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/chccontracts/id318_c.xml -------------------------------------------------------------------------------- /tests/kendra/id315Q/id315.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/id315.c -------------------------------------------------------------------------------- /tests/kendra/id315Q/id315Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/id315Q.json -------------------------------------------------------------------------------- /tests/kendra/id315Q/id316.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/id316.c -------------------------------------------------------------------------------- /tests/kendra/id315Q/id317.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/id317.c -------------------------------------------------------------------------------- /tests/kendra/id315Q/id318.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/id318.c -------------------------------------------------------------------------------- /tests/kendra/id315Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id315Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id319Q/id319.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/id319.c -------------------------------------------------------------------------------- /tests/kendra/id319Q/id319Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/id319Q.json -------------------------------------------------------------------------------- /tests/kendra/id319Q/id320.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/id320.c -------------------------------------------------------------------------------- /tests/kendra/id319Q/id321.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/id321.c -------------------------------------------------------------------------------- /tests/kendra/id319Q/id322.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/id322.c -------------------------------------------------------------------------------- /tests/kendra/id319Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id319Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id323Q/id323.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id323Q/id323.c -------------------------------------------------------------------------------- /tests/kendra/id323Q/id323Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id323Q/id323Q.json -------------------------------------------------------------------------------- /tests/kendra/id323Q/id324.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id323Q/id324.c -------------------------------------------------------------------------------- /tests/kendra/id323Q/id325.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id323Q/id325.c -------------------------------------------------------------------------------- /tests/kendra/id323Q/id326.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id323Q/id326.c -------------------------------------------------------------------------------- /tests/kendra/id327Q/chccontracts/globaldefs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/chccontracts/globaldefs.xml -------------------------------------------------------------------------------- /tests/kendra/id327Q/id327.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/id327.c -------------------------------------------------------------------------------- /tests/kendra/id327Q/id327Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/id327Q.json -------------------------------------------------------------------------------- /tests/kendra/id327Q/id328.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/id328.c -------------------------------------------------------------------------------- /tests/kendra/id327Q/id329.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/id329.c -------------------------------------------------------------------------------- /tests/kendra/id327Q/id330.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id327Q/id330.c -------------------------------------------------------------------------------- /tests/kendra/id331Q/id331.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id331Q/id331.c -------------------------------------------------------------------------------- /tests/kendra/id331Q/id331Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id331Q/id331Q.json -------------------------------------------------------------------------------- /tests/kendra/id331Q/id332.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id331Q/id332.c -------------------------------------------------------------------------------- /tests/kendra/id331Q/id333.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id331Q/id333.c -------------------------------------------------------------------------------- /tests/kendra/id331Q/id334.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id331Q/id334.c -------------------------------------------------------------------------------- /tests/kendra/id335Q/chccontracts/globaldefs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/chccontracts/globaldefs.xml -------------------------------------------------------------------------------- /tests/kendra/id335Q/id335.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/id335.c -------------------------------------------------------------------------------- /tests/kendra/id335Q/id335Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/id335Q.json -------------------------------------------------------------------------------- /tests/kendra/id335Q/id336.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/id336.c -------------------------------------------------------------------------------- /tests/kendra/id335Q/id337.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/id337.c -------------------------------------------------------------------------------- /tests/kendra/id335Q/id338.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id335Q/id338.c -------------------------------------------------------------------------------- /tests/kendra/id339Q/id339.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id339Q/id339.c -------------------------------------------------------------------------------- /tests/kendra/id339Q/id339Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id339Q/id339Q.json -------------------------------------------------------------------------------- /tests/kendra/id339Q/id340.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id339Q/id340.c -------------------------------------------------------------------------------- /tests/kendra/id339Q/id341.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id339Q/id341.c -------------------------------------------------------------------------------- /tests/kendra/id339Q/id342.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id339Q/id342.c -------------------------------------------------------------------------------- /tests/kendra/id343Q/id343.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id343Q/id343.c -------------------------------------------------------------------------------- /tests/kendra/id343Q/id343Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id343Q/id343Q.json -------------------------------------------------------------------------------- /tests/kendra/id343Q/id344.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id343Q/id344.c -------------------------------------------------------------------------------- /tests/kendra/id343Q/id345.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id343Q/id345.c -------------------------------------------------------------------------------- /tests/kendra/id343Q/id346.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id343Q/id346.c -------------------------------------------------------------------------------- /tests/kendra/id347Q/id347.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id347Q/id347.c -------------------------------------------------------------------------------- /tests/kendra/id347Q/id347Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id347Q/id347Q.json -------------------------------------------------------------------------------- /tests/kendra/id347Q/id348.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id347Q/id348.c -------------------------------------------------------------------------------- /tests/kendra/id347Q/id349.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id347Q/id349.c -------------------------------------------------------------------------------- /tests/kendra/id347Q/id350.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id347Q/id350.c -------------------------------------------------------------------------------- /tests/kendra/id351Q/id351.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id351Q/id351.c -------------------------------------------------------------------------------- /tests/kendra/id351Q/id351Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id351Q/id351Q.json -------------------------------------------------------------------------------- /tests/kendra/id351Q/id352.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id351Q/id352.c -------------------------------------------------------------------------------- /tests/kendra/id351Q/id353.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id351Q/id353.c -------------------------------------------------------------------------------- /tests/kendra/id351Q/id354.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id351Q/id354.c -------------------------------------------------------------------------------- /tests/kendra/id355Q/id355.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id355Q/id355.c -------------------------------------------------------------------------------- /tests/kendra/id355Q/id355Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id355Q/id355Q.json -------------------------------------------------------------------------------- /tests/kendra/id355Q/id356.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id355Q/id356.c -------------------------------------------------------------------------------- /tests/kendra/id355Q/id357.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id355Q/id357.c -------------------------------------------------------------------------------- /tests/kendra/id355Q/id358.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id355Q/id358.c -------------------------------------------------------------------------------- /tests/kendra/id359Q/id359.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id359Q/id359.c -------------------------------------------------------------------------------- /tests/kendra/id359Q/id359Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id359Q/id359Q.json -------------------------------------------------------------------------------- /tests/kendra/id359Q/id360.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id359Q/id360.c -------------------------------------------------------------------------------- /tests/kendra/id359Q/id361.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id359Q/id361.c -------------------------------------------------------------------------------- /tests/kendra/id359Q/id362.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id359Q/id362.c -------------------------------------------------------------------------------- /tests/kendra/id363Q/id363.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/id363.c -------------------------------------------------------------------------------- /tests/kendra/id363Q/id363Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/id363Q.json -------------------------------------------------------------------------------- /tests/kendra/id363Q/id364.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/id364.c -------------------------------------------------------------------------------- /tests/kendra/id363Q/id365.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/id365.c -------------------------------------------------------------------------------- /tests/kendra/id363Q/id366.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/id366.c -------------------------------------------------------------------------------- /tests/kendra/id363Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id363Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id367Q/id367.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id367Q/id367.c -------------------------------------------------------------------------------- /tests/kendra/id367Q/id367Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id367Q/id367Q.json -------------------------------------------------------------------------------- /tests/kendra/id367Q/id368.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id367Q/id368.c -------------------------------------------------------------------------------- /tests/kendra/id367Q/id369.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id367Q/id369.c -------------------------------------------------------------------------------- /tests/kendra/id367Q/id370.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id367Q/id370.c -------------------------------------------------------------------------------- /tests/kendra/id371Q/chccontracts/globaldefs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/chccontracts/globaldefs.xml -------------------------------------------------------------------------------- /tests/kendra/id371Q/id371.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/id371.c -------------------------------------------------------------------------------- /tests/kendra/id371Q/id371Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/id371Q.json -------------------------------------------------------------------------------- /tests/kendra/id371Q/id372.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/id372.c -------------------------------------------------------------------------------- /tests/kendra/id371Q/id373.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/id373.c -------------------------------------------------------------------------------- /tests/kendra/id371Q/id374.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id371Q/id374.c -------------------------------------------------------------------------------- /tests/kendra/id375Q/id375.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id375Q/id375.c -------------------------------------------------------------------------------- /tests/kendra/id375Q/id375Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id375Q/id375Q.json -------------------------------------------------------------------------------- /tests/kendra/id375Q/id376.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id375Q/id376.c -------------------------------------------------------------------------------- /tests/kendra/id375Q/id377.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id375Q/id377.c -------------------------------------------------------------------------------- /tests/kendra/id375Q/id378.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id375Q/id378.c -------------------------------------------------------------------------------- /tests/kendra/id379Q/id379.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id379Q/id379.c -------------------------------------------------------------------------------- /tests/kendra/id379Q/id379Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id379Q/id379Q.json -------------------------------------------------------------------------------- /tests/kendra/id379Q/id380.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id379Q/id380.c -------------------------------------------------------------------------------- /tests/kendra/id379Q/id381.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id379Q/id381.c -------------------------------------------------------------------------------- /tests/kendra/id379Q/id382.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id379Q/id382.c -------------------------------------------------------------------------------- /tests/kendra/id383Q/id383.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id383Q/id383.c -------------------------------------------------------------------------------- /tests/kendra/id383Q/id383Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id383Q/id383Q.json -------------------------------------------------------------------------------- /tests/kendra/id383Q/id384.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id383Q/id384.c -------------------------------------------------------------------------------- /tests/kendra/id383Q/id385.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id383Q/id385.c -------------------------------------------------------------------------------- /tests/kendra/id383Q/id386.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id383Q/id386.c -------------------------------------------------------------------------------- /tests/kendra/id387Q/id387.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id387Q/id387.c -------------------------------------------------------------------------------- /tests/kendra/id387Q/id387Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id387Q/id387Q.json -------------------------------------------------------------------------------- /tests/kendra/id387Q/id388.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id387Q/id388.c -------------------------------------------------------------------------------- /tests/kendra/id387Q/id389.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id387Q/id389.c -------------------------------------------------------------------------------- /tests/kendra/id387Q/id390.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id387Q/id390.c -------------------------------------------------------------------------------- /tests/kendra/id391Q/id391.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/id391.c -------------------------------------------------------------------------------- /tests/kendra/id391Q/id391Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/id391Q.json -------------------------------------------------------------------------------- /tests/kendra/id391Q/id392.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/id392.c -------------------------------------------------------------------------------- /tests/kendra/id391Q/id393.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/id393.c -------------------------------------------------------------------------------- /tests/kendra/id391Q/id394.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/id394.c -------------------------------------------------------------------------------- /tests/kendra/id391Q/semantics_linux.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id391Q/semantics_linux.tar.gz -------------------------------------------------------------------------------- /tests/kendra/id395Q/chccontracts/id395_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/chccontracts/id395_c.xml -------------------------------------------------------------------------------- /tests/kendra/id395Q/chccontracts/id396_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/chccontracts/id396_c.xml -------------------------------------------------------------------------------- /tests/kendra/id395Q/chccontracts/id397_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/chccontracts/id397_c.xml -------------------------------------------------------------------------------- /tests/kendra/id395Q/chccontracts/id398_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/chccontracts/id398_c.xml -------------------------------------------------------------------------------- /tests/kendra/id395Q/id395.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/id395.c -------------------------------------------------------------------------------- /tests/kendra/id395Q/id395Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/id395Q.json -------------------------------------------------------------------------------- /tests/kendra/id395Q/id396.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/id396.c -------------------------------------------------------------------------------- /tests/kendra/id395Q/id397.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/id397.c -------------------------------------------------------------------------------- /tests/kendra/id395Q/id398.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id395Q/id398.c -------------------------------------------------------------------------------- /tests/kendra/id399Q/chccontracts/id399_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/chccontracts/id399_c.xml -------------------------------------------------------------------------------- /tests/kendra/id399Q/chccontracts/id400_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/chccontracts/id400_c.xml -------------------------------------------------------------------------------- /tests/kendra/id399Q/chccontracts/id401_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/chccontracts/id401_c.xml -------------------------------------------------------------------------------- /tests/kendra/id399Q/chccontracts/id402_c.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/chccontracts/id402_c.xml -------------------------------------------------------------------------------- /tests/kendra/id399Q/id399.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/id399.c -------------------------------------------------------------------------------- /tests/kendra/id399Q/id399Q.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/id399Q.json -------------------------------------------------------------------------------- /tests/kendra/id399Q/id400.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/id400.c -------------------------------------------------------------------------------- /tests/kendra/id399Q/id401.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/id401.c -------------------------------------------------------------------------------- /tests/kendra/id399Q/id402.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/kendra/id399Q/id402.c -------------------------------------------------------------------------------- /tests/libcsummaries/string/strlen/strlen_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/libcsummaries/string/strlen/strlen_test.c -------------------------------------------------------------------------------- /tests/libcsummaries/string/strncpy/strncpy_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/libcsummaries/string/strncpy/strncpy_test.c -------------------------------------------------------------------------------- /tests/libcsummaries/testfiles.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/libcsummaries/testfiles.json -------------------------------------------------------------------------------- /tests/libcsummaries/time/localtime/localtime_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/libcsummaries/time/localtime/localtime_test.c -------------------------------------------------------------------------------- /tests/libcsummaries/time/time_h.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/static-analysis-engineering/CodeHawk-C/HEAD/tests/libcsummaries/time/time_h.h --------------------------------------------------------------------------------