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

C#: Fix inconsistent casing of Cs/CS.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-03-30 15:24:32 +02:00
parent 898d12b0be
commit 40366042a5
4 changed files with 8 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -274,7 +274,7 @@ module VariableCapture {
}
private module CaptureInput implements Shared::InputSig<Location, BasicBlocks::BasicBlock> {
private import csharp as Cs
private import csharp as CS
private import semmle.code.csharp.controlflow.ControlFlowGraph as Cfg
private import TaintTrackingPrivate as TaintTrackingPrivate
@@ -391,7 +391,7 @@ module VariableCapture {
}
}
class Callable extends Cs::Callable {
class Callable extends CS::Callable {
predicate isConstructor() { this instanceof Constructor }
}
}

4
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -215,9 +215,9 @@ private module StepsInput implements Impl::Private::StepsInputSig {
module SourceSinkInterpretationInput implements
Impl::Private::External::SourceSinkInterpretationInputSig
{
private import csharp as Cs
private import csharp as CS
class Element = Cs::Element;
class Element = CS::Element;
predicate sourceElement(
Element e, string output, string kind, Public::Provenance provenance, string model

1
csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
View File

@@ -1042,7 +1042,6 @@ string getToStringPrefix(Definition def) {
}
private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInputSig {
private import csharp as Cs
private import semmle.code.csharp.controlflow.BasicBlocks
private import codeql.util.Boolean

8
csharp/ql/lib/utils/test/InlineMadTest.qll
View File

@@ -1,14 +1,14 @@
private import csharp as Cs
private import csharp as CS
private import codeql.mad.test.InlineMadTest
private module InlineMadTestLang implements InlineMadTestLangSig {
class Callable = Cs::Callable;
class Callable = CS::Callable;
string getComment(Callable c) {
exists(Cs::CommentBlock block, Cs::Element after | after = block.getAfter() |
exists(CS::CommentBlock block, CS::Element after | after = block.getAfter() |
(
after = c or
after = c.(Cs::Accessor).getDeclaration()
after = c.(CS::Accessor).getDeclaration()
) and
result = block.getALine()
)