hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python points-to: Performance improvement.

Browse Source
This commit is contained in:
Mark Shannon
2019-04-29 17:53:18 +01:00
parent 15a7ac3680
commit d44ce4f1df
1 changed files with 14 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
python/ql/src/semmle/python/pointsto/PointsTo.qll
View File

@@ -1099,19 +1099,26 @@ module Expressions {
pragma [noinline]
predicate subscriptPointsTo(SubscriptNode subscr, PointsToContext context, ObjectInternal value, ControlFlowNode origin, ControlFlowNode obj, ObjectInternal objvalue) {
subscr.isLoad() and
obj = subscr.getObject() and
origin = subscr and
PointsToInternal::pointsTo(obj, context, objvalue, _) and
(
exists(ControlFlowNode index |
subscriptObjectAndIndex(subscr, context, obj, objvalue, index)
|
objvalue.subscriptUnknown() and
value = ObjectInternal::unknown()
or
exists(int n |
PointsToInternal::pointsTo(subscr.getIndex(), context, TInt(n), _) and
PointsToInternal::pointsTo(index, context, TInt(n), _) and
value = objvalue.(SequenceObjectInternal).getItem(n)
)
)
) and
origin = subscr
}
pragma [noinline]
private predicate subscriptObjectAndIndex(SubscriptNode subscr, PointsToContext context, ControlFlowNode obj, ObjectInternal objvalue, ControlFlowNode index) {
subscr.isLoad() and
obj = subscr.getObject() and
PointsToInternal::pointsTo(obj, context, objvalue, _) and
index = subscr.getIndex()
}
/** Track bitwise expressions so we can handle integer flags and enums.