10007 changed files with 4165 additions and 1901371 deletions
--- a/README.md
+++ b/README.md
@ -0,0 +1,2 @@
+# code-analysis
+
--- a/src/Report-Generation/code_review.py
+++ b/src/Report-Generation/code_review.py
--- a/src/Report-Generation/cppcheck_test_generator/README.md
+++ b/src/Report-Generation/cppcheck_test_generator/README.md
--- a/src/Report-Generation/cppcheck_test_generator/init.py
+++ b/src/Report-Generation/cppcheck_test_generator/init.py
--- a/src/Report-Generation/cppcheck_test_generator/analysis.py
+++ b/src/Report-Generation/cppcheck_test_generator/analysis.py
--- a/src/Report-Generation/cppcheck_test_generator/generation.py
+++ b/src/Report-Generation/cppcheck_test_generator/generation.py
--- a/src/Report-Generation/cppcheck_test_generator/main.py
+++ b/src/Report-Generation/cppcheck_test_generator/main.py
--- a/src/Report-Generation/cppcheck_test_generator/models.py
+++ b/src/Report-Generation/cppcheck_test_generator/models.py
--- a/src/Report-Generation/cppcheck_test_generator/parsers.py
+++ b/src/Report-Generation/cppcheck_test_generator/parsers.py
--- a/src/Report-Generation/cppcheck_test_generator/verification.py
+++ b/src/Report-Generation/cppcheck_test_generator/verification.py
--- a/src/Report-Generation/cppcheck_to_tests.py
+++ b/src/Report-Generation/cppcheck_to_tests.py
--- a/src/Report-Generation/cppcheck_to_tests_new.py
+++ b/src/Report-Generation/cppcheck_to_tests_new.py
--- a/src/Report-Generation/test.py
+++ b/src/Report-Generation/test.py
--- a/doc/9组作业.pptx
+++ b/doc/9组作业.pptx
--- a/doc/文档模板：软件需求构思及描述.docx
+++ b/doc/文档模板：软件需求构思及描述.docx
--- a/doc/文档模板：软件需求规格说明书.docx
+++ b/doc/文档模板：软件需求规格说明书.docx
--- a/doc/软件使用说明书.docx
+++ b/doc/软件使用说明书.docx
--- a/doc/通用化代码漏洞分析与管理平台.mp4
+++ b/doc/通用化代码漏洞分析与管理平台.mp4
--- a/doc/通用化代码漏洞分析与管理平台测试文档.docx
+++ b/doc/通用化代码漏洞分析与管理平台测试文档.docx
--- a/doc/通用化代码漏洞分析与管理软件软件设计规格说明书(1).doc
+++ b/doc/通用化代码漏洞分析与管理软件软件设计规格说明书(1).doc
--- a/src/klee-build/googletest-release-1.11.0/.clang-format
+++ b/src/klee-build/googletest-release-1.11.0/.clang-format
--- a/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/00-bug_report.md
+++ b/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/00-bug_report.md
--- a/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/10-feature_request.md
+++ b/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/10-feature_request.md
--- a/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/config.yml
+++ b/src/klee-build/googletest-release-1.11.0/.github/ISSUE_TEMPLATE/config.yml
--- a/src/klee-build/googletest-release-1.11.0/.gitignore
+++ b/src/klee-build/googletest-release-1.11.0/.gitignore
--- a/src/klee-build/googletest-release-1.11.0/.pc/.quilt_patches
+++ b/src/klee-build/googletest-release-1.11.0/.pc/.quilt_patches
--- a/src/klee-build/googletest-release-1.11.0/.pc/.quilt_series
+++ b/src/klee-build/googletest-release-1.11.0/.pc/.quilt_series
--- a/src/klee-build/googletest-release-1.11.0/.pc/.version
+++ b/src/klee-build/googletest-release-1.11.0/.pc/.version
--- a/src/klee-build/googletest-release-1.11.0/.pc/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch/googletest/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch/googletest/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch/googletest/cmake/internal_utils.cmake
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch/googletest/cmake/internal_utils.cmake
--- a/src/klee-build/googletest-release-1.11.0/.pc/0002-Set-import-path-for-private-python-module.patch/googlemock/scripts/generator/gmock_gen.py
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0002-Set-import-path-for-private-python-module.patch/googlemock/scripts/generator/gmock_gen.py
--- a/src/klee-build/googletest-release-1.11.0/.pc/0003-Remove-Werror-from-cxx_base_flags.patch/googletest/cmake/internal_utils.cmake
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0003-Remove-Werror-from-cxx_base_flags.patch/googletest/cmake/internal_utils.cmake
--- a/src/klee-build/googletest-release-1.11.0/.pc/0004-Use-python-3-for-installed-script-gmock_gen.patch/googlemock/scripts/generator/gmock_gen.py
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0004-Use-python-3-for-installed-script-gmock_gen.patch/googlemock/scripts/generator/gmock_gen.py
--- a/src/klee-build/googletest-release-1.11.0/.pc/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch/googlemock/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch/googlemock/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch/googletest/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch/googletest/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googlemock/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googlemock/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/cmake/Config.cmake.in
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/cmake/Config.cmake.in
--- a/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/cmake/internal_utils.cmake
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0006-Separate-GTest-and-GMock-targets.patch/googletest/cmake/internal_utils.cmake
--- a/src/klee-build/googletest-release-1.11.0/.pc/0007-Enable-conditional-exclusion-of-test-gmock-matchers_.patch/googlemock/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0007-Enable-conditional-exclusion-of-test-gmock-matchers_.patch/googlemock/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/include/gtest/internal/gtest-port-arch.h
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/include/gtest/internal/gtest-port-arch.h
--- a/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/include/gtest/internal/gtest-port.h
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/include/gtest/internal/gtest-port.h
--- a/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/src/gtest-port.cc
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/src/gtest-port.cc
--- a/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/test/googletest-port-test.cc
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/test/googletest-port-test.cc
--- a/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/test/gtest_help_test.py
+++ b/src/klee-build/googletest-release-1.11.0/.pc/0008-Port-to-GNU-Hurd.patch/googletest/test/gtest_help_test.py
--- a/src/klee-build/googletest-release-1.11.0/.pc/applied-patches
+++ b/src/klee-build/googletest-release-1.11.0/.pc/applied-patches
--- a/src/klee-build/googletest-release-1.11.0/BUILD.bazel
+++ b/src/klee-build/googletest-release-1.11.0/BUILD.bazel
--- a/src/klee-build/googletest-release-1.11.0/CMakeLists.txt
+++ b/src/klee-build/googletest-release-1.11.0/CMakeLists.txt
--- a/src/klee-build/googletest-release-1.11.0/CONTRIBUTING.md
+++ b/src/klee-build/googletest-release-1.11.0/CONTRIBUTING.md
--- a/src/klee-build/googletest-release-1.11.0/CONTRIBUTORS
+++ b/src/klee-build/googletest-release-1.11.0/CONTRIBUTORS
--- a/src/klee-build/googletest-release-1.11.0/LICENSE
+++ b/src/klee-build/googletest-release-1.11.0/LICENSE
--- a/src/klee-build/googletest-release-1.11.0/README.md
+++ b/src/klee-build/googletest-release-1.11.0/README.md
--- a/src/klee-build/googletest-release-1.11.0/WORKSPACE
+++ b/src/klee-build/googletest-release-1.11.0/WORKSPACE
--- a/src/klee-build/googletest-release-1.11.0/ci/linux-presubmit.sh
+++ b/src/klee-build/googletest-release-1.11.0/ci/linux-presubmit.sh
--- a/src/klee-build/googletest-release-1.11.0/ci/macos-presubmit.sh
+++ b/src/klee-build/googletest-release-1.11.0/ci/macos-presubmit.sh
--- a/src/klee-build/googletest-release-1.11.0/debian/README.Debian
+++ b/src/klee-build/googletest-release-1.11.0/debian/README.Debian
--- a/src/klee-build/googletest-release-1.11.0/debian/changelog
+++ b/src/klee-build/googletest-release-1.11.0/debian/changelog
--- a/src/klee-build/googletest-release-1.11.0/debian/compat
+++ b/src/klee-build/googletest-release-1.11.0/debian/compat
--- a/src/klee-build/googletest-release-1.11.0/debian/control
+++ b/src/klee-build/googletest-release-1.11.0/debian/control
--- a/src/klee-build/googletest-release-1.11.0/debian/copyright
+++ b/src/klee-build/googletest-release-1.11.0/debian/copyright
--- a/src/klee-build/googletest-release-1.11.0/debian/gmock_gen.1
+++ b/src/klee-build/googletest-release-1.11.0/debian/gmock_gen.1
--- a/src/klee-build/googletest-release-1.11.0/debian/google-mock.links
+++ b/src/klee-build/googletest-release-1.11.0/debian/google-mock.links
--- a/src/klee-build/googletest-release-1.11.0/debian/googletest-tools.install
+++ b/src/klee-build/googletest-release-1.11.0/debian/googletest-tools.install
--- a/src/klee-build/googletest-release-1.11.0/debian/googletest-tools.manpages
+++ b/src/klee-build/googletest-release-1.11.0/debian/googletest-tools.manpages
--- a/src/klee-build/googletest-release-1.11.0/debian/googletest.docs
+++ b/src/klee-build/googletest-release-1.11.0/debian/googletest.docs
--- a/src/klee-build/googletest-release-1.11.0/debian/googletest.install
+++ b/src/klee-build/googletest-release-1.11.0/debian/googletest.install
--- a/src/klee-build/googletest-release-1.11.0/debian/libgmock-dev.install
+++ b/src/klee-build/googletest-release-1.11.0/debian/libgmock-dev.install
--- a/src/klee-build/googletest-release-1.11.0/debian/libgtest-dev.install
+++ b/src/klee-build/googletest-release-1.11.0/debian/libgtest-dev.install
--- a/src/klee-build/googletest-release-1.11.0/debian/libgtest-dev.links
+++ b/src/klee-build/googletest-release-1.11.0/debian/libgtest-dev.links
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0001-inconsistency-with-GTEST_HAS_PTHREAD-in-library-inte.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0002-Set-import-path-for-private-python-module.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0002-Set-import-path-for-private-python-module.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0003-Remove-Werror-from-cxx_base_flags.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0003-Remove-Werror-from-cxx_base_flags.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0004-Use-python-3-for-installed-script-gmock_gen.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0004-Use-python-3-for-installed-script-gmock_gen.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0005-Add-GoogleTest-version-to-each-sub-project-to-allow-.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0006-Separate-GTest-and-GMock-targets.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0006-Separate-GTest-and-GMock-targets.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0007-Enable-conditional-exclusion-of-test-gmock-matchers_.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0007-Enable-conditional-exclusion-of-test-gmock-matchers_.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/0008-Port-to-GNU-Hurd.patch
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/0008-Port-to-GNU-Hurd.patch
--- a/src/klee-build/googletest-release-1.11.0/debian/patches/series
+++ b/src/klee-build/googletest-release-1.11.0/debian/patches/series
--- a/src/klee-build/googletest-release-1.11.0/debian/rules
+++ b/src/klee-build/googletest-release-1.11.0/debian/rules
--- a/src/klee-build/googletest-release-1.11.0/debian/source/format
+++ b/src/klee-build/googletest-release-1.11.0/debian/source/format
--- a/src/klee-build/googletest-release-1.11.0/debian/source/options
+++ b/src/klee-build/googletest-release-1.11.0/debian/source/options
--- a/src/klee-build/googletest-release-1.11.0/docs/_config.yml
+++ b/src/klee-build/googletest-release-1.11.0/docs/_config.yml
--- a/src/klee-build/googletest-release-1.11.0/docs/_data/navigation.yml
+++ b/src/klee-build/googletest-release-1.11.0/docs/_data/navigation.yml
--- a/src/klee-build/googletest-release-1.11.0/docs/_layouts/default.html
+++ b/src/klee-build/googletest-release-1.11.0/docs/_layouts/default.html
--- a/src/klee-build/googletest-release-1.11.0/docs/_sass/main.scss
+++ b/src/klee-build/googletest-release-1.11.0/docs/_sass/main.scss
--- a/src/klee-build/googletest-release-1.11.0/docs/advanced.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/advanced.md
--- a/src/klee-build/googletest-release-1.11.0/docs/assets/css/style.scss
+++ b/src/klee-build/googletest-release-1.11.0/docs/assets/css/style.scss
--- a/src/klee-build/googletest-release-1.11.0/docs/community_created_documentation.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/community_created_documentation.md
--- a/src/klee-build/googletest-release-1.11.0/docs/faq.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/faq.md
--- a/src/klee-build/googletest-release-1.11.0/docs/gmock_cheat_sheet.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/gmock_cheat_sheet.md
--- a/src/klee-build/googletest-release-1.11.0/docs/gmock_cook_book.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/gmock_cook_book.md
--- a/src/klee-build/googletest-release-1.11.0/docs/gmock_faq.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/gmock_faq.md
--- a/src/klee-build/googletest-release-1.11.0/docs/gmock_for_dummies.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/gmock_for_dummies.md
--- a/src/klee-build/googletest-release-1.11.0/docs/index.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/index.md
--- a/src/klee-build/googletest-release-1.11.0/docs/pkgconfig.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/pkgconfig.md
--- a/src/klee-build/googletest-release-1.11.0/docs/platforms.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/platforms.md
--- a/src/klee-build/googletest-release-1.11.0/docs/primer.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/primer.md
--- a/src/klee-build/googletest-release-1.11.0/docs/quickstart-bazel.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/quickstart-bazel.md
--- a/src/klee-build/googletest-release-1.11.0/docs/quickstart-cmake.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/quickstart-cmake.md
--- a/src/klee-build/googletest-release-1.11.0/docs/reference/actions.md
+++ b/src/klee-build/googletest-release-1.11.0/docs/reference/actions.md
--- a/Show More
+++ b/Show More