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: Allow path from non-sourceNodes

Browse Source 
This is against the philosophy, but we
have still restricted attributes.
We use this PR to test performance.
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-12-15 15:35:16 +01:00
parent e64af59667
commit 638fcab12d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/semmle/python/dataflow/new/TypeTracker.qll
View File

@@ -51,7 +51,7 @@ module StepSummary {
* heap and/or inter-procedural step from `nodeFrom` to `nodeTo`.
*/
cached
predicate step(LocalSourceNode nodeFrom, Node nodeTo, StepSummary summary) {
predicate step(Node nodeFrom, Node nodeTo, StepSummary summary) {
exists(Node mid | typePreservingStep*(nodeFrom, mid) and smallstep(mid, nodeTo, summary))
}