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

C#: Add tests for Code Contracts

Browse Source
This commit is contained in:
Tom Hvitved
2019-12-11 16:38:41 +01:00
parent cb8e5fa3fc
commit 5429448eeb
4 changed files with 66 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
csharp/ql/test/library-tests/commons/Assertions/Assertions.cs
View File

@@ -1,5 +1,6 @@
using System;
using System.Diagnostics;
using System.Diagnostics.Contracts;
using Microsoft.VisualStudio.TestTools.UnitTesting;
public static class Forwarders
@@ -37,6 +38,18 @@ class Assertions
Forwarders.MyAssert2(false);
Forwarders.MyAssert2(true);
}
void CodeContracts(string s)
{
Contract.Requires(s != null);
Contract.Requires(s != null, "s must be non-null");
Contract.Requires<Exception>(s != null);
Contract.Requires<Exception>(s != null, "s must be non-null");
Contract.Assert(s != null);
Contract.Assert(s != null, "s is non-null");
Contract.Assume(s != null);
Contract.Assume(s != null, "s is non-null");
}
}
// semmle-extractor-options: ${testdir}/../../../resources/stubs/Microsoft.VisualStudio.TestTools.UnitTesting.cs
// semmle-extractor-options: ${testdir}/../../../resources/stubs/Microsoft.VisualStudio.TestTools.UnitTesting.cs /r:System.Diagnostics.Contracts.dll

25
csharp/ql/test/library-tests/commons/Assertions/Assertions.expected Normal file
View File

@@ -0,0 +1,25 @@
assertTrue
| Assertions.cs:8:44:8:59 | call to method IsTrue | Assertions.cs:8:58:8:58 | access to parameter b |
| Assertions.cs:9:45:9:55 | call to method MyAssert | Assertions.cs:9:54:9:54 | access to parameter b |
| Assertions.cs:17:9:17:31 | call to method Assert | Assertions.cs:17:22:17:30 | ... != ... |
| Assertions.cs:20:9:20:32 | call to method IsTrue | Assertions.cs:20:23:20:31 | ... == ... |
| Assertions.cs:21:9:21:32 | call to method IsTrue | Assertions.cs:21:23:21:31 | ... != ... |
| Assertions.cs:24:9:24:38 | call to method MyAssert | Assertions.cs:24:29:24:37 | ... == ... |
| Assertions.cs:25:9:25:39 | call to method MyAssert2 | Assertions.cs:25:30:25:38 | ... == ... |
| Assertions.cs:30:9:30:27 | call to method Assert | Assertions.cs:30:22:30:26 | false |
| Assertions.cs:31:9:31:26 | call to method Assert | Assertions.cs:31:22:31:25 | true |
| Assertions.cs:32:9:32:28 | call to method IsTrue | Assertions.cs:32:23:32:27 | false |
| Assertions.cs:33:9:33:27 | call to method IsTrue | Assertions.cs:33:23:33:26 | true |
| Assertions.cs:36:9:36:34 | call to method MyAssert | Assertions.cs:36:29:36:33 | false |
| Assertions.cs:37:9:37:33 | call to method MyAssert | Assertions.cs:37:29:37:32 | true |
| Assertions.cs:38:9:38:35 | call to method MyAssert2 | Assertions.cs:38:30:38:34 | false |
| Assertions.cs:39:9:39:34 | call to method MyAssert2 | Assertions.cs:39:30:39:33 | true |
assertFalse
| Assertions.cs:22:9:22:33 | call to method IsFalse | Assertions.cs:22:24:22:32 | ... != ... |
| Assertions.cs:23:9:23:33 | call to method IsFalse | Assertions.cs:23:24:23:32 | ... == ... |
| Assertions.cs:34:9:34:28 | call to method IsFalse | Assertions.cs:34:24:34:27 | true |
| Assertions.cs:35:9:35:29 | call to method IsFalse | Assertions.cs:35:24:35:28 | false |
assertNull
| Assertions.cs:18:9:18:24 | call to method IsNull | Assertions.cs:18:23:18:23 | access to local variable s |
assertNonNull
| Assertions.cs:19:9:19:27 | call to method IsNotNull | Assertions.cs:19:26:19:26 | access to local variable s |

22
csharp/ql/test/library-tests/commons/Assertions/Assertions.ql Normal file
View File

@@ -0,0 +1,22 @@
import csharp
import semmle.code.csharp.commons.Assertions
query predicate assertTrue(Assertion a, Expr e) {
a.getExpr() = e and
a.getTarget() instanceof AssertTrueMethod
}
query predicate assertFalse(Assertion a, Expr e) {
a.getExpr() = e and
a.getTarget() instanceof AssertFalseMethod
}
query predicate assertNull(Assertion a, Expr e) {
a.getExpr() = e and
a.getTarget() instanceof AssertNullMethod
}
query predicate assertNonNull(Assertion a, Expr e) {
a.getExpr() = e and
a.getTarget() instanceof AssertNonNullMethod
}

10
csharp/ql/test/library-tests/commons/Assertions/FailingAssertion.expected
View File

@@ -1,5 +1,5 @@
| Assertions.cs:29:9:29:27 | call to method Assert |
| Assertions.cs:31:9:31:28 | call to method IsTrue |
| Assertions.cs:33:9:33:28 | call to method IsFalse |
| Assertions.cs:35:9:35:34 | call to method MyAssert |
| Assertions.cs:37:9:37:35 | call to method MyAssert2 |
| Assertions.cs:30:9:30:27 | call to method Assert |
| Assertions.cs:32:9:32:28 | call to method IsTrue |
| Assertions.cs:34:9:34:28 | call to method IsFalse |
| Assertions.cs:36:9:36:34 | call to method MyAssert |
| Assertions.cs:38:9:38:35 | call to method MyAssert2 |