├── .devcontainer └── devcontainer.json ├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── dependabot.yml └── workflows │ ├── release_on_tag.yml │ └── run_tests_on_push_pr.yml ├── .gitignore ├── .gitmodules ├── 3rdparty └── README.md ├── CHANGELOG.md ├── Dockerfile ├── INSTALL.md ├── LICENSE.md ├── LICENSE.txt ├── Module.manifest ├── README.md ├── data ├── apidb │ └── kernel32.dll ├── apidb_src │ └── kernel32.cpp └── signature.json ├── docs ├── DevelopmentGuide.md ├── DisAsmImprovements.md ├── FnHashing.md ├── GhiHorn.md ├── HeadlessKaiju.md ├── KaijuOverview.md ├── OOAnalyzerImporter.md ├── images │ ├── KaijuLong.png │ ├── KaijuSquare.png │ ├── analyzer_selection.png │ ├── fnhash_analyzer_desc.png │ ├── fnhash_fse.png │ ├── fnhash_popup.png │ ├── fnhash_table_first_start.png │ ├── fnhash_table_refreshed.png │ ├── fnxrefs.png │ ├── ooimporter-build.png │ └── ooimporter-import.png └── license.html ├── extension.properties ├── ghidra_scripts ├── GhiHornHeadlessTool.java ├── KaijuExportCSVHeadless.java ├── KaijuExportXrefsToCSVHeadless.java ├── KaijuExportYaraHeadless.java ├── KaijuSetupScript.java ├── KaijuVersionPrinterHeadless.java └── README.txt ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── kaijuRun ├── lib └── README.txt ├── os ├── linux_x86_64 │ └── README.txt ├── mac_arm_64 │ └── README.txt ├── mac_x86_64 │ └── README.txt └── win_x86_64 │ └── README.txt ├── settings.gradle └── src ├── main ├── help │ └── help │ │ ├── TOC_Source.xml │ │ ├── shared │ │ └── DefaultStyle.css │ │ └── topics │ │ └── kaiju │ │ └── README.md ├── java │ └── kaiju │ │ ├── AlignmentAction.java │ │ ├── common │ │ ├── KaijuGhidraCompat.java │ │ ├── KaijuHeadlessTool.java │ │ ├── KaijuLogger.java │ │ ├── KaijuNativeLibraryLoaderUtil.java │ │ ├── KaijuPluginPackage.java │ │ ├── KaijuPropertyManager.java │ │ ├── di │ │ │ ├── GhidraDI.java │ │ │ └── GhidraVersionSpecific.java │ │ └── logging │ │ │ ├── MultiLogLevel.java │ │ │ └── MultiLogger.java │ │ ├── disasm │ │ └── context │ │ │ ├── InsnCategorizer.java │ │ │ ├── InsnContext.java │ │ │ ├── InvalidStrategyException.java │ │ │ └── impl │ │ │ ├── ArmStrategy.java │ │ │ ├── MipsStrategy.java │ │ │ ├── PpcStrategy.java │ │ │ └── X86Strategy.java │ │ ├── export │ │ ├── CsvExporter.java │ │ └── GTableToCSV.java │ │ ├── graph │ │ ├── FunctionGraph.java │ │ └── original │ │ │ ├── AddressComparator.java │ │ │ ├── CodeUnitEdge.java │ │ │ ├── CodeUnitVertex.java │ │ │ ├── FunctionCodeFlow.java │ │ │ ├── FunctionUtils.java │ │ │ ├── InsnControlFlowGraph.java │ │ │ ├── InsnControlFlowGraphDebugVisitor.java │ │ │ ├── InsnControlFlowGraphElement.java │ │ │ └── InsnControlFlowGraphElementVisitor.java │ │ ├── hashing │ │ └── FnHashSaveable.java │ │ ├── tools │ │ ├── disasm │ │ │ ├── DisasmImprovementsAnalyzer.java │ │ │ ├── DisasmImprover.java │ │ │ ├── DisasmStrategy.java │ │ │ ├── GhidraTypeUtilities.java │ │ │ ├── InvalidImproverStrategyException.java │ │ │ └── impl │ │ │ │ └── X86ImproverStrategy.java │ │ ├── fnhash │ │ │ ├── FnHashAnalyzer.java │ │ │ ├── FnHashOptions.java │ │ │ ├── FnHashPlugin.java │ │ │ ├── HashViewerColumnConstraintProvider.java │ │ │ ├── HashViewerContext.java │ │ │ ├── HashViewerProvider.java │ │ │ ├── HashViewerTableModel.java │ │ │ ├── IsHexHashConstraint.java │ │ │ ├── StringDataInstanceColumnConstraint.java │ │ │ └── StringDataInstanceColumnTypeMapper.java │ │ ├── fnhashclassic │ │ │ ├── BlockHashData.java │ │ │ ├── FnHashClassicAnalyzer.java │ │ │ ├── FnHashOptions.java │ │ │ ├── FnUtils.java │ │ │ ├── GTableToYARA.java │ │ │ ├── HeadlessToCSV.java │ │ │ └── UnitHashData.java │ │ ├── fnxrefs │ │ │ ├── FnXrefViewerContext.java │ │ │ ├── FnXrefViewerPlugin.java │ │ │ ├── FnXrefViewerProvider.java │ │ │ ├── FnXrefViewerTableModel.java │ │ │ └── HeadlessXrefsToCSV.java │ │ ├── fse │ │ │ ├── ExtractedFunction.java │ │ │ ├── FnSetExtractor.java │ │ │ ├── FnSetExtractorPlugin.java │ │ │ └── FnSetExtractorProvider.java │ │ ├── ghihorn │ │ │ ├── GhiHornPlugin.java │ │ │ ├── GhiHornProvider.java │ │ │ ├── GhiHornifierBuilder.java │ │ │ ├── answer │ │ │ │ ├── GhiHornAnswerAttributes.java │ │ │ │ ├── GhiHornAnswerGraphBuilder.java │ │ │ │ ├── GhiHornSatAttributes.java │ │ │ │ ├── GhiHornUnsatAttributes.java │ │ │ │ ├── format │ │ │ │ │ ├── GhiHornAnswerJsonFormatter.java │ │ │ │ │ ├── GhiHornAnswerTextFormatter.java │ │ │ │ │ ├── GhiHornDisplaySettingBuilder.java │ │ │ │ │ ├── GhiHornDisplaySettings.java │ │ │ │ │ ├── GhiHornFormattableElement.java │ │ │ │ │ ├── GhiHornOutputFormatter.java │ │ │ │ │ └── GhiHornTextFormatter.java │ │ │ │ └── graph │ │ │ │ │ ├── GhiHornAnswerGraph.java │ │ │ │ │ ├── GhiHornAnswerGraphEdge.java │ │ │ │ │ ├── GhiHornAnswerGraphVertex.java │ │ │ │ │ └── display │ │ │ │ │ ├── GhiHornAnswerGraphVisualEdge.java │ │ │ │ │ ├── GhiHornAnswerGraphVisualVertex.java │ │ │ │ │ └── GhiHornVisualAnswerGraph.java │ │ │ ├── api │ │ │ │ ├── ApiDatabase.java │ │ │ │ ├── ApiEntry.java │ │ │ │ ├── FileSystem.java │ │ │ │ └── GhiHornApiDatabase.java │ │ │ ├── cfg │ │ │ │ ├── HighCfg.java │ │ │ │ ├── HighCfgConstraint.java │ │ │ │ ├── HighCfgEdge.java │ │ │ │ ├── HighCfgEdgeGuard.java │ │ │ │ ├── HighCfgVertex.java │ │ │ │ └── VertexAttributes.java │ │ │ ├── cmd │ │ │ │ ├── GhiHornCommand.java │ │ │ │ └── GhiHornCommandListener.java │ │ │ ├── decompiler │ │ │ │ ├── ChunkingTaskMonitor.java │ │ │ │ ├── DecompilerFactory.java │ │ │ │ ├── GhiHornDecompiler.java │ │ │ │ ├── GhiHornParallelDecompiler.java │ │ │ │ ├── GhiHornSimpleDecompiler.java │ │ │ │ └── ParallelDecompilerCallback.java │ │ │ ├── display │ │ │ │ ├── GhiHornController.java │ │ │ │ └── graph │ │ │ │ │ ├── GhiHornAnswerGraphComponent.java │ │ │ │ │ ├── GhiHornAnswerGraphLayout.java │ │ │ │ │ └── GhiHornAnswerGraphLayoutProvider.java │ │ │ ├── exception │ │ │ │ └── GhiHornException.java │ │ │ ├── frg │ │ │ │ ├── FrgBuilder.java │ │ │ │ ├── FrgEdge.java │ │ │ │ ├── FrgResult.java │ │ │ │ └── FrgVertex.java │ │ │ ├── hornifer │ │ │ │ ├── GhiHornCommandEvent.java │ │ │ │ ├── GhiHornifier.java │ │ │ │ ├── block │ │ │ │ │ ├── HornBlock.java │ │ │ │ │ ├── HornBlockProperty.java │ │ │ │ │ ├── HornCallProperty.java │ │ │ │ │ ├── HornEntryProperty.java │ │ │ │ │ └── HornRetnProperty.java │ │ │ │ ├── edge │ │ │ │ │ └── HornEdge.java │ │ │ │ └── horn │ │ │ │ │ ├── GhiHornAnswer.java │ │ │ │ │ ├── GhiHornArgument.java │ │ │ │ │ ├── GhiHornFixedPoint.java │ │ │ │ │ ├── HornClause.java │ │ │ │ │ ├── HornFunction.java │ │ │ │ │ ├── HornFunctionInstance.java │ │ │ │ │ ├── HornProgram.java │ │ │ │ │ ├── HornRuleExpr.java │ │ │ │ │ ├── LiveHornVariables.java │ │ │ │ │ ├── element │ │ │ │ │ ├── HornElement.java │ │ │ │ │ ├── HornFact.java │ │ │ │ │ └── HornPredicate.java │ │ │ │ │ ├── expression │ │ │ │ │ ├── AddExpression.java │ │ │ │ │ ├── AndExpression.java │ │ │ │ │ ├── AshrExpression.java │ │ │ │ │ ├── BoolAndExpression.java │ │ │ │ │ ├── BoolNotExpression.java │ │ │ │ │ ├── BoolOrExpression.java │ │ │ │ │ ├── BvNegExpression.java │ │ │ │ │ ├── BvNotExpression.java │ │ │ │ │ ├── BvOrExpression.java │ │ │ │ │ ├── CopyExpression.java │ │ │ │ │ ├── EqExpression.java │ │ │ │ │ ├── FalseExpression.java │ │ │ │ │ ├── HornExpression.java │ │ │ │ │ ├── ImpliesExpression.java │ │ │ │ │ ├── IteExpression.java │ │ │ │ │ ├── LoadExpression.java │ │ │ │ │ ├── ModuloExpression.java │ │ │ │ │ ├── MulExpression.java │ │ │ │ │ ├── NeExpression.java │ │ │ │ │ ├── PcodeExpression.java │ │ │ │ │ ├── PtraddExpression.java │ │ │ │ │ ├── PtrsubExpression.java │ │ │ │ │ ├── SdivExpression.java │ │ │ │ │ ├── SextExpression.java │ │ │ │ │ ├── ShlExpression.java │ │ │ │ │ ├── ShrExpression.java │ │ │ │ │ ├── SleExpression.java │ │ │ │ │ ├── SltExpression.java │ │ │ │ │ ├── SremExpression.java │ │ │ │ │ ├── StoreExpression.java │ │ │ │ │ ├── SubExpression.java │ │ │ │ │ ├── TrueExpression.java │ │ │ │ │ ├── UdivExpression.java │ │ │ │ │ ├── UleExpression.java │ │ │ │ │ ├── UltExpression.java │ │ │ │ │ ├── UremExpression.java │ │ │ │ │ ├── XorExpression.java │ │ │ │ │ └── ZextExpression.java │ │ │ │ │ └── variable │ │ │ │ │ ├── HornConstant.java │ │ │ │ │ ├── HornVariable.java │ │ │ │ │ ├── HornVariableExpression.java │ │ │ │ │ └── HornVariableName.java │ │ │ ├── tools │ │ │ │ ├── GhiHornEventConfig.java │ │ │ │ ├── apianalyzer │ │ │ │ │ ├── ApiAnalyzerArgument.java │ │ │ │ │ ├── ApiAnalyzerConfig.java │ │ │ │ │ ├── ApiAnalyzerController.java │ │ │ │ │ ├── ApiAnalyzerHornifier.java │ │ │ │ │ ├── ApiFunction.java │ │ │ │ │ ├── ApiSignature.java │ │ │ │ │ └── json │ │ │ │ │ │ ├── ApiSigFunction.java │ │ │ │ │ │ ├── ApiSignatureJsonParser.java │ │ │ │ │ │ ├── SignatureApiFunction.java │ │ │ │ │ │ ├── SignatureEntry.java │ │ │ │ │ │ └── SignaturesType.java │ │ │ │ └── pathanalyzer │ │ │ │ │ ├── PathAnalyzerArgument.java │ │ │ │ │ ├── PathAnalyzerConfig.java │ │ │ │ │ ├── PathAnalyzerController.java │ │ │ │ │ └── PathAnalyzerHornifier.java │ │ │ └── z3 │ │ │ │ ├── GhiHornArrayType.java │ │ │ │ ├── GhiHornBitVectorType.java │ │ │ │ ├── GhiHornBooleanType.java │ │ │ │ ├── GhiHornContext.java │ │ │ │ ├── GhiHornDataType.java │ │ │ │ ├── GhiHornFixedpointStatus.java │ │ │ │ ├── GhiHornIntegerType.java │ │ │ │ ├── GhiHornType.java │ │ │ │ ├── GhiHornUndefinedType.java │ │ │ │ └── GhiHornZ3Parameters.java │ │ ├── ooanalyzer │ │ │ ├── ClassTypeChecker.java │ │ │ ├── OOAnalyzer.java │ │ │ ├── OOAnalyzerAnalyzer.java │ │ │ ├── OOAnalyzerDialog.java │ │ │ ├── OOAnalyzerGhidraPlugin.java │ │ │ └── jsontypes │ │ │ │ ├── Member.java │ │ │ │ ├── Method.java │ │ │ │ ├── OOAnalyzerClassType.java │ │ │ │ ├── OOAnalyzerJsonRoot.java │ │ │ │ ├── Vfentry.java │ │ │ │ └── Vftable.java │ │ └── statuscheck │ │ │ ├── KaijuStatusCheckDialog.java │ │ │ └── KaijuStatusCheckPlugin.java │ │ └── util │ │ ├── AddressUtils.java │ │ ├── ByteArrayList.java │ │ ├── HexUtils.java │ │ ├── Pair.java │ │ └── Triple.java └── resources │ ├── defaultTools │ └── TestCodeBrowser.tool │ ├── images │ ├── Kaiju.png │ ├── Pharos.png │ ├── README.txt │ ├── green-check.png │ ├── kaiju-icon.png │ └── red-x.png │ └── kaiju │ └── tools │ └── statuscheck │ └── kaiju_tips.txt └── test ├── java ├── README.test.txt └── kaiju │ ├── common │ └── KaijuCoreTest.java │ ├── ghihorn │ ├── DummyApiDatabase.java │ ├── GhiHornEventListener.java │ ├── GhiHornTest.java │ └── GhiHornTestEnv.java │ └── ooanalyzer │ ├── OOAnalyzerTest.java │ └── OOAnalyzerTestHelper.java └── resources ├── README.md ├── TestCodeBrowser.tool └── ooanalyzer ├── KaijuSampleTestRun.txt ├── ooex_vs2008 └── Debug │ ├── oo.json │ ├── ooex0.json │ ├── ooex1.json │ ├── ooex2.json │ ├── ooex3.json │ ├── ooex4.json │ ├── ooex5.json │ ├── ooex6.json │ ├── ooex7.json │ ├── ooex8.json │ ├── ooex9.json │ └── poly.json └── ooex_vs2010 ├── Debug ├── oo.json ├── ooex0.json ├── ooex1.json ├── ooex2.json ├── ooex3.json ├── ooex4.json ├── ooex5.json ├── ooex6.json ├── ooex7.json ├── ooex8.json ├── ooex9.json └── poly.json └── Lite ├── oo.json ├── ooex0.json ├── ooex1.json ├── ooex2.json ├── ooex3.json ├── ooex4.json ├── ooex5.json ├── ooex6.json ├── ooex7.json ├── ooex8.json ├── ooex9.json └── poly.json /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/release_on_tag.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.github/workflows/release_on_tag.yml -------------------------------------------------------------------------------- /.github/workflows/run_tests_on_push_pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.github/workflows/run_tests_on_push_pr.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /3rdparty/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/3rdparty/README.md -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/Dockerfile -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Module.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/Module.manifest -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/README.md -------------------------------------------------------------------------------- /data/apidb/kernel32.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/data/apidb/kernel32.dll -------------------------------------------------------------------------------- /data/apidb_src/kernel32.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/data/apidb_src/kernel32.cpp -------------------------------------------------------------------------------- /data/signature.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/data/signature.json -------------------------------------------------------------------------------- /docs/DevelopmentGuide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/DevelopmentGuide.md -------------------------------------------------------------------------------- /docs/DisAsmImprovements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/DisAsmImprovements.md -------------------------------------------------------------------------------- /docs/FnHashing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/FnHashing.md -------------------------------------------------------------------------------- /docs/GhiHorn.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/GhiHorn.md -------------------------------------------------------------------------------- /docs/HeadlessKaiju.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/HeadlessKaiju.md -------------------------------------------------------------------------------- /docs/KaijuOverview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/KaijuOverview.md -------------------------------------------------------------------------------- /docs/OOAnalyzerImporter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/OOAnalyzerImporter.md -------------------------------------------------------------------------------- /docs/images/KaijuLong.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/KaijuLong.png -------------------------------------------------------------------------------- /docs/images/KaijuSquare.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/KaijuSquare.png -------------------------------------------------------------------------------- /docs/images/analyzer_selection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/analyzer_selection.png -------------------------------------------------------------------------------- /docs/images/fnhash_analyzer_desc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnhash_analyzer_desc.png -------------------------------------------------------------------------------- /docs/images/fnhash_fse.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnhash_fse.png -------------------------------------------------------------------------------- /docs/images/fnhash_popup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnhash_popup.png -------------------------------------------------------------------------------- /docs/images/fnhash_table_first_start.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnhash_table_first_start.png -------------------------------------------------------------------------------- /docs/images/fnhash_table_refreshed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnhash_table_refreshed.png -------------------------------------------------------------------------------- /docs/images/fnxrefs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/fnxrefs.png -------------------------------------------------------------------------------- /docs/images/ooimporter-build.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/ooimporter-build.png -------------------------------------------------------------------------------- /docs/images/ooimporter-import.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/images/ooimporter-import.png -------------------------------------------------------------------------------- /docs/license.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/docs/license.html -------------------------------------------------------------------------------- /extension.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/extension.properties -------------------------------------------------------------------------------- /ghidra_scripts/GhiHornHeadlessTool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/GhiHornHeadlessTool.java -------------------------------------------------------------------------------- /ghidra_scripts/KaijuExportCSVHeadless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/KaijuExportCSVHeadless.java -------------------------------------------------------------------------------- /ghidra_scripts/KaijuExportXrefsToCSVHeadless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/KaijuExportXrefsToCSVHeadless.java -------------------------------------------------------------------------------- /ghidra_scripts/KaijuExportYaraHeadless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/KaijuExportYaraHeadless.java -------------------------------------------------------------------------------- /ghidra_scripts/KaijuSetupScript.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/KaijuSetupScript.java -------------------------------------------------------------------------------- /ghidra_scripts/KaijuVersionPrinterHeadless.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/ghidra_scripts/KaijuVersionPrinterHeadless.java -------------------------------------------------------------------------------- /ghidra_scripts/README.txt: -------------------------------------------------------------------------------- 1 | Java source directory to hold module-specific Ghidra scripts. 2 | -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/gradlew.bat -------------------------------------------------------------------------------- /kaijuRun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/kaijuRun -------------------------------------------------------------------------------- /lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/lib/README.txt -------------------------------------------------------------------------------- /os/linux_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/os/linux_x86_64/README.txt -------------------------------------------------------------------------------- /os/mac_arm_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/os/mac_arm_64/README.txt -------------------------------------------------------------------------------- /os/mac_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/os/mac_x86_64/README.txt -------------------------------------------------------------------------------- /os/win_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/os/win_x86_64/README.txt -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name ='kaiju' 2 | -------------------------------------------------------------------------------- /src/main/help/help/TOC_Source.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/help/help/TOC_Source.xml -------------------------------------------------------------------------------- /src/main/help/help/shared/DefaultStyle.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/help/help/shared/DefaultStyle.css -------------------------------------------------------------------------------- /src/main/help/help/topics/kaiju/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/help/help/topics/kaiju/README.md -------------------------------------------------------------------------------- /src/main/java/kaiju/AlignmentAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/AlignmentAction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuGhidraCompat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuGhidraCompat.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuHeadlessTool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuHeadlessTool.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuLogger.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuNativeLibraryLoaderUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuNativeLibraryLoaderUtil.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuPluginPackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuPluginPackage.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/KaijuPropertyManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/KaijuPropertyManager.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/di/GhidraDI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/di/GhidraDI.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/di/GhidraVersionSpecific.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/di/GhidraVersionSpecific.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/logging/MultiLogLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/logging/MultiLogLevel.java -------------------------------------------------------------------------------- /src/main/java/kaiju/common/logging/MultiLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/common/logging/MultiLogger.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/InsnCategorizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/InsnCategorizer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/InsnContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/InsnContext.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/InvalidStrategyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/InvalidStrategyException.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/impl/ArmStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/impl/ArmStrategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/impl/MipsStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/impl/MipsStrategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/impl/PpcStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/impl/PpcStrategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/disasm/context/impl/X86Strategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/disasm/context/impl/X86Strategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/export/CsvExporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/export/CsvExporter.java -------------------------------------------------------------------------------- /src/main/java/kaiju/export/GTableToCSV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/export/GTableToCSV.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/FunctionGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/FunctionGraph.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/AddressComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/AddressComparator.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/CodeUnitEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/CodeUnitEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/CodeUnitVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/CodeUnitVertex.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/FunctionCodeFlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/FunctionCodeFlow.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/FunctionUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/FunctionUtils.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/InsnControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/InsnControlFlowGraph.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/InsnControlFlowGraphDebugVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/InsnControlFlowGraphDebugVisitor.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/InsnControlFlowGraphElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/InsnControlFlowGraphElement.java -------------------------------------------------------------------------------- /src/main/java/kaiju/graph/original/InsnControlFlowGraphElementVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/graph/original/InsnControlFlowGraphElementVisitor.java -------------------------------------------------------------------------------- /src/main/java/kaiju/hashing/FnHashSaveable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/hashing/FnHashSaveable.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/DisasmImprovementsAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/DisasmImprovementsAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/DisasmImprover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/DisasmImprover.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/DisasmStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/DisasmStrategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/GhidraTypeUtilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/GhidraTypeUtilities.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/InvalidImproverStrategyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/InvalidImproverStrategyException.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/disasm/impl/X86ImproverStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/disasm/impl/X86ImproverStrategy.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/FnHashAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/FnHashAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/FnHashOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/FnHashOptions.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/FnHashPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/FnHashPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/HashViewerColumnConstraintProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/HashViewerColumnConstraintProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/HashViewerContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/HashViewerContext.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/HashViewerProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/HashViewerProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/HashViewerTableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/HashViewerTableModel.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/IsHexHashConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/IsHexHashConstraint.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/StringDataInstanceColumnConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/StringDataInstanceColumnConstraint.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhash/StringDataInstanceColumnTypeMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhash/StringDataInstanceColumnTypeMapper.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/BlockHashData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/BlockHashData.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/FnHashClassicAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/FnHashClassicAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/FnHashOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/FnHashOptions.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/FnUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/FnUtils.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/GTableToYARA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/GTableToYARA.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/HeadlessToCSV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/HeadlessToCSV.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnhashclassic/UnitHashData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnhashclassic/UnitHashData.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnxrefs/FnXrefViewerContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnxrefs/FnXrefViewerContext.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnxrefs/FnXrefViewerPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnxrefs/FnXrefViewerPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnxrefs/FnXrefViewerProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnxrefs/FnXrefViewerProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnxrefs/FnXrefViewerTableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnxrefs/FnXrefViewerTableModel.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fnxrefs/HeadlessXrefsToCSV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fnxrefs/HeadlessXrefsToCSV.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fse/ExtractedFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fse/ExtractedFunction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fse/FnSetExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fse/FnSetExtractor.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fse/FnSetExtractorPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fse/FnSetExtractorPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/fse/FnSetExtractorProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/fse/FnSetExtractorProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/GhiHornPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/GhiHornPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/GhiHornProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/GhiHornProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/GhiHornifierBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/GhiHornifierBuilder.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/GhiHornAnswerAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/GhiHornAnswerAttributes.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/GhiHornAnswerGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/GhiHornAnswerGraphBuilder.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/GhiHornSatAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/GhiHornSatAttributes.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/GhiHornUnsatAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/GhiHornUnsatAttributes.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornAnswerJsonFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornAnswerJsonFormatter.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornAnswerTextFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornAnswerTextFormatter.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornDisplaySettingBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornDisplaySettingBuilder.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornDisplaySettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornDisplaySettings.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornFormattableElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornFormattableElement.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornOutputFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornOutputFormatter.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/format/GhiHornTextFormatter.java: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraph.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraphEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraphEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraphVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/GhiHornAnswerGraphVertex.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornAnswerGraphVisualEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornAnswerGraphVisualEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornAnswerGraphVisualVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornAnswerGraphVisualVertex.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornVisualAnswerGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/answer/graph/display/GhiHornVisualAnswerGraph.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/api/ApiDatabase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/api/ApiDatabase.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/api/ApiEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/api/ApiEntry.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/api/FileSystem.java: -------------------------------------------------------------------------------- 1 | package kaiju.tools.ghihorn.api; 2 | 3 | public class FileSystem { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/api/GhiHornApiDatabase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/api/GhiHornApiDatabase.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/HighCfg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/HighCfg.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/HighCfgConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/HighCfgConstraint.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/HighCfgEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/HighCfgEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/HighCfgEdgeGuard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/HighCfgEdgeGuard.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/HighCfgVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/HighCfgVertex.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cfg/VertexAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cfg/VertexAttributes.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cmd/GhiHornCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cmd/GhiHornCommand.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/cmd/GhiHornCommandListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/cmd/GhiHornCommandListener.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/ChunkingTaskMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/ChunkingTaskMonitor.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/DecompilerFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/DecompilerFactory.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornDecompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornDecompiler.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornParallelDecompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornParallelDecompiler.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornSimpleDecompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/GhiHornSimpleDecompiler.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/decompiler/ParallelDecompilerCallback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/decompiler/ParallelDecompilerCallback.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/display/GhiHornController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/display/GhiHornController.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphComponent.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphLayout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphLayout.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphLayoutProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/display/graph/GhiHornAnswerGraphLayoutProvider.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/exception/GhiHornException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/exception/GhiHornException.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/frg/FrgBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/frg/FrgBuilder.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/frg/FrgEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/frg/FrgEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/frg/FrgResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/frg/FrgResult.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/frg/FrgVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/frg/FrgVertex.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/GhiHornCommandEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/GhiHornCommandEvent.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/GhiHornifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/GhiHornifier.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/block/HornBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/block/HornBlock.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/block/HornBlockProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/block/HornBlockProperty.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/block/HornCallProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/block/HornCallProperty.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/block/HornEntryProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/block/HornEntryProperty.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/block/HornRetnProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/block/HornRetnProperty.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/edge/HornEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/edge/HornEdge.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornAnswer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornAnswer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornArgument.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornFixedPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/GhiHornFixedPoint.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornClause.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornFunction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornFunctionInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornFunctionInstance.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornProgram.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornRuleExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/HornRuleExpr.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/LiveHornVariables.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/LiveHornVariables.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornElement.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornFact.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/element/HornPredicate.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AddExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AddExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AndExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AndExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AshrExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/AshrExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolAndExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolAndExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolNotExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolNotExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolOrExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BoolOrExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvNegExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvNegExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvNotExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvNotExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvOrExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/BvOrExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/CopyExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/CopyExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/EqExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/EqExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/FalseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/FalseExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/HornExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/HornExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ImpliesExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ImpliesExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/IteExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/IteExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/LoadExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/LoadExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ModuloExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ModuloExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/MulExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/MulExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/NeExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/NeExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PcodeExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PcodeExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PtraddExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PtraddExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PtrsubExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/PtrsubExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SdivExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SdivExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SextExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SextExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ShlExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ShlExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ShrExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ShrExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SleExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SleExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SltExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SltExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SremExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SremExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/StoreExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/StoreExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SubExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/SubExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/TrueExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/TrueExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UdivExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UdivExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UleExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UleExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UltExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UltExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UremExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/UremExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/XorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/XorExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ZextExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/expression/ZextExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornConstant.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariable.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariableExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariableExpression.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariableName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/hornifer/horn/variable/HornVariableName.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/GhiHornEventConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/GhiHornEventConfig.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerArgument.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerConfig.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerController.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerHornifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiAnalyzerHornifier.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiFunction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiSignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/ApiSignature.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/ApiSigFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/ApiSigFunction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/ApiSignatureJsonParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/ApiSignatureJsonParser.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignatureApiFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignatureApiFunction.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignatureEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignatureEntry.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignaturesType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/apianalyzer/json/SignaturesType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerArgument.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerConfig.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerController.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerHornifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/tools/pathanalyzer/PathAnalyzerHornifier.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornArrayType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornArrayType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornBitVectorType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornBitVectorType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornBooleanType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornBooleanType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornContext.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornDataType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornDataType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornFixedpointStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornFixedpointStatus.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornIntegerType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornIntegerType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornUndefinedType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornUndefinedType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ghihorn/z3/GhiHornZ3Parameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ghihorn/z3/GhiHornZ3Parameters.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/ClassTypeChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/ClassTypeChecker.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/OOAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/OOAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerDialog.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerGhidraPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/OOAnalyzerGhidraPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/Member.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/Member.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/Method.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/Method.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/OOAnalyzerClassType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/OOAnalyzerClassType.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/OOAnalyzerJsonRoot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/OOAnalyzerJsonRoot.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/Vfentry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/Vfentry.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/ooanalyzer/jsontypes/Vftable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/ooanalyzer/jsontypes/Vftable.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/statuscheck/KaijuStatusCheckDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/statuscheck/KaijuStatusCheckDialog.java -------------------------------------------------------------------------------- /src/main/java/kaiju/tools/statuscheck/KaijuStatusCheckPlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/tools/statuscheck/KaijuStatusCheckPlugin.java -------------------------------------------------------------------------------- /src/main/java/kaiju/util/AddressUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/util/AddressUtils.java -------------------------------------------------------------------------------- /src/main/java/kaiju/util/ByteArrayList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/util/ByteArrayList.java -------------------------------------------------------------------------------- /src/main/java/kaiju/util/HexUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/util/HexUtils.java -------------------------------------------------------------------------------- /src/main/java/kaiju/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/util/Pair.java -------------------------------------------------------------------------------- /src/main/java/kaiju/util/Triple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/java/kaiju/util/Triple.java -------------------------------------------------------------------------------- /src/main/resources/defaultTools/TestCodeBrowser.tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/defaultTools/TestCodeBrowser.tool -------------------------------------------------------------------------------- /src/main/resources/images/Kaiju.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/Kaiju.png -------------------------------------------------------------------------------- /src/main/resources/images/Pharos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/Pharos.png -------------------------------------------------------------------------------- /src/main/resources/images/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/README.txt -------------------------------------------------------------------------------- /src/main/resources/images/green-check.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/green-check.png -------------------------------------------------------------------------------- /src/main/resources/images/kaiju-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/kaiju-icon.png -------------------------------------------------------------------------------- /src/main/resources/images/red-x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/images/red-x.png -------------------------------------------------------------------------------- /src/main/resources/kaiju/tools/statuscheck/kaiju_tips.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/main/resources/kaiju/tools/statuscheck/kaiju_tips.txt -------------------------------------------------------------------------------- /src/test/java/README.test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/README.test.txt -------------------------------------------------------------------------------- /src/test/java/kaiju/common/KaijuCoreTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/common/KaijuCoreTest.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ghihorn/DummyApiDatabase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ghihorn/DummyApiDatabase.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ghihorn/GhiHornEventListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ghihorn/GhiHornEventListener.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ghihorn/GhiHornTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ghihorn/GhiHornTest.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ghihorn/GhiHornTestEnv.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ghihorn/GhiHornTestEnv.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ooanalyzer/OOAnalyzerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ooanalyzer/OOAnalyzerTest.java -------------------------------------------------------------------------------- /src/test/java/kaiju/ooanalyzer/OOAnalyzerTestHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/java/kaiju/ooanalyzer/OOAnalyzerTestHelper.java -------------------------------------------------------------------------------- /src/test/resources/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/README.md -------------------------------------------------------------------------------- /src/test/resources/TestCodeBrowser.tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/TestCodeBrowser.tool -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/KaijuSampleTestRun.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/KaijuSampleTestRun.txt -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/oo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/oo.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex0.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex1.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex2.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex3.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex4.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex5.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex6.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex7.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex8.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/ooex9.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2008/Debug/poly.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2008/Debug/poly.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/oo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/oo.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex0.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex1.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex2.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex3.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex4.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex5.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex6.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex7.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex8.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/ooex9.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Debug/poly.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Debug/poly.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/oo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/oo.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex0.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex1.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex2.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex3.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex4.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex5.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex6.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex7.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex8.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/ooex9.json -------------------------------------------------------------------------------- /src/test/resources/ooanalyzer/ooex_vs2010/Lite/poly.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cmu-sei/kaiju/HEAD/src/test/resources/ooanalyzer/ooex_vs2010/Lite/poly.json --------------------------------------------------------------------------------