Commit Graph

86439 Commits

Author SHA1 Message Date
Simon Friis Vindum
bf9563e78e Rust: Add data flow tests using ref patterns 2025-02-12 09:37:35 +01:00
Michael Nebel
bf1a9afdd3 Merge pull request #18694 from microsoft/csharp-update-MaD-upstream
C#: update MaD for HttpRequestMessage and UriBuilder
2025-02-12 09:32:53 +01:00
Kevin Stubbings
f5521ca1b8 Formatting 2025-02-12 00:15:27 -08:00
Kevin Stubbings
d0ed0fdeb3 Add download to Express 2025-02-12 00:10:09 -08:00
Simon Friis Vindum
b24386fb58 Merge pull request #18743 from paldepind/rust-add-generated-option-model
Rust: Add generated flow summaries for `Option`
2025-02-12 08:51:03 +01:00
Michael Nebel
57a7cb4b4f Merge pull request #18747 from github/workflow/coverage/update
Update CSV framework coverage reports
2025-02-12 08:47:53 +01:00
Simon Friis Vindum
94f0710350 Merge pull request #18741 from paldepind/rust-identity-pattern-to-string
Rust: Tweak `toString` on identity pattern
2025-02-12 08:47:15 +01:00
Simon Friis Vindum
655449be81 Rust: Add auto generated flow summaries for Option 2025-02-12 08:38:47 +01:00
github-actions[bot]
b04d05bd21 Add changed framework coverage reports 2025-02-12 00:20:39 +00:00
Owen Mansel-Chan
7c83b0e213 Move comment and clarify 2025-02-11 22:09:19 +00:00
Owen Mansel-Chan
1e74b7af75 Update to 1.24.0 2025-02-11 22:09:13 +00:00
Owen Mansel-Chan
228983ff0c Update to rc3 2025-02-11 22:04:26 +00:00
Owen Mansel-Chan
8c3aa9383f Update test expectations for rc2 2025-02-11 22:04:23 +00:00
Owen Mansel-Chan
b328d15742 Update to rc2 2025-02-11 22:04:21 +00:00
Owen Mansel-Chan
cc459cd80e Update toolchain version regex
Allow release candidate versions.
2025-02-11 22:04:19 +00:00
Owen Mansel-Chan
b8cad66287 Update test results 2025-02-11 22:04:17 +00:00
Owen Mansel-Chan
d97cda7582 Add test for aliases with type params, added in go 1.24 2025-02-11 22:04:14 +00:00
Owen Mansel-Chan
e3d6480c22 Add go.mod to Types tests 2025-02-11 22:04:12 +00:00
Owen Mansel-Chan
b8297924eb Revert some test expectations changes 2025-02-11 22:04:10 +00:00
Michael B. Gale
e93c4228ea Go: Update test expectations for Go 1.24 2025-02-11 22:04:07 +00:00
Michael B. Gale
f6b460bace Go: Set maxGoVersion to 1.24 2025-02-11 22:04:06 +00:00
Michael B. Gale
7623e2bcd6 Go: Bump extractor to go1.24rc1 2025-02-11 22:04:04 +00:00
Michael B. Gale
595e68cd48 Go: Bump go_sdk to 1.24rc1 in MODULE.bazel 2025-02-11 22:04:01 +00:00
Michael B. Gale
52e15f82e4 Go: Use 1.24rc1 in CI 2025-02-11 22:03:58 +00:00
Jami
2a8cc00284 Merge pull request #18288 from jcogs33/jcogs33/csrf-unprotected-request-type
Java: add CSRF query
2025-02-11 15:32:56 -05:00
Lindsay Simpkins
c45f13c219 Merge branch 'main' into csharp-update-MaD-upstream 2025-02-11 14:04:34 -05:00
Geoffrey White
f5ab6a6cd6 Rust: Accept integration test changes. 2025-02-11 17:39:03 +00:00
Geoffrey White
4f73429251 Rust: Accept test changes after merging latest main. 2025-02-11 17:38:51 +00:00
Geoffrey White
e7fdfd06bf Merge branch 'main' into nth 2025-02-11 17:37:11 +00:00
Geoffrey White
0d9e1b410c Rust: Additional test cases exposing what works and what doesn't. 2025-02-11 17:23:54 +00:00
Asger F
c306f44589 Remove override of final predicate 2025-02-11 17:07:09 +01:00
Asger F
a42480d361 Merge pull request #18733 from asgerf/js/query-string-parse-fn
JS: Model query-string parsers that strip off a leading '#' or '?'
2025-02-11 16:54:02 +01:00
Asger F
80e79b11f7 Apply suggestions from code review
Co-authored-by: Tom Hvitved <hvitved@github.com>
2025-02-11 16:53:13 +01:00
Michael Nebel
be0b3ba505 Merge pull request #18717 from michaelnebel/csharp/updatenetmodels2
C#: Update .NET 9 generated models.
2025-02-11 16:51:50 +01:00
yoff
158430af82 Merge pull request #17765 from yoff/python/test-functional-behaviour
Python: Add tests for functional-like programming
2025-02-11 16:28:37 +01:00
Óscar San José
9bd116fcf8 Add actions to codeql analysis workflow 2025-02-11 16:02:40 +01:00
Simon Friis Vindum
608c1523d2 Rust: Add a few tests for modeled flow for Option 2025-02-11 16:02:04 +01:00
Geoffrey White
8a3a0ef24d Rust: Use Future in the other models as well. 2025-02-11 14:54:52 +00:00
Geoffrey White
f61c157c0a Rust: Repair test after merging main. 2025-02-11 14:47:42 +00:00
Geoffrey White
e594074421 Merge branch 'main' into http 2025-02-11 14:38:58 +00:00
Nicolas Will
4d44755945 Refactor Model and CBOM print queries 2025-02-11 15:37:15 +01:00
Jonas Jensen
76440120d1 Merge pull request #18737 from jbj/NumericCastTaintedQuery-selectedLocation
Java: precise diff-informed NumericCastTainted
2025-02-11 15:33:28 +01:00
Simon Friis Vindum
5a49390615 Merge pull request #18685 from paldepind/rust-future-content
Rust: Basic support for future content and `.await`
2025-02-11 15:27:32 +01:00
Simon Friis Vindum
a09b37edc3 Rust: Expand on toString of IdentPat 2025-02-11 15:25:54 +01:00
Simon Friis Vindum
0aa08a3553 Rust: Add CFG test with identifier pattern containing sub pattern, ref, and mut 2025-02-11 15:09:10 +01:00
Arthur Baars
7e569b4fb2 Merge pull request #18713 from github/aibaars-patch-2
TreeSitter extractors: log fewer lines
2025-02-11 14:36:36 +01:00
Simon Friis Vindum
58d86fd2a9 Merge pull request #18714 from paldepind/rust-pointer
Rust: Handle writes to references and add encoding of reference content
2025-02-11 14:12:56 +01:00
Simon Friis Vindum
c7412cc839 Merge pull request #18696 from paldepind/shared-bb-dominates
Shared: Use edge dominance terminology in basic block library
2025-02-11 14:12:07 +01:00
Asger F
7e3f89842d JS: Provide more precise related locations 2025-02-11 14:12:03 +01:00
Simon Friis Vindum
4c3a2cd111 Change note creation script uses EDITOR environment variable
Changes the script for creating change notes to read the EDITOR environment variable, and use the editor specified therein. This makes the script more convenient when used from a terminal. The VSCode task is updated to the set EDITOR to `code -r` which preserves the current behavior.
2025-02-11 14:04:46 +01:00