...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
CON34-C | Medium | Probable | No | HighNo | P4 | L3 |
Automated Detection
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-cPartially 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) |
...