@@ -104,7 +104,7 @@ private predicate brace_pair(PossibleAdvancedFormatString fmt, int start, int en
104104 )
105105}
106106
107- private predicate advanced_format_call ( Call format_expr , PossibleAdvancedFormatString fmt , int args ) {
107+ private predicate advanced_format_call_objectapi ( Call format_expr , PossibleAdvancedFormatString fmt , int args ) {
108108 exists ( CallNode call |
109109 call = format_expr .getAFlowNode ( ) |
110110 call .getFunction ( ) .refersTo ( Object:: builtin ( "format" ) ) and call .getArg ( 0 ) .refersTo ( _, fmt .getAFlowNode ( ) ) and
@@ -115,27 +115,27 @@ private predicate advanced_format_call(Call format_expr, PossibleAdvancedFormatS
115115 )
116116}
117117
118- class AdvancedFormatString extends PossibleAdvancedFormatString {
118+ class AdvancedFormatString_objectapi extends PossibleAdvancedFormatString {
119119
120- AdvancedFormatString ( ) {
121- advanced_format_call ( _, this , _)
120+ AdvancedFormatString_objectapi ( ) {
121+ advanced_format_call_objectapi ( _, this , _)
122122 }
123123
124124}
125125
126- class AdvancedFormattingCall extends Call {
126+ class AdvancedFormattingCall_objectapi extends Call {
127127
128- AdvancedFormattingCall ( ) {
129- advanced_format_call ( this , _, _)
128+ AdvancedFormattingCall_objectapi ( ) {
129+ advanced_format_call_objectapi ( this , _, _)
130130 }
131131
132132 /** Count of the arguments actually provided */
133133 int providedArgCount ( ) {
134- advanced_format_call ( this , _, result )
134+ advanced_format_call_objectapi ( this , _, result )
135135 }
136136
137- AdvancedFormatString getAFormat ( ) {
138- advanced_format_call ( this , result , _)
137+ AdvancedFormatString_objectapi getAFormat ( ) {
138+ advanced_format_call_objectapi ( this , result , _)
139139 }
140140
141141}
0 commit comments