[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

[Mandeep Singh Grang via Phabricator via cfe-commits]

mgrang added a comment.

Reviving this now that I have some cycles to work on this.

So I tried running this on csa-testbench projects but I didn't have much success. I always run into a bunch of build/env related errors:

  15:05:20 [libcxx] Checking out project... 
  [ERROR] Unknown option: json
  
  15:05:22 [libcxx] LOC: ?.
  15:05:22 [libcxx] Generating build log... 
  15:05:22 [libcxx_master] Analyzing project... 
  [ERROR] Traceback (most recent call last):
    File "/local/mnt/workspace/mgrang/comm_analyzer/CodeChecker/cc_bin/CodeChecker.py", line 20, in <module>
      from shared.ttypes import RequestFailed
  ImportError: No module named shared.ttypes

I installed CodeChecker and various other dependencies mentioned in the README. Here's what my input json looks like:

  {
    "projects": [
      {
        "url": "git://github.com/chapuni/libcxx.git",
        "name": "libcxx",
        "clang_sa_args": "--analyze -Xanalyzer -analyzer-checker=alpha.nondeterminism.PointerSorting",
        "clang_path": "path/to/llvm/install/bin",
        "binary_dir": "build"
      },
      {
        "name": "bitcoin",
        "url": "https://github.com/bitcoin/bitcoin.git",
        "tag": "v0.15.1",
        "clang_sa_args": "--analyze -Xanalyzer -analyzer-checker=alpha.nondeterminism.PointerSorting",
        "clang_path": "path/to/llvm/install/bin",
        "binary_dir": "build"
      },
      {
        "name": "xerces-c",
        "url": "https://github.com/apache/xerces-c.git",
        "prepared": true,
        "clang_sa_args": "--analyze -Xanalyzer -analyzer-checker=alpha.nondeterminism.PointerSorting",
        "clang_path": "path/to/llvm/install/bin",
        "binary_dir": "build"
      }
    ],
  
    "CodeChecker": {
      "url": "http://localhost:8001/Default",
      "analyze_args": "",
      "store_args": ""
    }
  }


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D50488/new/

https://reviews.llvm.org/D50488