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.
|