codeql

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#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +01: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#: Split up SSA implementation

2021-01-19 10:52:50 +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#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +01:00

SsaDef.ql

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

SsaDefElement.expected

C#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +01:00

SsaDefElement.ql

C#: Add GuardedControlFlowNode

2019-01-16 10:29:26 +01:00

SsaDefLastRead.expected

C#: Remove ImplicitUntrackedDefinition

2021-01-07 15:16:39 +01:00

SsaDefLastRead.ql

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

SsaExplicitDef.expected

C#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +01: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

C#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +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#: Remove ImplicitUntrackedDefinition

2021-01-07 15:16:39 +01:00

SsaRead.ql

C#: Autoformat QL tests

2018-12-20 10:19:59 +01:00

SsaUltimateDef.expected

C#: Uniform treatment of all SSA definitions

2021-01-07 15:16:44 +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