%FILES%
usr/
usr/bin/
usr/share/
usr/share/doc/
usr/share/doc/dr-checker/
usr/share/doc/dr-checker/README.md
usr/share/doc/dr-checker/builderror.png
usr/share/doc/dr-checker/docker.md
usr/share/doc/dr-checker/drchecker.pdf
usr/share/doc/dr-checker/faq.md
usr/share/doc/dr-checker/postprocessing.md
usr/share/doc/dr-checker/standalone.md
usr/share/dr-checker/
usr/share/dr-checker/docker/
usr/share/dr-checker/docker/build_and_push.sh
usr/share/dr-checker/docker/docker-compose.yml
usr/share/dr-checker/docker/dockershare/
usr/share/dr-checker/docker/dockershare/README.md
usr/share/dr-checker/docker/install_docker.sh
usr/share/dr-checker/docker/main/
usr/share/dr-checker/docker/main/Dockerfile
usr/share/dr-checker/docker/main/install.sh
usr/share/dr-checker/docker/v_client/
usr/share/dr-checker/docker/v_client/Dockerfile
usr/share/dr-checker/docker/v_client/install.sh
usr/share/dr-checker/docker/v_server/
usr/share/dr-checker/docker/v_server/Dockerfile
usr/share/dr-checker/docker/v_server/install.sh
usr/share/dr-checker/helper_scripts/
usr/share/dr-checker/helper_scripts/pp_scripts/
usr/share/dr-checker/helper_scripts/pp_scripts/pp_jsons.py
usr/share/dr-checker/helper_scripts/runner_scripts/
usr/share/dr-checker/helper_scripts/runner_scripts/components/
usr/share/dr-checker/helper_scripts/runner_scripts/components/__init__.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/base_component.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/driver_linker.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/entry_point_identifier.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/llvm_build.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/parse_headers.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/soundy_analysis_runner.py
usr/share/dr-checker/helper_scripts/runner_scripts/components/warnings_stats.py
usr/share/dr-checker/helper_scripts/runner_scripts/run_all.py
usr/share/dr-checker/helper_scripts/setup_drchecker.py
usr/share/dr-checker/images/
usr/share/dr-checker/images/warning.png
usr/share/dr-checker/llvm_analysis/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/Dr_linker/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/Dr_linker/build.sh
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/Dr_linker/src/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/Dr_linker/src/main.cpp
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/EntryPointIdentifier/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/EntryPointIdentifier/build.sh
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/EntryPointIdentifier/src/
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/EntryPointIdentifier/src/main.cpp
usr/share/dr-checker/llvm_analysis/AnalysisHelpers/build.sh
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/include/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/include/FunctionChecker.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/src/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Customizations/src/FunctionChecker.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/include/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/include/KernelFunctionChecker.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/src/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/LinuxKernelCustomizations/src/KernelFunctionChecker.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/include/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/include/RangeAnalysis.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/include/vSSA.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/src/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/src/RangeAnalysis.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/RangeAnalysis/src/vSSA.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/AliasAnalysisVisitor.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/AliasFuncHandlerCallback.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/AliasObject.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/GlobalVisitor.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/ModuleState.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/PointsToUtils.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/TaintAnalysisVisitor.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/TaintInfo.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/TaintUtils.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/VisitorCallback.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/BugDetectorDriver.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/GlobalVariableRaceDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/ImproperTaintedDataUseDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/IntegerOverflowDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/InvalidCastDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/KernelUninitMemoryLeakDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/TaintedLoopBoundDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/TaintedPointerDereference.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/TaintedSizeDetector.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/ImproperTaintedDataUseWarning.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/InvalidCastWarning.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/KernelUninitMemoryLeakWarning.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/TaintedSizeWarning.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/bug_detectors/warnings/VulnerabilityWarning.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/AliasAnalysisVisitor.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/AliasFuncHandlerCallback.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/GlobalVisitor.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/PointsToUtils.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/SoundyAliasAnalysis.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/TaintAnalysisVisitor.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/TaintUtils.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/BugDetectorDriver.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/GlobalVariableRaceDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/ImproperTaintedDataUseDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/IntegerOverflowDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/InvalidCastDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/KernelUninitMemoryLeakDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/TaintedLoopBoundDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/TaintedPointerDereference.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/TaintedSizeDetector.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/ImproperTaintedDataUseWarning.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/InvalidCastWarning.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/KernelUninitMemoryLeakWarning.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/TaintedSizeWarning.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/src/bug_detectors/warnings/VulnerabilityWarning.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/CMakeLists.txt
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/include/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/include/CFGUtils.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/include/InstructionUtils.h
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/src/
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/src/CFGUtils.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/Utils/src/InstructionUtils.cpp
usr/share/dr-checker/llvm_analysis/MainAnalysisPasses/build.sh
usr/share/dr-checker/llvm_analysis/build.sh
usr/share/dr-checker/visualizer/
usr/share/dr-checker/visualizer/README.md
usr/share/dr-checker/visualizer/client/
usr/share/dr-checker/visualizer/client/.eslintrc.json
usr/share/dr-checker/visualizer/client/.gitignore
usr/share/dr-checker/visualizer/client/README.md
usr/share/dr-checker/visualizer/client/package.json
usr/share/dr-checker/visualizer/client/public/
usr/share/dr-checker/visualizer/client/public/favicon.ico
usr/share/dr-checker/visualizer/client/public/index.html
usr/share/dr-checker/visualizer/client/public/manifest.json
usr/share/dr-checker/visualizer/client/src/
usr/share/dr-checker/visualizer/client/src/components/
usr/share/dr-checker/visualizer/client/src/components/contextItemHeader.jsx
usr/share/dr-checker/visualizer/client/src/components/contextResult.jsx
usr/share/dr-checker/visualizer/client/src/components/fullScreenSourcecodeDialog.jsx
usr/share/dr-checker/visualizer/client/src/components/resultItem.jsx
usr/share/dr-checker/visualizer/client/src/components/resultItemBody.jsx
usr/share/dr-checker/visualizer/client/src/components/resultItemHeader.jsx
usr/share/dr-checker/visualizer/client/src/components/resultsList.jsx
usr/share/dr-checker/visualizer/client/src/components/sectionTitle.jsx
usr/share/dr-checker/visualizer/client/src/components/sourcecodeSection.jsx
usr/share/dr-checker/visualizer/client/src/components/sourcefileResult.jsx
usr/share/dr-checker/visualizer/client/src/components/summaryInfo.jsx
usr/share/dr-checker/visualizer/client/src/components/summarySection.jsx
usr/share/dr-checker/visualizer/client/src/components/withRoot.js
usr/share/dr-checker/visualizer/client/src/index.js
usr/share/dr-checker/visualizer/client/src/pages/
usr/share/dr-checker/visualizer/client/src/pages/main.jsx
usr/share/dr-checker/visualizer/client/src/styles/
usr/share/dr-checker/visualizer/client/src/styles/createContext.js
usr/share/dr-checker/visualizer/images/
usr/share/dr-checker/visualizer/images/dr_checker.png
usr/share/dr-checker/visualizer/server/
usr/share/dr-checker/visualizer/server/.gitignore
usr/share/dr-checker/visualizer/server/app.py
usr/share/dr-checker/visualizer/server/config.py
usr/share/dr-checker/visualizer/server/requirements.txt
usr/share/dr-checker/visualizer/server/utils.py
usr/share/licenses/
usr/share/licenses/dr-checker/
usr/share/licenses/dr-checker/LICENSE
