hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
revert-4653-feature/csharp9-relational-pattern
codeql/csharp/ql/test/library-tests/dataflow/ssa
History
Tom Hvitved c571e42cd5 C#: Move internal CFG logic into separate file
2020-11-21 19:49:17 +01:00
..
BaseSsaConsistency.expected
C#: Fix bug in BaseSsa library
2018-09-04 15:16:20 +02:00
BaseSsaConsistency.ql
C#: Autoformat QL tests
2018-12-20 10:19:59 +01:00
Capture.cs
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
Consistency.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
DefAdjacentRead.expected
C#: Add SSA test for overlapping captured variable definitions
2020-10-09 16:01:19 +02:00
DefAdjacentRead.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
DefUse.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
Example.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
Fields.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
IsLiveOutRefParameterDefinition.expected
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
IsLiveOutRefParameterDefinition.ql
C#: Autoformat QL tests
2018-12-20 10:19:59 +01:00
OutRef.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
Patterns.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
PreSsaConsistency.expected
C#: Account for CFG splitting in AssignableDefinition::getAFirstRead() and AssignableRead::getANextRead()
2019-01-02 09:50:13 +01:00
PreSsaConsistency.ql
C#: Move internal CFG logic into separate file
2020-11-21 19:49:17 +01:00
Properties.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
ReadAdjacentRead.expected
C#: Account for CFG splitting in AssignableDefinition::getAFirstRead() and AssignableRead::getANextRead()
2019-01-02 09:50:13 +01:00
ReadAdjacentRead.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
Splitting.cs
C#: Add SSA tests with CFG splitting
2019-01-02 09:48:04 +01:00
SsaCapturedVariableDef.expected
C#: Reimplement flow-summary compilation
2020-10-14 14:15:34 +02:00
SsaCapturedVariableDef.ql
C#: Simplify extraction of is expressions and case statements
2019-06-03 15:50:41 +02:00
SsaConsistency.expected
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
SsaConsistency.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaDef.expected
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
SsaDef.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaDefElement.expected
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
SsaDefElement.ql
C#: Add GuardedControlFlowNode
2019-01-16 10:29:26 +01:00
SsaDefLastRead.expected
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
SsaDefLastRead.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaExplicitDef.expected
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
SsaExplicitDef.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaImplicitCall.expected
C#: Avoid overlapping SSA definitions for ref/out captured variables
2020-10-12 10:52:40 +02:00
SsaImplicitCall.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaImplicitQualifier.expected
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SsaImplicitQualifier.ql
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
SSAPhi.expected
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
SSAPhi.ql
C#: Autoformat QL tests
2018-12-20 10:19:59 +01:00
SsaRead.expected
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
SsaRead.ql
C#: Autoformat QL tests
2018-12-20 10:19:59 +01:00
SsaUltimateDef.expected
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
SsaUltimateDef.ql
C#: Autoformat QL tests
2018-12-20 10:19:59 +01:00
Test.cs
C#: Remove some impossible CFG exception edges
2019-02-11 16:17:01 +01:00
Tuples.cs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00