...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| BADFUNC.LONGJMP BADFUNC.SETJMP | Use of longjmp Use of setjmp | ||||||
| LDRA tool suite |
| 43 S | Enhanced enforcement | ||||||
| Parasoft C/C++test | 9.5 | MISRA2004-20_7 | Use of setjmp() and longjmp() | ||||||
| Polyspace Bug Finder | R2016a | Use of setjmp/longjmp |
| ||||||
| SonarQube C/C++ Plugin |
| S982 |
...