
...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, resulting undefined behavior is reported by the runtime error analysis | ||||||||
CodeSonar |
| CONCURRENCY.LOCALARG | Local Variable Passed to Thread Inappropriate Storage Duration | |||||||
Cppcheck Premium |
| premium-cert-con34-c | Partially implemented | |||||||
Helix QAC |
| DF4926, DF4927, DF4928 | ||||||||
Parasoft C/C++test |
| CERT_C-CON34-a | Declare objects shared between POSIX threads with appropriate storage durations | |||||||
Polyspace Bug Finder |
| CERT C: Rule CON34-C | Checks for automatic or thread local variable escaping from a C11 thread (rule fully covered) |
...