mgrang added a comment.
I hacked around the run_experiments.py to set CMAKE_C_FLAGS and now I see the
following error in stats.html. Note: I see the same error with an existing
checker like PointerArithmChecker. And I do not hit this assert when I run the
checker outside of csa-testbench.
Assertion `CheckerTags.count(tag) != 0 && "Requested checker is not
registered! Maybe you should add it as a " "dependency in Checkers.td?"'
Here's my config file:
{
"projects": [
{
"name": "TinyXML2",
"url": "https://github.com/leethomason/tinyxml2.git";,
"clang_sa_args": "-target x86_64-linux-gnu -L /usr/lib/x86_64-linux-gnu
-B /usr/lib/x86_64-linux-gnu -B /usr/lib/gcc/x86_64-linux-gnu/5 -L
/usr/lib/gcc/x86_64-linux-gnu/5 --analyze -Xanalyzer -analyzer-checker=core
-Xanalyzer -analyzer-checker=alpha.core.PointerArithm -Xclang -analyzer-stats",
"clang_path": "path/install/bin",
"binary_dir": "build"
}
],
"CodeChecker": {
"url": "http://localhost:8001/Default";,
"analyze_args": "",
"store_args": ""
}
}
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D50488/new/
https://reviews.llvm.org/D50488
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
