...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Tainting Checker | Trust and security errors (see Chapter 8) | ||||||
| CodeSonar | 4.2 | FB.I18N.DM_CONVERT_CASE FB.I18N.DM_DEFAULT_ENCODING PMD.Design.SimpleDateFormatNeedsLocale PMD.Design.UseLocaleWithCaseConversions | Consider using Locale parameterized version of invoked method Reliance on default encoding Simple date format needs Locale Use Locale with case conversions | ||||||
| Parasoft Jtest | 9.5 | INTER.{CCL,CTLC} | Implemented |
...