Paolo Tranquilli
e1ac5823ec
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-26 15:39:10 +01:00
Taus
83cdcdbb0b
Python: Add change note
2025-02-26 13:53:49 +00:00
Taus
3956a1fea8
Python: Move min/maxParameter methods to Function
...
These seem generally useful outside of points-to, and so it might be
better to add them to the `Function` class instead.
I took the liberty of renaming these to say `Arguments` rather than
`Parameters`, as this is more in line with the nomenclature that we're
using elsewhere. (The internal points-to methods retain the old names.)
I'm somewhat ambivalent about the behaviour of `getMaxParameters` on
functions with `*varargs`. The hard-coded `INT_MAX` return value is
somewhat awkward, but the alternative (to only have the predicate
defined when a specific maximum exists) seems like it would potentially
cause a lot of headaches.
2025-02-26 13:51:12 +00:00
Chris Smowton
6857954569
Merge pull request #18839 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2025-02-26 13:50:11 +00:00
Owen Mansel-Chan
bb7d227095
Document support for Go 1.24
2025-02-26 13:34:59 +00:00
Simon Friis Vindum
51ae7c6b8c
Rust: Reorganize pointers tests and add additional tests
2025-02-26 13:51:55 +01:00
Owen Mansel-Chan
4c28dbdc50
Add change note
2025-02-26 12:47:56 +00:00
Owen Mansel-Chan
a11692707e
Use location of basic block for SsaPhiNode
2025-02-26 12:38:08 +00:00
Geoffrey White
0ef4c6f954
Merge branch 'main' into okerr
2025-02-26 12:33:39 +00:00
Owen Mansel-Chan
6dad937ce2
Use location of basic block for SsaImplicitDefinition
2025-02-26 12:29:52 +00:00
Owen Mansel-Chan
052792f7c4
Use location of stmt for EvalImplicitTrueInstruction
2025-02-26 12:28:59 +00:00
Owen Mansel-Chan
90ea10e0b7
Use location of elt for ImplicitLiteralElementIndexInstruction
2025-02-26 12:23:34 +00:00
Owen Mansel-Chan
f34c3b16a2
Use location of control flow root for ExitNode
2025-02-26 12:20:41 +00:00
Owen Mansel-Chan
baa4c509ca
Use location of control flow root for EntryNode
2025-02-26 12:16:38 +00:00
Owen Mansel-Chan
561a681e90
Use location of condition for ConditionGuardNode
2025-02-26 12:11:16 +00:00
Owen Mansel-Chan
759f0583cb
Use location of first node for BasicBlock
2025-02-26 12:00:56 +00:00
Chris Smowton
9458f073c6
Merge pull request #18867 from github/smowton/admin/avoid-pointless-test-runs
...
Don't run Go tests on documentation changes
2025-02-26 11:34:56 +00:00
Chris Smowton
2961320f02
Don't run Go Mac & Win tests against documentation PRs
2025-02-26 11:02:04 +00:00
Chris Smowton
cd9a7ec6a8
Don't run Go tests on documentation changes
2025-02-26 10:56:59 +00:00
Chris Smowton
fc793fbc4d
Merge branch 'main' into workflow/coverage/update
2025-02-26 10:51:43 +00:00
Asger F
2a5ee847b8
Merge branch 'main' into test-rank
2025-02-26 10:00:25 +01:00
Paolo Tranquilli
3a67836eb2
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-26 09:58:15 +01:00
Asger F
6e53ebed47
Ensure total ranking order to avoid ambiguous results
2025-02-26 09:34:06 +01:00
Simon Friis Vindum
cc5179a35e
Merge pull request #18787 from paldepind/rust-core-std-models
...
Rust: Add generated models for standard libraries including core
2025-02-26 09:31:16 +01:00
Ed Minnix
7593def620
Model gorqlite package
2025-02-25 23:15:22 -05:00
github-actions[bot]
457af87435
Add changed framework coverage reports
2025-02-26 00:21:12 +00:00
Nicolas Will
f55f27b0d9
Expand handling of generic artifact sources
2025-02-25 18:22:38 +01:00
Geoffrey White
a7ac6b137b
C++: Second change note.
2025-02-25 17:02:23 +00:00
Geoffrey White
7d7498ee32
C++: Avoid problems when a variable has multiple types.
2025-02-25 16:55:13 +00:00
Geoffrey White
812315df27
C++: Use existing getSize / getRootType to find more generous bounds for arrays inside classes (though it sometimes fails, costing us TPs).
2025-02-25 16:29:49 +00:00
Paolo Tranquilli
2585c2f908
Merge branch 'main' into redsun82/cargo-upgrade
2025-02-25 17:03:25 +01:00
Asger F
ff36d1916f
Merge pull request #18810 from asgerf/js/test-related-locations
...
Test: Add support for RelatedLocation tag and use in a JS query
2025-02-25 16:40:41 +01:00
Geoffrey White
07004bd6f9
C++: Test cases motivated by a real world FP.
2025-02-25 15:36:12 +00:00
Tamás Vajk
11d145131f
Merge pull request #18835 from tamasvajk/tamasvajk/csharp-ccr
...
Add queries to C# CCR suite
2025-02-25 16:20:35 +01:00
Asger F
baa7e35589
Merge pull request #18834 from Napalys/js/tanstack
...
JS: Support 'response' threat model and @tanstack/react-query
2025-02-25 16:16:06 +01:00
Simon Friis Vindum
26a96d9f65
Rust: Accept changes
2025-02-25 15:56:10 +01:00
Tom Hvitved
0522f3f694
Merge pull request #18856 from hvitved/rust/inline-expectations-update
...
Rust: Update some inline expectation comments
2025-02-25 15:28:28 +01:00
Jeroen Ketema
18a1ef55ea
Merge pull request #18859 from jketema/is-before
...
C++: Fix join-order problem with `isBefore`
2025-02-25 15:27:43 +01:00
Napalys
3360829a58
Updated change note with response threat model info.
...
Co-authored-by: Asgerf <asgerf@github.com >
2025-02-25 15:22:14 +01:00
Simon Friis Vindum
5c997859b0
Merge branch 'main' into rust-core-std-models
2025-02-25 15:07:29 +01:00
Anders Schack-Mulligen
994a8eea39
Merge pull request #18857 from aschackmull/ssa/refactor-df-integr
...
Ssa: Refactor the data flow integration module
2025-02-25 15:04:11 +01:00
Asger F
bb8f4529bf
Fix bug when RelatedLocation was used with a query ID
2025-02-25 14:52:32 +01:00
Asger F
5f2e5ab8c3
Rename file and ID to match .qlref and other query
2025-02-25 14:52:19 +01:00
Anders Schack-Mulligen
2c3b48946d
Merge pull request #18824 from aschackmull/java/basessa
...
Java: Switch BaseSSA to use shared SSA lib.
2025-02-25 14:23:46 +01:00
Anders Schack-Mulligen
28e96449e7
C#: Address review comment.
2025-02-25 14:12:53 +01:00
Napalys
bf77ffef37
Applied comment
...
Co-authored-by: Asgerf <asgerf@github.com >
2025-02-25 13:57:39 +01:00
Paolo Tranquilli
d9ecb6255e
Shared: fix clippy warning
2025-02-25 13:41:34 +01:00
Paolo Tranquilli
bfcf9ea606
Rust: fix compilation errors after rust-anlyzer update
2025-02-25 13:37:00 +01:00
Paolo Tranquilli
cbae16b392
Rust: rerun code generation
2025-02-25 13:31:16 +01:00
Paolo Tranquilli
17703ec908
Bazel: update vendored rust dependencies
2025-02-25 13:31:16 +01:00
