File tree Expand file tree Collapse file tree 4 files changed +10
-12
lines changed
java/ql/lib/semmle/code/java Expand file tree Collapse file tree 4 files changed +10
-12
lines changed Original file line number Diff line number Diff line change @@ -171,8 +171,7 @@ class SummarizedCallableBase extends TSummarizedCallableBase {
171
171
172
172
class SummarizedCallable = Impl:: Public:: SummarizedCallable ;
173
173
174
- class NeutralCallable = Impl:: Public:: NeutralCallable ;
175
-
174
+ // class NeutralCallable = Impl::Public::NeutralCallable;
176
175
/**
177
176
* An adapter class to add the flow summaries specified on `SyntheticCallable`
178
177
* to `SummarizedCallable`.
Original file line number Diff line number Diff line change @@ -11,8 +11,8 @@ private module DispatchImpl {
11
11
private predicate hasHighConfidenceTarget ( Call c ) {
12
12
exists ( SummarizedCallable sc | sc .getACall ( ) = c and not sc .isAutoGenerated ( ) )
13
13
or
14
- exists ( NeutralCallable nc | nc .getACall ( ) = c and nc .isManual ( ) )
15
- or
14
+ // exists(NeutralCallable nc | nc.getACall() = c and nc.isManual())
15
+ // or
16
16
exists ( Callable srcTgt |
17
17
srcTgt = VirtualDispatch:: viableCallable ( c ) and
18
18
not VirtualDispatch:: lowConfidenceDispatchTarget ( c , srcTgt )
Original file line number Diff line number Diff line change @@ -236,12 +236,11 @@ private VirtualMethodAccess objectToString(ObjNode n) {
236
236
result .getQualifier ( ) = n .asExpr ( ) and sink ( n )
237
237
}
238
238
239
- /**
240
- * Holds if `ma` is an `Object.toString()` call taking possibly improved type
241
- * bounds into account.
242
- */
243
- predicate objectToStringCall ( VirtualMethodAccess ma ) { ma = objectToString ( _) }
244
-
239
+ // /**
240
+ // * Holds if `ma` is an `Object.toString()` call taking possibly improved type
241
+ // * bounds into account.
242
+ // */
243
+ // predicate objectToStringCall(VirtualMethodAccess ma) { ma = objectToString(_) }
245
244
/**
246
245
* Holds if the qualifier of the `Object.toString()` call `ma` might have type `t`.
247
246
*/
Original file line number Diff line number Diff line change @@ -93,8 +93,8 @@ private module Dispatch {
93
93
exists ( RefType t | qualUnionType ( ma , t , false ) |
94
94
lowConfidenceDispatchType ( t .getSourceDeclaration ( ) )
95
95
)
96
- ) and
97
- not ObjFlow:: objectToStringCall ( ma )
96
+ ) // and
97
+ // not ObjFlow::objectToStringCall(ma)
98
98
}
99
99
100
100
private predicate lowConfidenceDispatchType ( SrcRefType t ) {
You can’t perform that action at this time.
0 commit comments