Clang

[andrewt0301]

clang --analyze -Xclang -analyzer-constraints=z3 -Xclang -analyzer-max-loop -Xclang 5 .\main.cpp

[andrewt0301]

int main() {
int a = 0;
for (int i = 3; i >= 0; i--) {
a += 42 / i;
}
return a;
}

[andrewt0301]

andrewt@LAPTOP-5GPL0IVV:~/src/examples$ cat main.cpp

int main() {
  int a = 0;
  for (int i = 3; i >= 0; i--) {
    a += 42 / i;
  }
  return a;
}

andrewt@LAPTOP-5GPL0IVV:~/src/examples$ clang-tidy main.cpp --
1 warning generated.
/home/andrewt/src/examples/main.cpp:5:13: warning: Division by zero [clang-analyzer-core.DivideZero]
    a += 42 / i;
         ~~~^~~
/home/andrewt/src/examples/main.cpp:4:3: note: Loop condition is true.  Entering loop body
  for (int i = 3; i >= 0; i--) {
  ^
/home/andrewt/src/examples/main.cpp:4:3: note: Loop condition is true.  Entering loop body
/home/andrewt/src/examples/main.cpp:4:3: note: Loop condition is true.  Entering loop body
/home/andrewt/src/examples/main.cpp:4:27: note: The value 0 is assigned to 'i'
  for (int i = 3; i >= 0; i--) {
                          ^~~
/home/andrewt/src/examples/main.cpp:4:3: note: Loop condition is true.  Entering loop body
  for (int i = 3; i >= 0; i--) {
  ^
/home/andrewt/src/examples/main.cpp:5:13: note: Division by zero
    a += 42 / i;
         ~~~^~~
andrewt@LAPTOP-5GPL0IVV:~/src/examples$

[andrewt0301]

https://www.pdfdrive.biz/llvm-techniques-tips-and-best-practices-clang-and-middle-end-libraries/

[andrewt0301]

https://z-lib.is/book/llvm-techniques-tips-and-best-practices-clang-and-middle-end-libraries-99687

[andrewt0301]

https://ebook-hunter.org/llvm-techniques-tips-and-best-practices-clang-and-middle-end-libraries-by-min-yih-hsu_6086e6da3f243519594289c4/