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

C#: Extract TestLibrary to separate module

Browse Source
This commit is contained in:
Koen Vlaswinkel
2023-09-18 13:33:49 +02:00
parent 585fb9db7e
commit 0cc74a2691
3 changed files with 19 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
csharp/ql/src/Telemetry/ExternalApi.qll
View File

@@ -12,20 +12,7 @@ private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSumma
private import semmle.code.csharp.dataflow.internal.TaintTrackingPrivate
private import semmle.code.csharp.security.dataflow.flowsources.Remote
pragma[nomagic]
private predicate isTestNamespace(Namespace ns) {
ns.getFullName()
.matches([
"NUnit.Framework%", "Xunit%", "Microsoft.VisualStudio.TestTools.UnitTesting%", "Moq%"
])
}
/**
* A test library.
*/
class TestLibrary extends RefType {
TestLibrary() { isTestNamespace(this.getNamespace()) }
}
private import TestLibrary
/** Holds if the given callable is not worth supporting. */
private predicate isUninteresting(DotNet::Callable c) {

17
csharp/ql/src/Telemetry/TestLibrary.qll Normal file
View File

@@ -0,0 +1,17 @@
private import csharp
private import dotnet
pragma[nomagic]
private predicate isTestNamespace(Namespace ns) {
ns.getFullName()
.matches([
"NUnit.Framework%", "Xunit%", "Microsoft.VisualStudio.TestTools.UnitTesting%", "Moq%"
])
}
/**
* A test library.
*/
class TestLibrary extends RefType {
TestLibrary() { isTestNamespace(this.getNamespace()) }
}

15
csharp/ql/src/utils/modeleditor/AutomodelVsCode.qll
View File

@@ -13,20 +13,7 @@ private import semmle.code.csharp.dataflow.internal.TaintTrackingPrivate
private import semmle.code.csharp.frameworks.Test
private import semmle.code.csharp.security.dataflow.flowsources.Remote
pragma[nomagic]
private predicate isTestNamespace(Namespace ns) {
ns.getFullName()
.matches([
"NUnit.Framework%", "Xunit%", "Microsoft.VisualStudio.TestTools.UnitTesting%", "Moq%"
])
}
/**
* A test library.
*/
class TestLibrary extends RefType {
TestLibrary() { isTestNamespace(this.getNamespace()) }
}
private import Telemetry.TestLibrary
/** Holds if the given callable is not worth supporting. */
private predicate isUninteresting(DotNet::Declaration c) {