├── .gitattributes ├── .gitignore ├── Dockerfile ├── README.md ├── README_CN.md ├── SaTC-arch.png ├── deps ├── angr-dev.tar.xz └── ghidra.tar.xz ├── eval ├── README.md └── front-end │ └── mobileapp-case │ └── 1 │ ├── README.md │ ├── README_cn.md │ └── img │ ├── 1.png │ └── 2.png ├── img ├── satc.png └── vuls.jpg ├── init.sh └── src ├── config.py ├── front_analysise ├── .gitignore ├── __init__.py ├── lib │ ├── __init__.py │ └── core.py ├── modules │ ├── __init__.py │ ├── analysise.py │ ├── filter │ │ ├── __init__.py │ │ ├── b_filter │ │ │ ├── __init__.py │ │ │ └── keywords_repeattime.py │ │ └── f_filter │ │ │ ├── __init__.py │ │ │ └── para_repeattime_infront.py │ ├── parameter │ │ ├── __init__.py │ │ ├── function.py │ │ ├── global_cls.py │ │ ├── keyword.py │ │ └── upnp_keyword.py │ └── parser │ │ ├── __init__.py │ │ ├── baseparse.py │ │ ├── htmlparser.py │ │ ├── jsparser.py │ │ └── xmlparser.py ├── readme.md ├── requirements.txt ├── script │ ├── FindGlobalParaInFileSystem.py │ ├── TryFindBoarderBin.py │ ├── __init__.py │ ├── compare_analysise_result.py │ ├── compare_ghidra_result.py │ ├── findsinknumber.py │ ├── tryfindnvrambin.py │ └── tryfindrefenkeyword.py ├── tools │ ├── __init__.py │ ├── comm.py │ ├── traver.py │ ├── upnp.py │ └── upnpanalysise.py └── untils │ ├── __init__.py │ ├── config.py │ ├── filter_config.py │ ├── logger │ ├── __init__.py │ ├── handler.py │ └── logger.py │ ├── output.py │ └── tools.py ├── headless ├── call2sink.py ├── main.py ├── projects │ ├── -Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.gpr │ ├── -Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep │ │ ├── idata │ │ │ ├── 00 │ │ │ │ ├── 00000000.prp │ │ │ │ └── ~00000000.db │ │ │ │ │ └── db.1.gbf │ │ │ ├── ~index.bak │ │ │ ├── ~index.dat │ │ │ └── ~journal.bak │ │ ├── project.prp │ │ ├── user │ │ │ └── ~index.dat │ │ └── versioned │ │ │ ├── ~index.bak │ │ │ └── ~index.dat │ └── .gitkeep ├── ref2share.py ├── ref2sink_bof.py ├── ref2sink_cmdi.py └── share2sink.py ├── jsparse ├── .gitignore ├── README.md ├── app │ ├── controllers │ │ └── codeparse.js │ ├── index.js │ └── routes │ │ ├── codeparse.js │ │ └── index.js ├── dockerfile └── package.json ├── requirements.txt ├── satc.py └── taint_check ├── __init__.py ├── bar_logger ├── __init__.py └── bar_logger.py ├── binary_dependency_graph ├── __init__.py ├── bdp_enum.py ├── binary_dependency_graph.py ├── cpfs │ ├── __init__.py │ ├── environment.py │ ├── file.py │ ├── nvram.py │ ├── semantic.py │ ├── setter_getter.py │ └── socket.py └── utils.py ├── border_binaries_finder ├── __init__.py ├── binary_finder.py ├── border_binaries_finder.py ├── forward_backward_taint_tracker.py └── utils.py ├── bug_finder ├── __init__.py ├── bug_finder.py ├── config.py ├── sinks.py ├── taint.py └── utils.py ├── conv_Ghidra_output.py ├── file_logger ├── __init__.py ├── file_logger.py └── utils.py ├── main.py ├── pretty_print.py ├── single_extract.py ├── size_analysis.py ├── stack_variable_recovery ├── __init__.py └── stack_variable_recovery.py ├── taint_analysis ├── __init__.py ├── coretaint.py ├── result_pretty_print.py ├── summary_functions.py └── utils.py └── utils.py /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .idea 2 | 3 | *.pyc 4 | ghidra 5 | 6 | satc_TaintCheck_simple 7 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/README.md -------------------------------------------------------------------------------- /README_CN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/README_CN.md -------------------------------------------------------------------------------- /SaTC-arch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/SaTC-arch.png -------------------------------------------------------------------------------- /deps/angr-dev.tar.xz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/deps/angr-dev.tar.xz -------------------------------------------------------------------------------- /deps/ghidra.tar.xz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/deps/ghidra.tar.xz -------------------------------------------------------------------------------- /eval/README.md: -------------------------------------------------------------------------------- 1 | ## 记录一些问题 2 | -------------------------------------------------------------------------------- /eval/front-end/mobileapp-case/1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/eval/front-end/mobileapp-case/1/README.md -------------------------------------------------------------------------------- /eval/front-end/mobileapp-case/1/README_cn.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/eval/front-end/mobileapp-case/1/README_cn.md -------------------------------------------------------------------------------- /eval/front-end/mobileapp-case/1/img/1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/eval/front-end/mobileapp-case/1/img/1.png -------------------------------------------------------------------------------- /eval/front-end/mobileapp-case/1/img/2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/eval/front-end/mobileapp-case/1/img/2.png -------------------------------------------------------------------------------- /img/satc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/img/satc.png -------------------------------------------------------------------------------- /img/vuls.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/img/vuls.jpg -------------------------------------------------------------------------------- /init.sh: -------------------------------------------------------------------------------- 1 | nohup npm --prefix /home/satc/SaTC/jsparse run start & 2 | 3 | su - satc 4 | -------------------------------------------------------------------------------- /src/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/config.py -------------------------------------------------------------------------------- /src/front_analysise/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/.gitignore -------------------------------------------------------------------------------- /src/front_analysise/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/front_analysise/lib/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/lib/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/lib/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/lib/core.py -------------------------------------------------------------------------------- /src/front_analysise/modules/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/analysise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/analysise.py -------------------------------------------------------------------------------- /src/front_analysise/modules/filter/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/filter/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/filter/b_filter/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/filter/b_filter/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/filter/b_filter/keywords_repeattime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/filter/b_filter/keywords_repeattime.py -------------------------------------------------------------------------------- /src/front_analysise/modules/filter/f_filter/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/filter/f_filter/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/filter/f_filter/para_repeattime_infront.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/filter/f_filter/para_repeattime_infront.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parameter/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parameter/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parameter/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parameter/function.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parameter/global_cls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parameter/global_cls.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parameter/keyword.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parameter/keyword.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parameter/upnp_keyword.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parameter/upnp_keyword.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parser/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parser/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parser/baseparse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parser/baseparse.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parser/htmlparser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parser/htmlparser.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parser/jsparser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parser/jsparser.py -------------------------------------------------------------------------------- /src/front_analysise/modules/parser/xmlparser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/modules/parser/xmlparser.py -------------------------------------------------------------------------------- /src/front_analysise/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/readme.md -------------------------------------------------------------------------------- /src/front_analysise/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/requirements.txt -------------------------------------------------------------------------------- /src/front_analysise/script/FindGlobalParaInFileSystem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/FindGlobalParaInFileSystem.py -------------------------------------------------------------------------------- /src/front_analysise/script/TryFindBoarderBin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/TryFindBoarderBin.py -------------------------------------------------------------------------------- /src/front_analysise/script/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/script/compare_analysise_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/compare_analysise_result.py -------------------------------------------------------------------------------- /src/front_analysise/script/compare_ghidra_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/compare_ghidra_result.py -------------------------------------------------------------------------------- /src/front_analysise/script/findsinknumber.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/findsinknumber.py -------------------------------------------------------------------------------- /src/front_analysise/script/tryfindnvrambin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/tryfindnvrambin.py -------------------------------------------------------------------------------- /src/front_analysise/script/tryfindrefenkeyword.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/script/tryfindrefenkeyword.py -------------------------------------------------------------------------------- /src/front_analysise/tools/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/tools/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/tools/comm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/tools/comm.py -------------------------------------------------------------------------------- /src/front_analysise/tools/traver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/tools/traver.py -------------------------------------------------------------------------------- /src/front_analysise/tools/upnp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/tools/upnp.py -------------------------------------------------------------------------------- /src/front_analysise/tools/upnpanalysise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/tools/upnpanalysise.py -------------------------------------------------------------------------------- /src/front_analysise/untils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/untils/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/config.py -------------------------------------------------------------------------------- /src/front_analysise/untils/filter_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/filter_config.py -------------------------------------------------------------------------------- /src/front_analysise/untils/logger/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/logger/__init__.py -------------------------------------------------------------------------------- /src/front_analysise/untils/logger/handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/logger/handler.py -------------------------------------------------------------------------------- /src/front_analysise/untils/logger/logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/logger/logger.py -------------------------------------------------------------------------------- /src/front_analysise/untils/output.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/output.py -------------------------------------------------------------------------------- /src/front_analysise/untils/tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/front_analysise/untils/tools.py -------------------------------------------------------------------------------- /src/headless/call2sink.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/call2sink.py -------------------------------------------------------------------------------- /src/headless/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/main.py -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.gpr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/00/00000000.prp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/00/00000000.prp -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/00/~00000000.db/db.1.gbf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/00/~00000000.db/db.1.gbf -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/~index.bak: -------------------------------------------------------------------------------- 1 | VERSION=1 2 | / 3 | NEXT-ID:0 4 | MD5:d41d8cd98f00b204e9800998ecf8427e 5 | -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/~index.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/~index.dat -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/~journal.bak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/idata/~journal.bak -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/project.prp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/project.prp -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/user/~index.dat: -------------------------------------------------------------------------------- 1 | VERSION=1 2 | / 3 | NEXT-ID:0 4 | MD5:d41d8cd98f00b204e9800998ecf8427e 5 | -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/versioned/~index.bak: -------------------------------------------------------------------------------- 1 | VERSION=1 2 | / 3 | NEXT-ID:0 4 | MD5:d41d8cd98f00b204e9800998ecf8427e 5 | -------------------------------------------------------------------------------- /src/headless/projects/-Users-tt-firmware-Tenda-_ac18_kf_V15.03.05.19(6318_)_cn.bin.extracted-squashfs-root-bin-httpd.rep/versioned/~index.dat: -------------------------------------------------------------------------------- 1 | VERSION=1 2 | / 3 | NEXT-ID:0 4 | MD5:d41d8cd98f00b204e9800998ecf8427e 5 | -------------------------------------------------------------------------------- /src/headless/projects/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/headless/ref2share.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/ref2share.py -------------------------------------------------------------------------------- /src/headless/ref2sink_bof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/ref2sink_bof.py -------------------------------------------------------------------------------- /src/headless/ref2sink_cmdi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/ref2sink_cmdi.py -------------------------------------------------------------------------------- /src/headless/share2sink.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/headless/share2sink.py -------------------------------------------------------------------------------- /src/jsparse/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/.gitignore -------------------------------------------------------------------------------- /src/jsparse/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/README.md -------------------------------------------------------------------------------- /src/jsparse/app/controllers/codeparse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/app/controllers/codeparse.js -------------------------------------------------------------------------------- /src/jsparse/app/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/app/index.js -------------------------------------------------------------------------------- /src/jsparse/app/routes/codeparse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/app/routes/codeparse.js -------------------------------------------------------------------------------- /src/jsparse/app/routes/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/app/routes/index.js -------------------------------------------------------------------------------- /src/jsparse/dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/dockerfile -------------------------------------------------------------------------------- /src/jsparse/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/jsparse/package.json -------------------------------------------------------------------------------- /src/requirements.txt: -------------------------------------------------------------------------------- 1 | requests==2.24.0 2 | uPnPClient==0.0.8 3 | colorlog==5.0.1 4 | angr==7.7.9.21 5 | -------------------------------------------------------------------------------- /src/satc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/satc.py -------------------------------------------------------------------------------- /src/taint_check/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/taint_check/bar_logger/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/taint_check/bar_logger/bar_logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bar_logger/bar_logger.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/__init__.py: -------------------------------------------------------------------------------- 1 | from taint_check.binary_dependency_graph import * 2 | -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/bdp_enum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/bdp_enum.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/binary_dependency_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/binary_dependency_graph.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/__init__.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/environment.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/file.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/nvram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/nvram.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/semantic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/semantic.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/setter_getter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/setter_getter.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/cpfs/socket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/cpfs/socket.py -------------------------------------------------------------------------------- /src/taint_check/binary_dependency_graph/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/binary_dependency_graph/utils.py -------------------------------------------------------------------------------- /src/taint_check/border_binaries_finder/__init__.py: -------------------------------------------------------------------------------- 1 | from taint_check.border_binaries_finder import * -------------------------------------------------------------------------------- /src/taint_check/border_binaries_finder/binary_finder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/border_binaries_finder/binary_finder.py -------------------------------------------------------------------------------- /src/taint_check/border_binaries_finder/border_binaries_finder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/border_binaries_finder/border_binaries_finder.py -------------------------------------------------------------------------------- /src/taint_check/border_binaries_finder/forward_backward_taint_tracker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/border_binaries_finder/forward_backward_taint_tracker.py -------------------------------------------------------------------------------- /src/taint_check/border_binaries_finder/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/border_binaries_finder/utils.py -------------------------------------------------------------------------------- /src/taint_check/bug_finder/__init__.py: -------------------------------------------------------------------------------- 1 | from bug_finder import * 2 | -------------------------------------------------------------------------------- /src/taint_check/bug_finder/bug_finder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bug_finder/bug_finder.py -------------------------------------------------------------------------------- /src/taint_check/bug_finder/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bug_finder/config.py -------------------------------------------------------------------------------- /src/taint_check/bug_finder/sinks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bug_finder/sinks.py -------------------------------------------------------------------------------- /src/taint_check/bug_finder/taint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bug_finder/taint.py -------------------------------------------------------------------------------- /src/taint_check/bug_finder/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/bug_finder/utils.py -------------------------------------------------------------------------------- /src/taint_check/conv_Ghidra_output.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/conv_Ghidra_output.py -------------------------------------------------------------------------------- /src/taint_check/file_logger/__init__.py: -------------------------------------------------------------------------------- 1 | from taint_check.file_logger import * -------------------------------------------------------------------------------- /src/taint_check/file_logger/file_logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/file_logger/file_logger.py -------------------------------------------------------------------------------- /src/taint_check/file_logger/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/file_logger/utils.py -------------------------------------------------------------------------------- /src/taint_check/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/main.py -------------------------------------------------------------------------------- /src/taint_check/pretty_print.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/pretty_print.py -------------------------------------------------------------------------------- /src/taint_check/single_extract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/single_extract.py -------------------------------------------------------------------------------- /src/taint_check/size_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/size_analysis.py -------------------------------------------------------------------------------- /src/taint_check/stack_variable_recovery/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/taint_check/stack_variable_recovery/stack_variable_recovery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/stack_variable_recovery/stack_variable_recovery.py -------------------------------------------------------------------------------- /src/taint_check/taint_analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/taint_check/taint_analysis/coretaint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/taint_analysis/coretaint.py -------------------------------------------------------------------------------- /src/taint_check/taint_analysis/result_pretty_print.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/taint_analysis/result_pretty_print.py -------------------------------------------------------------------------------- /src/taint_check/taint_analysis/summary_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/taint_analysis/summary_functions.py -------------------------------------------------------------------------------- /src/taint_check/taint_analysis/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/taint_analysis/utils.py -------------------------------------------------------------------------------- /src/taint_check/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NSSL-SJTU/SaTC/HEAD/src/taint_check/utils.py --------------------------------------------------------------------------------