File tree Expand file tree Collapse file tree 1 file changed +0
-21
lines changed
python/ql/lib/semmle/python/types Expand file tree Collapse file tree 1 file changed +0
-21
lines changed Original file line number Diff line number Diff line change @@ -110,24 +110,3 @@ class ReModulePointToExtension extends PointsToExtension {
110110 pragma [ noinline]
111111 private predicate pointsTo_helper ( Context context ) { context .appliesTo ( this ) }
112112}
113-
114- deprecated private class BackwardCompatiblePointToExtension extends PointsToExtension instanceof CustomPointsToFact {
115- override predicate pointsTo ( Context context , ObjectInternal value , ControlFlowNode origin ) {
116- exists ( Object obj , ClassObject cls |
117- CustomPointsToFact .super .pointsTo ( context , obj , cls , origin )
118- |
119- value .getBuiltin ( ) = obj
120- or
121- obj instanceof ControlFlowNode and
122- exists ( ClassObjectInternal c |
123- c .getSource ( ) = cls and
124- value = TUnknownInstance ( c )
125- )
126- )
127- or
128- exists ( ObjectInternal owner , string name |
129- PointsTo:: pointsTo ( this .( AttrNode ) .getObject ( name ) , context , owner , _) and
130- additionalAttribute ( owner , name , value , origin )
131- )
132- }
133- }
You can’t perform that action at this time.
0 commit comments