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

C#: Do not pass in TSourceVariable IPA type into shared SSA library

Browse Source
This commit is contained in:
Tom Hvitved
2021-11-19 11:53:25 +01:00
parent 4068cc9c3a
commit 34feafd4fa
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplSpecific.qll
View File

@@ -3,6 +3,7 @@
private import csharp
private import AssignableDefinitions
private import SsaImpl as SsaImpl
private import semmle.code.csharp.dataflow.SSA
class BasicBlock = ControlFlow::BasicBlock;
@@ -12,7 +13,7 @@ BasicBlock getABasicBlockSuccessor(BasicBlock bb) { result = bb.getASuccessor()
class ExitBasicBlock = ControlFlow::BasicBlocks::ExitBlock;
class SourceVariable = SsaImpl::TSourceVariable;
class SourceVariable = Ssa::SourceVariable;
predicate variableWrite = SsaImpl::variableWrite/4;