C#: Base Nullness tests on stubs.

michaelnebel · michaelnebel · commit 6760dd91215d · 2023-08-29T15:30:24.000+02:00
diff --git a/csharp/ql/test/query-tests/Nullness/Implications.ql b/csharp/ql/test/query-tests/Nullness/Implications.ql
@@ -2,5 +2,7 @@ import csharp
 import semmle.code.csharp.controlflow.Guards
 
 query predicate impliesStep(Expr e1, AbstractValue v1, Expr e2, AbstractValue v2) {
+  e1.fromSource() and
+  e2.fromSource() and
   Internal::impliesStep(e1, v1, e2, v2)
 }
diff --git a/csharp/ql/test/query-tests/Nullness/options b/csharp/ql/test/query-tests/Nullness/options
@@ -1,2 +1,3 @@
-semmle-extractor-options: /r:System.Linq.dll /r:System.Drawing.Primitives.dll
-semmle-extractor-options: ${testdir}/../../resources/stubs/Microsoft.VisualStudio.TestTools.UnitTesting.cs
+semmle-extractor-options: /nostdlib /noconfig
+semmle-extractor-options: --load-sources-from-project:${testdir}/../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
+semmle-extractor-options: ${testdir}/../../resources/stubs/Microsoft.VisualStudio.TestTools.UnitTesting.cs

Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,7 @@ import csharp`
`2`	`2`	`import semmle.code.csharp.controlflow.Guards`
`3`	`3`
`4`	`4`	`query predicate impliesStep(Expr e1, AbstractValue v1, Expr e2, AbstractValue v2) {`
	`5`	`+ e1.fromSource() and`
	`6`	`+ e2.fromSource() and`
`5`	`7`	`Internal::impliesStep(e1, v1, e2, v2)`
`6`	`8`	`}`