├── .env ├── .gitignore ├── Dockerfile ├── README.md ├── data └── examined_patch_list.csv ├── docker-compose.yml ├── patches └── Makefile.build ├── scripts ├── FiTx │ ├── __init__.py │ ├── __pycache__ │ │ ├── __init__.cpython-311.pyc │ │ ├── constants.cpython-311.pyc │ │ └── utils.cpython-311.pyc │ ├── constants.py │ └── utils.py ├── analyze.py ├── config ├── count_time.py ├── count_warning.py └── requirements.txt ├── src ├── CMakeLists.txt ├── detector │ ├── CMakeLists.txt │ ├── all_detector │ │ ├── All_Detector.cpp │ │ ├── CMakeLists.txt │ │ └── include │ │ │ └── All_Detector.hpp │ ├── df_detector │ │ ├── CMakeLists.txt │ │ ├── DFUtils.cpp │ │ └── DF_Detector.cpp │ ├── double_lock_detector │ │ ├── CMakeLists.txt │ │ ├── DLUtils.cpp │ │ └── DL_Detector.cpp │ ├── double_unlock_detector │ │ ├── CMakeLists.txt │ │ ├── DULUtils.cpp │ │ └── DUL_Detector.cpp │ ├── include │ │ ├── DF_Detector.hpp │ │ ├── DL_Detector.hpp │ │ ├── DUL_Detector.hpp │ │ ├── Leak_Detector.hpp │ │ ├── RefDetector.hpp │ │ ├── UAF_Detector.hpp │ │ ├── UnrefDetector.hpp │ │ ├── alloc.hpp │ │ ├── lock.hpp │ │ └── refcount.hpp │ ├── leak_detector │ │ ├── CMakeLists.txt │ │ ├── LeakUtils.cpp │ │ └── Leak_Detector.cpp │ ├── nullptr_detector │ │ ├── CMakeLists.txt │ │ ├── NULL_Detector.cpp │ │ └── include │ │ │ └── UBI_Detector.hpp │ ├── ref_count_detector │ │ ├── CMakeLists.txt │ │ ├── RefUtils.cpp │ │ └── Ref_Detector.cpp │ ├── ref_uncount_detector │ │ ├── CMakeLists.txt │ │ ├── UnrefUtils.cpp │ │ └── Unref_Detector.cpp │ ├── two_detector │ │ ├── CMakeLists.txt │ │ ├── Two_Detector.cpp │ │ └── include │ │ │ └── DF_Detector.hpp │ ├── uaf_detector │ │ ├── CMakeLists.txt │ │ ├── UAFUtils.cpp │ │ └── UAF_Detector.cpp │ └── ubi_detector │ │ ├── CMakeLists.txt │ │ ├── UBI_Detector.cpp │ │ └── include │ │ └── UBI_Detector.hpp └── framework │ ├── CMakeLists.txt │ ├── core │ ├── AnalysisHelper.cpp │ ├── BasicBlock.cpp │ ├── CMakeLists.txt │ ├── Function.cpp │ ├── Instruction.cpp │ ├── Instructions │ │ ├── BranchInstruction.cpp │ │ ├── CMakeLists.txt │ │ ├── CallInstruction.cpp │ │ ├── LoadInstruction.cpp │ │ └── StoreInstruction.cpp │ ├── Logs.cpp │ ├── SFG │ │ ├── CMakeLists.txt │ │ └── Converter.cpp │ ├── Utils.cpp │ ├── Value.cpp │ └── ValueTypeAlias.cpp │ ├── framework_ir │ ├── Analyzer.cpp │ ├── CMakeLists.txt │ ├── IRGenerator.cpp │ └── Utils.cpp │ ├── frontend │ ├── Analyzer.cpp │ ├── BasicBlock.cpp │ ├── CMakeLists.txt │ ├── Framework.cpp │ ├── Function.cpp │ ├── State.cpp │ └── StateTransition.cpp │ └── include │ ├── core │ ├── AnalysisHelper.hpp │ ├── BasicBlock.hpp │ ├── Casting.hpp │ ├── Function.hpp │ ├── Instruction.hpp │ ├── Instructions.hpp │ ├── Instructions │ │ ├── BranchInstruction.hpp │ │ ├── CallInstruction.hpp │ │ ├── LoadInstruction.hpp │ │ └── StoreInstruction.hpp │ ├── Logs.hpp │ ├── SFG │ │ └── Converter.hpp │ ├── Utils.hpp │ ├── Value.hpp │ └── ValueTypeAlias.hpp │ ├── framework_ir │ ├── Analyzer.hpp │ ├── IRGenerator.hpp │ └── Utils.hpp │ └── frontend │ ├── Analyzer.hpp │ ├── BasicBlock.hpp │ ├── CommandlineArgs.hpp │ ├── Framework.hpp │ ├── Function.hpp │ ├── PropagationConstraint.hpp │ ├── State.hpp │ ├── StateTransition.hpp │ └── Utils.hpp └── tests ├── double_free └── src │ ├── inter_error_code.c │ ├── inter_nulled.c │ ├── inter_procedural_df.c │ ├── intra_alloced_df.c │ ├── intra_array_df.c │ ├── intra_no_df.c │ ├── intra_nulled_df.c │ ├── intra_procedural_df.c │ ├── intra_simple_df.c │ └── intra_struct_no_df.c ├── double_lock └── src │ ├── inter_branch_no_dl.c │ └── intra_simple_dl.c ├── memory_leak └── src │ ├── intra_leak_check.c │ ├── intra_simple_leak.c │ ├── intra_tri_store_leak.c │ └── intra_with_path.c └── uaf └── src ├── inter_reference_uaf.c ├── intra_simple_no_uaf.c └── intra_simple_uaf.c /.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/.env -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | compile_commands.json 2 | .clangd/ 3 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/README.md -------------------------------------------------------------------------------- /data/examined_patch_list.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/data/examined_patch_list.csv -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /patches/Makefile.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/patches/Makefile.build -------------------------------------------------------------------------------- /scripts/FiTx/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /scripts/FiTx/__pycache__/__init__.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/FiTx/__pycache__/__init__.cpython-311.pyc -------------------------------------------------------------------------------- /scripts/FiTx/__pycache__/constants.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/FiTx/__pycache__/constants.cpython-311.pyc -------------------------------------------------------------------------------- /scripts/FiTx/__pycache__/utils.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/FiTx/__pycache__/utils.cpython-311.pyc -------------------------------------------------------------------------------- /scripts/FiTx/constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/FiTx/constants.py -------------------------------------------------------------------------------- /scripts/FiTx/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/FiTx/utils.py -------------------------------------------------------------------------------- /scripts/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/analyze.py -------------------------------------------------------------------------------- /scripts/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/config -------------------------------------------------------------------------------- /scripts/count_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/count_time.py -------------------------------------------------------------------------------- /scripts/count_warning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/scripts/count_warning.py -------------------------------------------------------------------------------- /scripts/requirements.txt: -------------------------------------------------------------------------------- 1 | click 2 | termcolor 3 | numpy 4 | -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/all_detector/All_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/all_detector/All_Detector.cpp -------------------------------------------------------------------------------- /src/detector/all_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/all_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/all_detector/include/All_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/all_detector/include/All_Detector.hpp -------------------------------------------------------------------------------- /src/detector/df_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/df_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/df_detector/DFUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/df_detector/DFUtils.cpp -------------------------------------------------------------------------------- /src/detector/df_detector/DF_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/df_detector/DF_Detector.cpp -------------------------------------------------------------------------------- /src/detector/double_lock_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_lock_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/double_lock_detector/DLUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_lock_detector/DLUtils.cpp -------------------------------------------------------------------------------- /src/detector/double_lock_detector/DL_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_lock_detector/DL_Detector.cpp -------------------------------------------------------------------------------- /src/detector/double_unlock_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_unlock_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/double_unlock_detector/DULUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_unlock_detector/DULUtils.cpp -------------------------------------------------------------------------------- /src/detector/double_unlock_detector/DUL_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/double_unlock_detector/DUL_Detector.cpp -------------------------------------------------------------------------------- /src/detector/include/DF_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/DF_Detector.hpp -------------------------------------------------------------------------------- /src/detector/include/DL_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/DL_Detector.hpp -------------------------------------------------------------------------------- /src/detector/include/DUL_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/DUL_Detector.hpp -------------------------------------------------------------------------------- /src/detector/include/Leak_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/Leak_Detector.hpp -------------------------------------------------------------------------------- /src/detector/include/RefDetector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/RefDetector.hpp -------------------------------------------------------------------------------- /src/detector/include/UAF_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/UAF_Detector.hpp -------------------------------------------------------------------------------- /src/detector/include/UnrefDetector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/UnrefDetector.hpp -------------------------------------------------------------------------------- /src/detector/include/alloc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/alloc.hpp -------------------------------------------------------------------------------- /src/detector/include/lock.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/lock.hpp -------------------------------------------------------------------------------- /src/detector/include/refcount.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/include/refcount.hpp -------------------------------------------------------------------------------- /src/detector/leak_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/leak_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/leak_detector/LeakUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/leak_detector/LeakUtils.cpp -------------------------------------------------------------------------------- /src/detector/leak_detector/Leak_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/leak_detector/Leak_Detector.cpp -------------------------------------------------------------------------------- /src/detector/nullptr_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/nullptr_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/nullptr_detector/NULL_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/nullptr_detector/NULL_Detector.cpp -------------------------------------------------------------------------------- /src/detector/nullptr_detector/include/UBI_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/nullptr_detector/include/UBI_Detector.hpp -------------------------------------------------------------------------------- /src/detector/ref_count_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_count_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/ref_count_detector/RefUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_count_detector/RefUtils.cpp -------------------------------------------------------------------------------- /src/detector/ref_count_detector/Ref_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_count_detector/Ref_Detector.cpp -------------------------------------------------------------------------------- /src/detector/ref_uncount_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_uncount_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/ref_uncount_detector/UnrefUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_uncount_detector/UnrefUtils.cpp -------------------------------------------------------------------------------- /src/detector/ref_uncount_detector/Unref_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ref_uncount_detector/Unref_Detector.cpp -------------------------------------------------------------------------------- /src/detector/two_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/two_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/two_detector/Two_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/two_detector/Two_Detector.cpp -------------------------------------------------------------------------------- /src/detector/two_detector/include/DF_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/two_detector/include/DF_Detector.hpp -------------------------------------------------------------------------------- /src/detector/uaf_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/uaf_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/uaf_detector/UAFUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/uaf_detector/UAFUtils.cpp -------------------------------------------------------------------------------- /src/detector/uaf_detector/UAF_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/uaf_detector/UAF_Detector.cpp -------------------------------------------------------------------------------- /src/detector/ubi_detector/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ubi_detector/CMakeLists.txt -------------------------------------------------------------------------------- /src/detector/ubi_detector/UBI_Detector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ubi_detector/UBI_Detector.cpp -------------------------------------------------------------------------------- /src/detector/ubi_detector/include/UBI_Detector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/detector/ubi_detector/include/UBI_Detector.hpp -------------------------------------------------------------------------------- /src/framework/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/core/AnalysisHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/AnalysisHelper.cpp -------------------------------------------------------------------------------- /src/framework/core/BasicBlock.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/BasicBlock.cpp -------------------------------------------------------------------------------- /src/framework/core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/core/Function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Function.cpp -------------------------------------------------------------------------------- /src/framework/core/Instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instruction.cpp -------------------------------------------------------------------------------- /src/framework/core/Instructions/BranchInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instructions/BranchInstruction.cpp -------------------------------------------------------------------------------- /src/framework/core/Instructions/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instructions/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/core/Instructions/CallInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instructions/CallInstruction.cpp -------------------------------------------------------------------------------- /src/framework/core/Instructions/LoadInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instructions/LoadInstruction.cpp -------------------------------------------------------------------------------- /src/framework/core/Instructions/StoreInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Instructions/StoreInstruction.cpp -------------------------------------------------------------------------------- /src/framework/core/Logs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Logs.cpp -------------------------------------------------------------------------------- /src/framework/core/SFG/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/SFG/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/core/SFG/Converter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/SFG/Converter.cpp -------------------------------------------------------------------------------- /src/framework/core/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Utils.cpp -------------------------------------------------------------------------------- /src/framework/core/Value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/Value.cpp -------------------------------------------------------------------------------- /src/framework/core/ValueTypeAlias.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/core/ValueTypeAlias.cpp -------------------------------------------------------------------------------- /src/framework/framework_ir/Analyzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/framework_ir/Analyzer.cpp -------------------------------------------------------------------------------- /src/framework/framework_ir/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/framework_ir/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/framework_ir/IRGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/framework_ir/IRGenerator.cpp -------------------------------------------------------------------------------- /src/framework/framework_ir/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/framework_ir/Utils.cpp -------------------------------------------------------------------------------- /src/framework/frontend/Analyzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/Analyzer.cpp -------------------------------------------------------------------------------- /src/framework/frontend/BasicBlock.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/BasicBlock.cpp -------------------------------------------------------------------------------- /src/framework/frontend/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/CMakeLists.txt -------------------------------------------------------------------------------- /src/framework/frontend/Framework.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/Framework.cpp -------------------------------------------------------------------------------- /src/framework/frontend/Function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/Function.cpp -------------------------------------------------------------------------------- /src/framework/frontend/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/State.cpp -------------------------------------------------------------------------------- /src/framework/frontend/StateTransition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/frontend/StateTransition.cpp -------------------------------------------------------------------------------- /src/framework/include/core/AnalysisHelper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/AnalysisHelper.hpp -------------------------------------------------------------------------------- /src/framework/include/core/BasicBlock.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/BasicBlock.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Casting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Casting.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Function.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instruction.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instructions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instructions.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instructions/BranchInstruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instructions/BranchInstruction.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instructions/CallInstruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instructions/CallInstruction.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instructions/LoadInstruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instructions/LoadInstruction.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Instructions/StoreInstruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Instructions/StoreInstruction.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Logs.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Logs.hpp -------------------------------------------------------------------------------- /src/framework/include/core/SFG/Converter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/SFG/Converter.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Utils.hpp -------------------------------------------------------------------------------- /src/framework/include/core/Value.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/Value.hpp -------------------------------------------------------------------------------- /src/framework/include/core/ValueTypeAlias.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/core/ValueTypeAlias.hpp -------------------------------------------------------------------------------- /src/framework/include/framework_ir/Analyzer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/framework_ir/Analyzer.hpp -------------------------------------------------------------------------------- /src/framework/include/framework_ir/IRGenerator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/framework_ir/IRGenerator.hpp -------------------------------------------------------------------------------- /src/framework/include/framework_ir/Utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/framework_ir/Utils.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/Analyzer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/Analyzer.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/BasicBlock.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/BasicBlock.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/CommandlineArgs.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/CommandlineArgs.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/Framework.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/Framework.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/Function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/Function.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/PropagationConstraint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/PropagationConstraint.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/State.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/State.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/StateTransition.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/StateTransition.hpp -------------------------------------------------------------------------------- /src/framework/include/frontend/Utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/src/framework/include/frontend/Utils.hpp -------------------------------------------------------------------------------- /tests/double_free/src/inter_error_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/inter_error_code.c -------------------------------------------------------------------------------- /tests/double_free/src/inter_nulled.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/inter_nulled.c -------------------------------------------------------------------------------- /tests/double_free/src/inter_procedural_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/inter_procedural_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_alloced_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_alloced_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_array_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_array_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_no_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_no_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_nulled_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_nulled_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_procedural_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_procedural_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_simple_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_simple_df.c -------------------------------------------------------------------------------- /tests/double_free/src/intra_struct_no_df.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_free/src/intra_struct_no_df.c -------------------------------------------------------------------------------- /tests/double_lock/src/inter_branch_no_dl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_lock/src/inter_branch_no_dl.c -------------------------------------------------------------------------------- /tests/double_lock/src/intra_simple_dl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/double_lock/src/intra_simple_dl.c -------------------------------------------------------------------------------- /tests/memory_leak/src/intra_leak_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/memory_leak/src/intra_leak_check.c -------------------------------------------------------------------------------- /tests/memory_leak/src/intra_simple_leak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/memory_leak/src/intra_simple_leak.c -------------------------------------------------------------------------------- /tests/memory_leak/src/intra_tri_store_leak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/memory_leak/src/intra_tri_store_leak.c -------------------------------------------------------------------------------- /tests/memory_leak/src/intra_with_path.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/memory_leak/src/intra_with_path.c -------------------------------------------------------------------------------- /tests/uaf/src/inter_reference_uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/uaf/src/inter_reference_uaf.c -------------------------------------------------------------------------------- /tests/uaf/src/intra_simple_no_uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/uaf/src/intra_simple_no_uaf.c -------------------------------------------------------------------------------- /tests/uaf/src/intra_simple_uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-keio/FiTx/HEAD/tests/uaf/src/intra_simple_uaf.c --------------------------------------------------------------------------------