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

Python: Fix query tests

Browse Source 
Mostly just adding `private import LegacyPointsTo`. Sometimes getting
rid of other imports that are superceded by that module.
This commit is contained in:
Taus
2025-10-30 23:06:26 +00:00
parent 2732a652ab
commit 5b63b4957c
52 changed files with 49 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/ql/src/analysis/CallGraphEfficiency.ql
View File

@@ -4,8 +4,7 @@
*/
import python
import semmle.python.pointsto.PointsTo
import semmle.python.pointsto.PointsToContext
private import LegacyPointsTo
from int total_facts, int total_size, int depth, float efficiency
where

3
python/ql/src/analysis/CallGraphMarginalEfficiency.ql
View File

@@ -4,8 +4,7 @@
*/
import python
import semmle.python.pointsto.PointsTo
import semmle.python.pointsto.PointsToContext
private import LegacyPointsTo
from int total_facts, int total_size, int depth, float efficiency
where

3
python/ql/src/analysis/ContextEfficiency.ql
View File

@@ -4,8 +4,7 @@
*/
import python
import semmle.python.pointsto.PointsTo
import semmle.python.pointsto.PointsToContext
private import LegacyPointsTo
from int total_facts, int total_size, int depth, float efficiency
where

3
python/ql/src/analysis/ContextMarginalEfficiency.ql
View File

@@ -4,8 +4,7 @@
*/
import python
import semmle.python.pointsto.PointsTo
import semmle.python.pointsto.PointsToContext
private import LegacyPointsTo
int depth(ControlFlowNode f, Object value, ClassObject cls) {
exists(PointsToContext ctx |

2
python/ql/src/analysis/CrossProjectDefinitions.qll
View File

@@ -3,7 +3,7 @@
*/
import python
import semmle.python.pointsto.PointsTo
private import LegacyPointsTo
private newtype TSymbol =
TModule(Module m) or

2
python/ql/src/analysis/FailedInference.ql
View File

@@ -1,5 +1,5 @@
import python
import semmle.python.pointsto.PointsTo
private import LegacyPointsTo
from ClassValue cls, string reason
where Types::failedInference(cls, reason)

1
python/ql/src/analysis/TypeHierarchyFailure.ql
View File

@@ -8,6 +8,7 @@
*/
import python
private import LegacyPointsTo
from Class cls, string reason
where exists(ClassObject c | c.getPyClass() = cls | c.failedInference(reason))