Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 053460f

Browse files
michaelnebelmichaelnebel
committed
C#: Introduce validation of negative summaries.
1 parent 3315d76 commit 053460f

2 files changed

Lines changed: 7 additions & 0 deletions

File tree

‎csharp/ql/test/library-tests/dataflow/external-models/negativesummaries.expected‎

Whitespace-only changes.

‎csharp/ql/test/library-tests/dataflow/external-models/negativesummaries.ql‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
/**
2+
* CSV Validation of negative summaries.
3+
*/
4+
5+
import csharp
6+
import semmle.code.csharp.dataflow.CsvValidation
7+
import semmle.code.csharp.dataflow.NegativeSummary

0 commit comments

Comments
 (0)