Rasmus Wriedt Larsen
cdf4dd16f0
Python: Fix module level flow for iterable unpacking
...
(and for * patterns in match)
Since `PhaseDependentFlow` uses the following predicate, that relies on
.getScope() to be present for there to be any importTimeFlow (flow at
toplevel scope), it's important that data-flow nodes implement `.getScope`.
```
private predicate isTopLevel(Node node) { node.getScope() instanceof Module }
```
By implementing getScope, we can now rely on default implementation of
`getEnclosingCallable` in DataFlow::Node:
```
/** Gets the enclosing callable of this node. */
DataFlowCallable getEnclosingCallable() { result = getCallableScope(this.getScope()) }
```
2024-02-28 16:39:08 +01:00
Felicity Chapman
377ef59c3a
Merge branch 'main' into 13332-codeql-model-editor-csharp
2024-02-28 15:33:27 +00:00
Felicity Chapman
efff0149d0
Update formatting of 'tip'
2024-02-28 15:33:07 +00:00
Koen Vlaswinkel
ab11068d6d
Merge pull request #15749 from github/koesie10/update-testing-vscode-docs
...
Update documentation for testing CodeQL queries in VS Code
2024-02-28 16:29:54 +01:00
Rasmus Wriedt Larsen
e4699e092d
Python: Add test for iterable unpacking on module level
...
Currently doesn't work :O
2024-02-28 16:10:29 +01:00
Koen Vlaswinkel
6aeef17f99
Rename Test Explorer to Testing view
2024-02-28 16:00:15 +01:00
Tom Hvitved
297a17975d
Merge pull request #15665 from hvitved/csharp/variable-capture
...
C#: Adopt shared variable capture library
2024-02-28 15:13:03 +01:00
Michael Nebel
9563705eb3
C#: Add change note.
2024-02-28 14:53:15 +01:00
Michael Nebel
bb282b94dd
C#: Claim suppport for C# 12 / .NET 8.
2024-02-28 14:41:38 +01:00
Alvaro Muñoz
5b40d98849
Update test db build script
2024-02-28 14:36:21 +01:00
Michael Nebel
f6b1d1f235
C#: Add upgrade and downgrade scripts.
2024-02-28 14:09:59 +01:00
Florin Coada
b76449714a
codeql 2.16.3 changelogs
2024-02-28 13:07:48 +00:00
Koen Vlaswinkel
5226c77abf
Update documentation for testing CodeQL queries in VS Code
2024-02-28 13:47:11 +01:00
Michael Nebel
00d311205b
C#: Update expected test output.
2024-02-28 13:44:28 +01:00
Michael Nebel
794bc44a41
C#: Add test query predicate for ref readonly parameters.
2024-02-28 13:44:28 +01:00
Michael Nebel
692d7036a0
C#: Add extractor and QL library support for ref readonly parameters.
2024-02-28 13:44:28 +01:00
Michael Nebel
a86de9de2f
C#: Update comment in DB Scheme.
2024-02-28 13:44:28 +01:00
Michael Nebel
18c7e73805
C#: Add test for parameter modifiers.
2024-02-28 13:44:28 +01:00
Michael Nebel
d8bff14365
C#: Adjust locations for the parameter default value tests.
2024-02-28 13:44:28 +01:00
Alvaro Muñoz
8a9ec88b36
feat(matrix): Add support for flow through matrix vars
2024-02-28 13:21:29 +01:00
Michael Nebel
4bbaf687ad
Merge pull request #15723 from michaelnebel/csharp/experimentalattribute
...
C# 12: Experimental attribute.
2024-02-28 13:06:09 +01:00
Jeroen Ketema
ae97a23c27
Merge pull request #15213 from jketema/frontend-update
...
C++: Accept test changes after frontend upgrade
2024-02-28 13:00:02 +01:00
Felicity Chapman
c247dee11a
Delete docs/codeql/reusables/beta-note-model-packs-java.rst
...
This was accidentally reintroduced during merge conflict resolution.
2024-02-28 11:49:50 +00:00
Felicity Chapman
053e172d94
Merge branch 'main' into 13332-codeql-model-editor-csharp
2024-02-28 11:43:02 +00:00
Alvaro Muñoz
447b65e7a9
Add script to build full DBs (testproj ones remove source code origin)
2024-02-28 12:37:41 +01:00
Felicity Chapman
897786dc99
Minor updates to model editor article
2024-02-28 11:28:59 +00:00
Michael Nebel
65ec80967e
Merge pull request #15696 from michaelnebel/csharp/compilergeneratedstmt
...
C#: Compiler generated statements.
2024-02-28 12:06:39 +01:00
Jeroen Ketema
00ad7854dc
C++: Accept test changes after frontend upgrade
...
* The `specifiers2` tests have a different result now due to the implementation
of CWG 2387.
* The `special_members/generated_copy` has improved results as the frontend has
improved support for deleted copy constructors.
2024-02-28 11:29:57 +01:00
Michael Nebel
3c15b21385
C#: Add change note.
2024-02-28 11:25:23 +01:00
Michael Nebel
7535a15fda
C#: Add tests and update expected test output.
2024-02-28 11:22:12 +01:00
Michael Nebel
95dc2f71d3
C#: Add ExperimentalAttribute class.
2024-02-28 11:20:43 +01:00
Alvaro Muñoz
8e7e5d03a5
fix(test): Add expected files
2024-02-28 11:15:38 +01:00
Mathias Vorreiter Pedersen
7be76405f5
Merge pull request #15741 from MathiasVP/fix-ir-inconsistencies-from-returning-routine-types
...
C++: Fix IR inconsistencies from routine types
2024-02-28 09:13:53 +00:00
Erik Krogh Kristensen
0358e81117
Merge pull request #15746 from github/dependabot/cargo/ql/rayon-1.9.0
...
Bump rayon from 1.8.1 to 1.9.0 in /ql
2024-02-28 10:11:50 +01:00
dependabot[bot]
cc178ab58f
Bump rayon from 1.8.1 to 1.9.0 in /ql
...
Bumps [rayon](https://github.com/rayon-rs/rayon ) from 1.8.1 to 1.9.0.
- [Changelog](https://github.com/rayon-rs/rayon/blob/main/RELEASES.md )
- [Commits](https://github.com/rayon-rs/rayon/compare/rayon-core-v1.8.1...rayon-core-v1.9.0 )
---
updated-dependencies:
- dependency-name: rayon
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
2024-02-28 03:24:58 +00:00
Mathew Payne
409d35ba1f
Merge pull request #23 from GitHubSecurityLab/IAC_queries
...
feat(queries): Migrate queries from AdvancedSecurity repo
2024-02-27 20:11:12 +00:00
Edward Minnix III
a743683d4f
Merge pull request #15563 from egregius313/egregius313/csharp/docs/mad-docs
...
C#: Models as Data Documentation
2024-02-27 13:45:09 -05:00
Mathias Vorreiter Pedersen
b8c141f292
C++: Accept test changes.
2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen
ddd5113c02
C++: Ensure that we can construct an 'IRType' from a 'RoutineType'.
2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen
892f97cd7a
C++: Add testcase with invalid IR from constructing a 'RoutineType'.
2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen
0335a4f4ce
Merge pull request #15735 from MathiasVP/ir-for-vacuous-destructor-calls
...
C++: IR construction for `VacuousDestructorCall`s
2024-02-27 17:58:30 +00:00
Geoffrey White
0df10bda0c
C++: Post-merge fixup.
2024-02-27 17:32:59 +00:00
Geoffrey White
1da611cc02
Merge branch 'main' into mad
2024-02-27 17:29:45 +00:00
Geoffrey White
bc42e2bc35
C++: Workaround to get the tests passing again.
2024-02-27 17:28:38 +00:00
Felicity Chapman
f9c2b4d23c
MVP changes for C# library expansion support
2024-02-27 16:47:13 +00:00
Chris Smowton
7c7c10ea11
Merge pull request #15739 from github/smowton-patch-1
...
Add change note for https://github.com/github/codeql/pull/15646
2024-02-27 16:07:29 +00:00
Max Schaefer
f2935caa5c
Merge pull request #15732 from github/max-schaefer/more-sink-types
...
Automodel: Add four more sink types.
2024-02-27 15:52:45 +00:00
Mathias Vorreiter Pedersen
bba152da13
Merge branch 'main' into ir-for-vacuous-destructor-calls
2024-02-27 15:42:46 +00:00
Chris Smowton
9f84653283
Merge pull request #15613 from smowton/smowton/fix/golang-map-range-read-dataflow
...
Golang: fix flow from a map value via a range statement
2024-02-27 15:42:43 +00:00
Chris Smowton
aedd3badf7
Add change note for https://github.com/github/codeql/pull/15646
2024-02-27 15:41:43 +00:00
