├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── README.md ├── helper_scripts ├── 00_patch_collector.py ├── 10_linux_compile.py ├── 11_call_graph.py ├── 20_related_parser.py ├── 30_spec_gen.py ├── 31_run_analyzer.py ├── 40_log_parser.py ├── 50_bug_detector.py ├── config.py └── utils.py ├── include ├── ConditionNode.h ├── CustomChecker.h ├── DriverSpecs.h ├── EnhancedSEG.h ├── GraphDiffer.h ├── NodeHelper.h ├── PatchParser.h ├── SEGPatchDiff.h ├── SensitiveOps.h ├── SpecParser.h ├── UtilsHelper.h └── ValueHelper.h ├── keywords.json └── src ├── ConditionNode.cpp ├── EnhancedSEG.cpp ├── GraphDiffer.cpp ├── NodeHelper.cpp ├── PatchParser.cpp ├── SEGPatchDiff.cpp ├── SensitiveOps.cpp ├── SpecParser.cpp ├── UtilsHelper.cpp └── ValueHelper.cpp /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode 2 | __pycache__ 3 | build -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/README.md -------------------------------------------------------------------------------- /helper_scripts/00_patch_collector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/00_patch_collector.py -------------------------------------------------------------------------------- /helper_scripts/10_linux_compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/10_linux_compile.py -------------------------------------------------------------------------------- /helper_scripts/11_call_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/11_call_graph.py -------------------------------------------------------------------------------- /helper_scripts/20_related_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/20_related_parser.py -------------------------------------------------------------------------------- /helper_scripts/30_spec_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/30_spec_gen.py -------------------------------------------------------------------------------- /helper_scripts/31_run_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/31_run_analyzer.py -------------------------------------------------------------------------------- /helper_scripts/40_log_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/40_log_parser.py -------------------------------------------------------------------------------- /helper_scripts/50_bug_detector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/50_bug_detector.py -------------------------------------------------------------------------------- /helper_scripts/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/config.py -------------------------------------------------------------------------------- /helper_scripts/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/helper_scripts/utils.py -------------------------------------------------------------------------------- /include/ConditionNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/ConditionNode.h -------------------------------------------------------------------------------- /include/CustomChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/CustomChecker.h -------------------------------------------------------------------------------- /include/DriverSpecs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/DriverSpecs.h -------------------------------------------------------------------------------- /include/EnhancedSEG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/EnhancedSEG.h -------------------------------------------------------------------------------- /include/GraphDiffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/GraphDiffer.h -------------------------------------------------------------------------------- /include/NodeHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/NodeHelper.h -------------------------------------------------------------------------------- /include/PatchParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/PatchParser.h -------------------------------------------------------------------------------- /include/SEGPatchDiff.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/SEGPatchDiff.h -------------------------------------------------------------------------------- /include/SensitiveOps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/SensitiveOps.h -------------------------------------------------------------------------------- /include/SpecParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/SpecParser.h -------------------------------------------------------------------------------- /include/UtilsHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/UtilsHelper.h -------------------------------------------------------------------------------- /include/ValueHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/include/ValueHelper.h -------------------------------------------------------------------------------- /keywords.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/keywords.json -------------------------------------------------------------------------------- /src/ConditionNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/ConditionNode.cpp -------------------------------------------------------------------------------- /src/EnhancedSEG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/EnhancedSEG.cpp -------------------------------------------------------------------------------- /src/GraphDiffer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/GraphDiffer.cpp -------------------------------------------------------------------------------- /src/NodeHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/NodeHelper.cpp -------------------------------------------------------------------------------- /src/PatchParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/PatchParser.cpp -------------------------------------------------------------------------------- /src/SEGPatchDiff.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/SEGPatchDiff.cpp -------------------------------------------------------------------------------- /src/SensitiveOps.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/SensitiveOps.cpp -------------------------------------------------------------------------------- /src/SpecParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/SpecParser.cpp -------------------------------------------------------------------------------- /src/UtilsHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/UtilsHelper.cpp -------------------------------------------------------------------------------- /src/ValueHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/harperchen/SEAL/HEAD/src/ValueHelper.cpp --------------------------------------------------------------------------------