[analyzer] SATest: Add a set of initial projects for testing

[NoQ]

clang/utils/analyzer/.dockerignore

2

NO NeWlINE At EnD oF fILE

clang/utils/analyzer/projects/box2d/run_static_analyzer.cmd

2

Is there a flag to enable assertions or something like that? Usually we recommend people to enable assertions during analysis. It's also valuable to test that assertions are actually working.

Disabling assertions is in fact relatively good for reference results testing because all the false positives that they suppress are suddenly visible, and therefore the signal we receive from such testing is amplified significantly. But i wouldn't force such workflow on our solution-for-everyone because that requires a certain level of masochism in order to distinguish between "my patch introduced a false positive and it's bad" and "my patch introduced a false positive but it would have been suppressed by assertions and we do actually want to emit the warning in absence of assertions so it's good".

[vsavchenko]

clang/utils/analyzer/projects/box2d/run_static_analyzer.cmd

2

CMake doesn't have a unified solution for "Release with assertions" type of build. It is usually done on per-project basis (like in LLVM). I guess rather than searching for such a flag for every project, we can indeed change it to Debug.

[NoQ]

clang/utils/analyzer/projects/box2d/run_static_analyzer.cmd

2

Maybe something like -DCMAKE_C_FLAGS=-UNDEBUG could also work (or use scan-build --force-analyze-debug-code which is basically the same thing) but choosing Debug indeed sounds like the sanest solution.

[vsavchenko]

Change build type to Debug

[vsavchenko]

Add a new line in .dockerignore

[NoQ]

Thx!

.gitignore

 #==============================================================================#
 # Directories to ignore (do not add trailing '/'s, they skip symlinks).
 #==============================================================================#
 # VS2017 and VSCode config files.
 .vscode
 .vs
 # clangd index
 .clangd
+# static analyzer regression testing project files
+/clang/utils/analyzer/projects/*/CachedSource
+/clang/utils/analyzer/projects/*/PatchedSource
+/clang/utils/analyzer/projects/*/ScanBuildResults
+/clang/utils/analyzer/projects/*/RefScanBuildResults
 No newline at end of file

clang/utils/analyzer/.dockerignore

+./projects

clang/utils/analyzer/projects/box2d/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/box2d/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/cxxopts/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/cxxopts/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/libsoundio/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/libsoundio/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/oatpp/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/oatpp/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/projects.json

+[
+  {
+    "name": "cxxopts",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/jarro2783/cxxopts.git",
+    "commit": "794c975"
+  },
+  {
+    "name": "box2d",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/erincatto/box2d.git",
+    "commit": "1025f9a"
+  },
+  {
+    "name": "tinyexpr",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/codeplea/tinyexpr.git",
+    "commit": "ffb0d41"
+  },
+  {
+    "name": "symengine",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/symengine/symengine.git",
+    "commit": "4f669d59"
+  },
+  {
+    "name": "termbox",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/nsf/termbox.git",
+    "commit": "0df1355"
+  },
+  {
+    "name": "tinyvm",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/jakogut/tinyvm.git",
+    "commit": "10c25d8"
+  },
+  {
+    "name": "tinyspline",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/msteinbeck/tinyspline.git",
+    "commit": "f8b1ab7"
+  },
+  {
+    "name": "oatpp",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/oatpp/oatpp.git",
+    "commit": "d3e60fb"
+  },
+  {
+    "name": "libsoundio",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/andrewrk/libsoundio.git",
+    "commit": "b810bf2"
+  },
+  {
+    "name": "zstd",
+    "mode": 1,
+    "source": "git",
+    "origin": "https://github.com/facebook/zstd.git",
+    "commit": "2af4e073"
+  }
+]

clang/utils/analyzer/projects/symengine/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/symengine/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -DWITH_COTIRE=OFF -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/termbox/cleanup_run_static_analyzer.sh

+./waf clean
+exit 0

clang/utils/analyzer/projects/termbox/run_static_analyzer.cmd

+./waf configure
+./waf

clang/utils/analyzer/projects/tinyexpr/cleanup_run_static_analyzer.sh

+make clean

clang/utils/analyzer/projects/tinyexpr/run_static_analyzer.cmd

+make

clang/utils/analyzer/projects/tinyspline/cleanup_run_static_analyzer.sh

+rm -rf ./build

clang/utils/analyzer/projects/tinyspline/run_static_analyzer.cmd

+cmake . -DCMAKE_BUILD_TYPE=Debug -Bbuild -GNinja
+cmake --build build

clang/utils/analyzer/projects/tinyvm/cleanup_run_static_analyzer.sh

+make clean

clang/utils/analyzer/projects/tinyvm/run_static_analyzer.cmd

+make

clang/utils/analyzer/projects/zstd/cleanup_run_static_analyzer.sh

+rm -rf ./build_analyzer

clang/utils/analyzer/projects/zstd/run_static_analyzer.cmd

+cmake ./build/cmake -DCMAKE_BUILD_TYPE=Debug -Bbuild_analyzer -GNinja
+cmake --build build_analyzer