[clang] [nfc][analyzer] Add MemSpace trait to program state (PR #123003)

[Balazs Benics via cfe-commits]

steakhal wrote:

> Working on some benchmarking. Posted some problems in the discord channel, but working through it now, and benchmarking with the CodeChecker tool using only clangsa. Is there an already established set of benchmarks y'all use somewhere? IIRC, there was some github repo with some benchmarks that I saw linked earlier.

This is a sad story. We don't really have the tooling. I mean, at Sonar, we have our internal tooling. Ericsson also has quite a bit of internal tooling built on top of https://github.com/Xazax-hun/csa-testbench.
There is some outdated dockerfile at https://github.com/llvm/llvm-project/tree/main/clang/utils/analyzer,

Like in most cases, we don't have the docs xD
The best I've found so far was this: https://reviews.llvm.org/D126196
You will see the last comment describes how they used it, so I guess that should work for you too.

Probably the SATest.py is the best you can reach for once you dust it off a bit.

https://github.com/llvm/llvm-project/pull/123003