Provides classes and predicates for reasoning about string formatting.
Import path
import semmle.code.java.StringFormat
Imports
| DefUse | Provides classes and predicates for def-use and use-use pairs. Built on top of the SSA library for maximal precision.
|
| java | Provides all default Java QL imports.
|
Predicates
| implicitToStringCall | Holds if e occurs in a position where it may be converted to a string by an implicit call to toString().
|
Classes
| FmtSyntax | A syntax for format strings.
|
| FormatString | A string that is used as the format string in a FormattingCall.
|
| FormattingCall | A call to a StringFormatMethod or a callable wrapping a StringFormatMethod.
|
| LoggerFormatMethod | A format method using the org.slf4j.Logger format string syntax. That is, the placeholder string is "{}".
|
| StringFormat | A call to a format or printf method.
|
| StringFormatMethod | A library method that acts like String.format by formatting a number of its arguments according to a format string.
|