hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix performance of multi_assignment_points_to.

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2019-07-03 13:17:07 +02:00
parent a40f0e0d14
commit 315dcb8720
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -500,12 +500,17 @@ cached module PointsToInternal {
pointsTo(def.getValue(), context, value, origin)
}
pragma [nomagic]
private predicate sequence_index_points_to(ControlFlowNode f, PointsToContext context, SequenceObjectInternal sequence, ObjectInternal value, int index) {
pointsTo(f, context, sequence, _) and
value = sequence.getItem(index)
}
pragma [noinline]
private predicate multi_assignment_points_to(MultiAssignmentDefinition def, PointsToContext context, ObjectInternal value, ControlFlowNode origin) {
exists(int index, ControlFlowNode rhs, SequenceObjectInternal sequence |
def.indexOf(index, rhs) and
pointsTo(rhs, context, sequence, _) and
value = sequence.getItem(index) and
sequence_index_points_to(rhs, context, sequence, value, index) and
origin = def.getDefiningNode()
)
}