Commit Graph

76207 Commits

Author SHA1 Message Date
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
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
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
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
Jonas Jensen
71c078dbdd Java: precise diff-informed NumericCastTainted
It was discovered by the upcoming support for exact locations matching
in diff-informed testing that this data-flow configuration did not
correspond exactly to the query.
2025-02-11 13:49:15 +01:00
Michael Nebel
83f8a4057c C#: Address review comments. 2025-02-11 13:46:28 +01:00
Michael Nebel
fbbdea09a2 C#: Add change note. 2025-02-11 13:42:48 +01:00
Michael Nebel
5d72b29fe9 C#: Update flow summaries test expected output. 2025-02-11 13:42:46 +01:00
Michael Nebel
ff74024f50 C#: Re-generate .NET Runtime models based on .NET 9. 2025-02-11 13:42:45 +01:00
Michael Nebel
54345044ad C#: Consider properties that has any auto declaration as an auto property in terms of field store. 2025-02-11 13:42:43 +01:00
Michael Nebel
dde28a1bed C#: Only disregard generated summaries in case there is a static call target in source code. 2025-02-11 13:42:40 +01:00
Michael Nebel
7476d9ed6b Merge pull request #18734 from michaelnebel/csharp/launchjson
C#: Add the standard library to the list of references for debugging …
2025-02-11 13:16:29 +01:00
Asger F
eedfa4dbb2 Merge pull request #18341 from asgerf/py/diff-informed
Python: enable diff-informed data flow queries
2025-02-11 13:15:44 +01:00
Simon Friis Vindum
efb5b9b27c Rust: Add a comment to clearify test 2025-02-11 13:15:32 +01:00