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

Dataflow: Generate shorter RA/DIL names.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-08-05 08:49:06 +02:00
parent d3dcc3ce3a
commit 3d47875b60
31 changed files with 186 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll
View File

@@ -1936,7 +1936,9 @@ private module Stage2Param implements MkStage<Stage1>::StageParam {
predicate typecheckStore(Ap ap, DataFlowType contentType) { any() }
}
private module Stage2 = MkStage<Stage1>::Stage<Stage2Param>;
private module Stage2 implements StageSig {
import MkStage<Stage1>::Stage<Stage2Param>
}
pragma[nomagic]
private predicate flowOutOfCallNodeCand2(
@@ -2210,7 +2212,9 @@ private module Stage3Param implements MkStage<Stage2>::StageParam {
}
}
private module Stage3 = MkStage<Stage2>::Stage<Stage3Param>;
private module Stage3 implements StageSig {
import MkStage<Stage2>::Stage<Stage3Param>
}
/**
* Holds if `argApf` is recorded as the summary context for flow reaching `node`

8
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll
View File

@@ -1936,7 +1936,9 @@ private module Stage2Param implements MkStage<Stage1>::StageParam {
predicate typecheckStore(Ap ap, DataFlowType contentType) { any() }
}
private module Stage2 = MkStage<Stage1>::Stage<Stage2Param>;
private module Stage2 implements StageSig {
import MkStage<Stage1>::Stage<Stage2Param>
}
pragma[nomagic]
private predicate flowOutOfCallNodeCand2(
@@ -2210,7 +2212,9 @@ private module Stage3Param implements MkStage<Stage2>::StageParam {
}
}
private module Stage3 = MkStage<Stage2>::Stage<Stage3Param>;
private module Stage3 implements StageSig {
import MkStage<Stage2>::Stage<Stage3Param>
}
/**
* Holds if `argApf` is recorded as the summary context for flow reaching `node`

8
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll
View File

@@ -1936,7 +1936,9 @@ private module Stage2Param implements MkStage<Stage1>::StageParam {
predicate typecheckStore(Ap ap, DataFlowType contentType) { any() }
}
private module Stage2 = MkStage<Stage1>::Stage<Stage2Param>;
private module Stage2 implements StageSig {
import MkStage<Stage1>::Stage<Stage2Param>
}
pragma[nomagic]
private predicate flowOutOfCallNodeCand2(
@@ -2210,7 +2212,9 @@ private module Stage3Param implements MkStage<Stage2>::StageParam {
}
}
private module Stage3 = MkStage<Stage2>::Stage<Stage3Param>;
private module Stage3 implements StageSig {
import MkStage<Stage2>::Stage<Stage3Param>
}
/**
* Holds if `argApf` is recorded as the summary context for flow reaching `node`

8
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll
View File

@@ -1936,7 +1936,9 @@ private module Stage2Param implements MkStage<Stage1>::StageParam {
predicate typecheckStore(Ap ap, DataFlowType contentType) { any() }
}
private module Stage2 = MkStage<Stage1>::Stage<Stage2Param>;
private module Stage2 implements StageSig {
import MkStage<Stage1>::Stage<Stage2Param>
}
pragma[nomagic]
private predicate flowOutOfCallNodeCand2(
@@ -2210,7 +2212,9 @@ private module Stage3Param implements MkStage<Stage2>::StageParam {
}
}
private module Stage3 = MkStage<Stage2>::Stage<Stage3Param>;
private module Stage3 implements StageSig {
import MkStage<Stage2>::Stage<Stage3Param>
}
/**
* Holds if `argApf` is recorded as the summary context for flow reaching `node`