├── .clang-format ├── .gitignore ├── .travis.yml ├── Dockerfile ├── KRFAnalysisPass ├── CMakeLists.txt ├── KRF.cpp └── toctou.cpp ├── README.md ├── binja ├── README.md ├── analyze.py ├── gdb.py ├── krf.py ├── main.py └── taint_plugin │ ├── README.md │ └── __init__.py ├── pyproject.toml ├── test-bc ├── bash.ll ├── grep.ll └── gzip.ll ├── tests ├── accessOpen.cpp ├── common.h ├── errnoAndRetValueChecked.cpp ├── errnoChecked.cpp ├── retValueChecked.cpp ├── retValueUnchecked.cpp ├── runTests.py ├── taintedExternal.cpp ├── taintedExternalThroughFunc.cpp ├── taintedSyscall.cpp ├── taintedSyscallThroughFunc.cpp ├── taintedVariadic.cpp ├── taintedVariadicThroughFunc.cpp └── tmpnamOpen.cpp └── triage └── triage.py /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/.clang-format -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/Dockerfile -------------------------------------------------------------------------------- /KRFAnalysisPass/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/KRFAnalysisPass/CMakeLists.txt -------------------------------------------------------------------------------- /KRFAnalysisPass/KRF.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/KRFAnalysisPass/KRF.cpp -------------------------------------------------------------------------------- /KRFAnalysisPass/toctou.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/KRFAnalysisPass/toctou.cpp -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/README.md -------------------------------------------------------------------------------- /binja/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/README.md -------------------------------------------------------------------------------- /binja/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/analyze.py -------------------------------------------------------------------------------- /binja/gdb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/gdb.py -------------------------------------------------------------------------------- /binja/krf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/krf.py -------------------------------------------------------------------------------- /binja/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/main.py -------------------------------------------------------------------------------- /binja/taint_plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/taint_plugin/README.md -------------------------------------------------------------------------------- /binja/taint_plugin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/binja/taint_plugin/__init__.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- 1 | [tool.black] 2 | line-length = 100 3 | -------------------------------------------------------------------------------- /test-bc/bash.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/test-bc/bash.ll -------------------------------------------------------------------------------- /test-bc/grep.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/test-bc/grep.ll -------------------------------------------------------------------------------- /test-bc/gzip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/test-bc/gzip.ll -------------------------------------------------------------------------------- /tests/accessOpen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/accessOpen.cpp -------------------------------------------------------------------------------- /tests/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/common.h -------------------------------------------------------------------------------- /tests/errnoAndRetValueChecked.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/errnoAndRetValueChecked.cpp -------------------------------------------------------------------------------- /tests/errnoChecked.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/errnoChecked.cpp -------------------------------------------------------------------------------- /tests/retValueChecked.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/retValueChecked.cpp -------------------------------------------------------------------------------- /tests/retValueUnchecked.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/retValueUnchecked.cpp -------------------------------------------------------------------------------- /tests/runTests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/runTests.py -------------------------------------------------------------------------------- /tests/taintedExternal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedExternal.cpp -------------------------------------------------------------------------------- /tests/taintedExternalThroughFunc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedExternalThroughFunc.cpp -------------------------------------------------------------------------------- /tests/taintedSyscall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedSyscall.cpp -------------------------------------------------------------------------------- /tests/taintedSyscallThroughFunc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedSyscallThroughFunc.cpp -------------------------------------------------------------------------------- /tests/taintedVariadic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedVariadic.cpp -------------------------------------------------------------------------------- /tests/taintedVariadicThroughFunc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/taintedVariadicThroughFunc.cpp -------------------------------------------------------------------------------- /tests/tmpnamOpen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/tests/tmpnamOpen.cpp -------------------------------------------------------------------------------- /triage/triage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/KRFAnalysis/HEAD/triage/triage.py --------------------------------------------------------------------------------