Anders Schack-Mulligen
|
7b98ca9b0a
|
C#: Adjust qltest expected output.
|
2022-01-18 10:36:52 +01:00 |
|
Anders Schack-Mulligen
|
71e39353ca
|
Dataflow: Sync.
|
2022-01-18 10:36:52 +01:00 |
|
Anders Schack-Mulligen
|
dfa79f6119
|
Dataflow: Sync.
|
2022-01-18 10:30:09 +01:00 |
|
Chris Smowton
|
2c37885f6e
|
Sync dataflow
|
2022-01-18 10:30:09 +01:00 |
|
Michael Nebel
|
de3d62b3f4
|
C#: Update stats file for the new relations (they are unfortunately empty).
|
2022-01-18 09:33:40 +01:00 |
|
Michael Nebel
|
bf21026771
|
C#: Add downgrade scripts for the line span pragma.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
8fd116fbd7
|
C#: Add upgrade scripts for the new tables requires for the line span pragma.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
ac47c96f48
|
C#: Add Line span pragma test case.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
8b048ca17e
|
C#: Add line span pragma example.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
93255dfe13
|
C#: Add QL library support for the Line span directive.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
7e264668d8
|
C#: Refator directive visitor to use expression body.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
af380f846e
|
C#: Add support in the extractor for the LineSpanDirective.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
195d40c04e
|
C#: Add new class needed for LineSpanDirective and modify existing implementation to use the new types.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
a197befb5f
|
C#: Add shared base class for line and line span pragmas.
|
2022-01-18 09:32:14 +01:00 |
|
Michael Nebel
|
c9467d7e94
|
C#: Add new tables to the dbscheme line span pragma.
|
2022-01-18 09:32:14 +01:00 |
|
Owen Mansel-Chan
|
065043b311
|
Merge pull request #7588 from owen-mc/add-specific-needs-reference-predicates
Dataflow: Add language-specific NeedsReference predicates
|
2022-01-17 15:51:34 +00:00 |
|
Michael Nebel
|
b927aad6ed
|
C#: Address review comments related to record structs.
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
6c1bb4a3a9
|
C#: Add test case for record class and record structs.
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
746fd603d8
|
C#: Add flow summary test for record struct constructors.
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
9770f09839
|
C#: Deprecate Record and introduce RecordClass instead. Also make flow summary support for record struct constructors.
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
55cb2aa160
|
C#: Use modifier to decide, if a type is a record like type and implement support for record struct types.
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
dc76775d07
|
C#: Consider 'record' a type modifier in the extractor (it can be applied to both class and struct).
|
2022-01-17 16:16:18 +01:00 |
|
Michael Nebel
|
c17bd29640
|
C#: Rename C# code file and update test.
|
2022-01-17 16:16:18 +01:00 |
|
Tom Hvitved
|
3c837c322b
|
Merge pull request #7514 from github/post-release-prep/codeql-cli-2.7.5
Post-release preparation for codeql-cli-2.7.5
|
2022-01-17 12:40:33 +01:00 |
|
Tom Hvitved
|
2ecf0d3264
|
Merge pull request #7550 from michaelnebel/csharp/global-using
C#: Support for identifying whether a using directive is "global".
|
2022-01-14 20:03:18 +01:00 |
|
Andrew Eisenberg
|
fbb5d7196f
|
Merge branch 'main' into post-release-prep/codeql-cli-2.7.5
|
2022-01-14 08:23:43 -08:00 |
|
Michael Nebel
|
e09009cd8e
|
Merge pull request #7118 from michaelnebel/csharp-primary-ql-class
C#: PrimaryQlClass
|
2022-01-14 16:14:28 +01:00 |
|
Michael Nebel
|
8c6c8b0adb
|
C#: Remove un-needed ql doc comment.
|
2022-01-14 12:55:54 +01:00 |
|
Michael Nebel
|
6009d71e9a
|
C#: Add getAPrimaryQlClass override to UnknownExpr.
|
2022-01-14 10:41:44 +01:00 |
|
Tom Hvitved
|
6c20585fc7
|
C#: Eliminate bad magic optimization
```
[2022-01-14 08:57:14] (253s) Tuple counts for Stmt::getAChild#bbf/3@8dfbc66f after 1m53s:
4922010396 ~5% {3} r1 = JOIN ControlFlowElement::ControlFlowElement::getEnclosingCallable_dispred#ff_10#join_rhs WITH ControlFlowElement::ControlFlowElement::getEnclosingCallable_dispred#ff_10#join_rhs ON FIRST 1 OUTPUT Lhs.1 'cfe', Rhs.1 'cfe', Lhs.0 'c'
1597068 ~2% {3} r2 = JOIN r1 WITH Element::Element::getAChild_dispred#ff ON FIRST 2 OUTPUT Lhs.0 'cfe', Lhs.2 'c', Lhs.1 'result'
return r2
```
|
2022-01-14 10:10:23 +01:00 |
|
Tom Hvitved
|
411d2b2876
|
C#: Update stats
|
2022-01-14 10:10:23 +01:00 |
|
Michael Nebel
|
f025db0371
|
C#: Add downgrade script for deleting using_global relation.
|
2022-01-14 10:10:23 +01:00 |
|
Michael Nebel
|
dcd6a6be40
|
C#: Add database upgrade script for adding the using_global relation.
|
2022-01-14 10:10:22 +01:00 |
|
Michael Nebel
|
a1eff1603a
|
C#: Add test for global using directive.
|
2022-01-14 10:10:22 +01:00 |
|
Michael Nebel
|
c118d9bf6f
|
C#: Add support for the global modifier for using directives.
|
2022-01-14 10:10:22 +01:00 |
|
Michael Nebel
|
e305a8a6c5
|
C#: Refactor Tuples to use expression body syntax.
|
2022-01-14 10:10:22 +01:00 |
|
Michael Nebel
|
6e72f6e2c4
|
C#: Refactor to re-use code to extract modifier tokens.
|
2022-01-14 10:10:13 +01:00 |
|
Anders Schack-Mulligen
|
0b24af901d
|
Merge pull request #7349 from aschackmull/dataflow/state
Dataflow: Add support for flow state
|
2022-01-14 09:12:38 +01:00 |
|
Andrew Eisenberg
|
4ffd8c62ac
|
Merge pull request #7579 from github/aeisenberg/changenote-upgrades-removal
Changenotes: Add changenotes for upgrades refactoring
|
2022-01-13 09:09:06 -08:00 |
|
Michael Nebel
|
71baf32596
|
Update csharp/ql/consistency-queries/PrimaryQlClass.ql
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2022-01-13 16:36:31 +01:00 |
|
Owen Mansel-Chan
|
d41c55c69c
|
Add needed predicates for Ruby and C#
This was done manually.
|
2022-01-13 15:10:19 +00:00 |
|
Owen Mansel-Chan
|
2de6340ff5
|
Sync FlowSummaryImpl.qll
Done using sync-files.py
|
2022-01-13 15:09:25 +00:00 |
|
Anders Schack-Mulligen
|
c44cf29992
|
Merge pull request #7587 from owen-mc/add-default-taint-sanitizer-guard
Dataflow: Add default taint sanitizer guard
|
2022-01-13 14:44:55 +01:00 |
|
Anders Schack-Mulligen
|
f7cf327e71
|
Dataflow: Sync
|
2022-01-13 13:28:43 +01:00 |
|
Michael Nebel
|
85fc127c0a
|
C#: Fix BDD limit issue (thank you @jbj).
|
2022-01-13 12:46:56 +01:00 |
|
Michael Nebel
|
7c11e2d7e9
|
C#: Add a consistency test for getAPrimaryQlClass
|
2022-01-13 12:20:42 +01:00 |
|
Michael Nebel
|
6b937a939b
|
C#: Add getAPrimaryQlClass overrides
|
2022-01-13 12:20:41 +01:00 |
|
Michael Nebel
|
aacb03a74b
|
C#: Narrow string interpolation expressions to a specific single file in testcase.
|
2022-01-13 10:25:33 +01:00 |
|
Andrew Eisenberg
|
e435a3e9c3
|
Changenotes: Add changenotes for upgrades refactoring
|
2022-01-12 11:36:31 -08:00 |
|
Owen Mansel-Chan
|
8e8278764b
|
Add predicate defaultTaintSanitizerGuard for each language
This was done manually, as these files are not synced by sync-files.py.
|
2022-01-12 14:44:56 +00:00 |
|