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

Python points-to: Fix up failedInference predicate.

Browse Source
This commit is contained in:
Mark Shannon
2019-04-17 15:04:54 +01:00
parent 2aa967ae8e
commit 2ea204f7f9
4 changed files with 911 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/test/library-tests/PointsTo/new/Values.ql
View File

@@ -6,4 +6,4 @@ import Util
from ControlFlowNode f, Context ctx, Value v, ControlFlowNode origin
where
f.pointsTo(ctx, v, origin)
select locate(f.getLocation(), "c"), f.toString(), ctx, v, v.getClass()
select locate(f.getLocation(), "abeghijklmnpqrstu"), f.toString(), ctx, v, v.getClass()