Questions Category static-analysis

Static Analysis Tools

M.O. modified 6 days ago

ELINA Static Analyzer

OrenIshShalom modified 1 weeks ago

llvm opt -O3 fail (?)

OrenIshShalom modified 2 weeks ago

Custom CMake static check

thetic modified 2 weeks ago

Polyspace alerts for not forward declaring main()

Jorge Juan Torres Quiroga modified 2 weeks ago

Is polyspace deterministic? [closed]

Daniel Ortega modified 4 weeks ago

"Unreachable code" alert when checking a pointer for "NULL"

Jorge Juan Torres Quiroga modified 4 weeks ago