...
| Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Tainting Checker | Trust and security errors (see Chapter 8) | ||||||||||||
| CodeSonar | |||||||||||||||
| Include Page | CodeSonar_V | CodeSonar_V | 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 |
| INTER.CCL INTER.CTLC | Use the optional java.util.Locale parameter Do not call 'Character.toLowerCase(char)' or 'Character.toUpperCase(char)' in an internationalized environment | |||||||
| SonarQube |
| S1449 | Locale should be used in String operations |
...