├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ ├── bug_report_form.yaml │ └── feature_request.md ├── PULL_REQUEST_TEMPLATE │ ├── bug_fix_template.md │ └── feature_addition_template.md └── pull_request_template.md ├── .gitignore ├── .vs ├── Chiron-Framework │ ├── FileContentIndex │ │ └── 24eb9a46-759a-40b6-b227-e17abacfb467.vsidx │ └── v17 │ │ └── .wsuo ├── ProjectSettings.json ├── VSWorkspaceState.json └── slnx.sqlite ├── ChironCore ├── ChironAST │ ├── ChironAST.py │ ├── __init__.py │ └── builder.py ├── ChironHooks │ ├── Chironhooks.py │ └── tenor.gif ├── LICENSE ├── abstractInterpretation.py ├── cfg │ ├── ChironCFG.py │ ├── __init__.py │ └── cfgBuilder.py ├── chiron.py ├── dataFlowAnalysis.py ├── example │ ├── control_flow_graph.png │ ├── example1.tl │ ├── example2.tl │ ├── exampleSE.tl │ ├── kachuapur.tl │ └── kachuapur2.tl ├── extlib │ └── antlr-4.7.2-complete.jar ├── fuzzer.py ├── interfaces │ ├── __init__.py │ ├── fuzzerInterface.py │ └── sExecutionInterface.py ├── interpreter.py ├── irhandler.py ├── lattice.py ├── sExecution.py ├── sbfl.py ├── turtparse │ ├── __init__.py │ ├── parseError.py │ ├── tlang.g4 │ ├── tlang.interp │ ├── tlang.tokens │ ├── tlangLexer.interp │ ├── tlangLexer.py │ ├── tlangLexer.tokens │ ├── tlangParser.py │ └── tlangVisitor.py └── z3solver.py ├── LICENSE ├── README.md ├── Submission ├── fuzzSubmission.py ├── sbflSubmission.py ├── submissionAI.py ├── submissionDFA.py ├── symbSubmission.py └── testData.json ├── assets ├── AI_Chiron_danger_zone.png ├── AbstractInterpretation_Demo.mp4 ├── Architecture_Digram.png ├── Fuzzer_Demo.mp4 ├── Screenshot from 2025-01-16 12-34-51.png ├── example1 │ ├── control_flow_graph.png │ ├── example1.irbin │ └── example1.tl └── example1_demo.zip ├── docs ├── AddRemoveIRInstructions.md ├── AddingNewCommand.md ├── ChironLang-guide.pdf ├── CoverageGuidedFuzzing.md ├── FuzzingAssigment.md ├── FuzzingAssigment.pdf └── paper.pdf └── doxygen └── Doxyfile /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report_form.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/ISSUE_TEMPLATE/bug_report_form.yaml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE/bug_fix_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/PULL_REQUEST_TEMPLATE/bug_fix_template.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE/feature_addition_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/PULL_REQUEST_TEMPLATE/feature_addition_template.md -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.gitignore -------------------------------------------------------------------------------- /.vs/Chiron-Framework/FileContentIndex/24eb9a46-759a-40b6-b227-e17abacfb467.vsidx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.vs/Chiron-Framework/FileContentIndex/24eb9a46-759a-40b6-b227-e17abacfb467.vsidx -------------------------------------------------------------------------------- /.vs/Chiron-Framework/v17/.wsuo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.vs/Chiron-Framework/v17/.wsuo -------------------------------------------------------------------------------- /.vs/ProjectSettings.json: -------------------------------------------------------------------------------- 1 | { 2 | "CurrentProjectSetting": null 3 | } -------------------------------------------------------------------------------- /.vs/VSWorkspaceState.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.vs/VSWorkspaceState.json -------------------------------------------------------------------------------- /.vs/slnx.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/.vs/slnx.sqlite -------------------------------------------------------------------------------- /ChironCore/ChironAST/ChironAST.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/ChironAST/ChironAST.py -------------------------------------------------------------------------------- /ChironCore/ChironAST/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ChironCore/ChironAST/builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/ChironAST/builder.py -------------------------------------------------------------------------------- /ChironCore/ChironHooks/Chironhooks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/ChironHooks/Chironhooks.py -------------------------------------------------------------------------------- /ChironCore/ChironHooks/tenor.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/ChironHooks/tenor.gif -------------------------------------------------------------------------------- /ChironCore/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/LICENSE -------------------------------------------------------------------------------- /ChironCore/abstractInterpretation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/abstractInterpretation.py -------------------------------------------------------------------------------- /ChironCore/cfg/ChironCFG.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/cfg/ChironCFG.py -------------------------------------------------------------------------------- /ChironCore/cfg/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ChironCore/cfg/cfgBuilder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/cfg/cfgBuilder.py -------------------------------------------------------------------------------- /ChironCore/chiron.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/chiron.py -------------------------------------------------------------------------------- /ChironCore/dataFlowAnalysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/dataFlowAnalysis.py -------------------------------------------------------------------------------- /ChironCore/example/control_flow_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/control_flow_graph.png -------------------------------------------------------------------------------- /ChironCore/example/example1.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/example1.tl -------------------------------------------------------------------------------- /ChironCore/example/example2.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/example2.tl -------------------------------------------------------------------------------- /ChironCore/example/exampleSE.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/exampleSE.tl -------------------------------------------------------------------------------- /ChironCore/example/kachuapur.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/kachuapur.tl -------------------------------------------------------------------------------- /ChironCore/example/kachuapur2.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/example/kachuapur2.tl -------------------------------------------------------------------------------- /ChironCore/extlib/antlr-4.7.2-complete.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/extlib/antlr-4.7.2-complete.jar -------------------------------------------------------------------------------- /ChironCore/fuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/fuzzer.py -------------------------------------------------------------------------------- /ChironCore/interfaces/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ChironCore/interfaces/fuzzerInterface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/interfaces/fuzzerInterface.py -------------------------------------------------------------------------------- /ChironCore/interfaces/sExecutionInterface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/interfaces/sExecutionInterface.py -------------------------------------------------------------------------------- /ChironCore/interpreter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/interpreter.py -------------------------------------------------------------------------------- /ChironCore/irhandler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/irhandler.py -------------------------------------------------------------------------------- /ChironCore/lattice.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/lattice.py -------------------------------------------------------------------------------- /ChironCore/sExecution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/sExecution.py -------------------------------------------------------------------------------- /ChironCore/sbfl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/sbfl.py -------------------------------------------------------------------------------- /ChironCore/turtparse/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ChironCore/turtparse/parseError.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/parseError.py -------------------------------------------------------------------------------- /ChironCore/turtparse/tlang.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlang.g4 -------------------------------------------------------------------------------- /ChironCore/turtparse/tlang.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlang.interp -------------------------------------------------------------------------------- /ChironCore/turtparse/tlang.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlang.tokens -------------------------------------------------------------------------------- /ChironCore/turtparse/tlangLexer.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlangLexer.interp -------------------------------------------------------------------------------- /ChironCore/turtparse/tlangLexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlangLexer.py -------------------------------------------------------------------------------- /ChironCore/turtparse/tlangLexer.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlangLexer.tokens -------------------------------------------------------------------------------- /ChironCore/turtparse/tlangParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlangParser.py -------------------------------------------------------------------------------- /ChironCore/turtparse/tlangVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/turtparse/tlangVisitor.py -------------------------------------------------------------------------------- /ChironCore/z3solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/ChironCore/z3solver.py -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/README.md -------------------------------------------------------------------------------- /Submission/fuzzSubmission.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/fuzzSubmission.py -------------------------------------------------------------------------------- /Submission/sbflSubmission.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/sbflSubmission.py -------------------------------------------------------------------------------- /Submission/submissionAI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/submissionAI.py -------------------------------------------------------------------------------- /Submission/submissionDFA.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/submissionDFA.py -------------------------------------------------------------------------------- /Submission/symbSubmission.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/symbSubmission.py -------------------------------------------------------------------------------- /Submission/testData.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/Submission/testData.json -------------------------------------------------------------------------------- /assets/AI_Chiron_danger_zone.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/AI_Chiron_danger_zone.png -------------------------------------------------------------------------------- /assets/AbstractInterpretation_Demo.mp4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/AbstractInterpretation_Demo.mp4 -------------------------------------------------------------------------------- /assets/Architecture_Digram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/Architecture_Digram.png -------------------------------------------------------------------------------- /assets/Fuzzer_Demo.mp4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/Fuzzer_Demo.mp4 -------------------------------------------------------------------------------- /assets/Screenshot from 2025-01-16 12-34-51.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/Screenshot from 2025-01-16 12-34-51.png -------------------------------------------------------------------------------- /assets/example1/control_flow_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/example1/control_flow_graph.png -------------------------------------------------------------------------------- /assets/example1/example1.irbin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/example1/example1.irbin -------------------------------------------------------------------------------- /assets/example1/example1.tl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/example1/example1.tl -------------------------------------------------------------------------------- /assets/example1_demo.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/assets/example1_demo.zip -------------------------------------------------------------------------------- /docs/AddRemoveIRInstructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/AddRemoveIRInstructions.md -------------------------------------------------------------------------------- /docs/AddingNewCommand.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/AddingNewCommand.md -------------------------------------------------------------------------------- /docs/ChironLang-guide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/ChironLang-guide.pdf -------------------------------------------------------------------------------- /docs/CoverageGuidedFuzzing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/CoverageGuidedFuzzing.md -------------------------------------------------------------------------------- /docs/FuzzingAssigment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/FuzzingAssigment.md -------------------------------------------------------------------------------- /docs/FuzzingAssigment.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/FuzzingAssigment.pdf -------------------------------------------------------------------------------- /docs/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/docs/paper.pdf -------------------------------------------------------------------------------- /doxygen/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PRAISE-group/Chiron-Framework/HEAD/doxygen/Doxyfile --------------------------------------------------------------------------------