...
| Code Block | ||||
|---|---|---|---|---|
| ||||
void f(size_t begin, size_t step) {
if (0 < step) {
intsize_t i;
for (i = begin; i <= INTSIZE_MAX - step; i += step) {
/* ... */
}
}
}
|
...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker: Astrée reports potential infinite loops. | |||||||||||
| CodeSonar |
| LANG.STRUCT.LOOP.HR | High risk loop | ||||||||||
| Compass/ROSE | |||||||||||||
| LDRA tool suite |
| 510 S | Partially implemented | ||||||||||
| PC-lint Plus |
| 440, 442, 443, | Partially supported | ||||||||||
| Polyspace Bug Finder |
| R2016a |
| Checks for loop Loop bounded with tainted value Tainted sign change conversion Loop controlled by a value from an unsecure source Value from an unsecure source changes sign(rec. partially covered) | |||||||||
| PVS-Studio |
| 6.22 | V621General analysis rule |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...