Jeroen Ketema
66b2b5df8d
Merge pull request #18308 from jketema/template-parameters
...
C++: Introduce a new base class for template parameters
2024-12-18 10:38:03 +01:00
Jeroen Ketema
ccd3681f83
C++: Expand QLDoc of TemplateParameterBase
2024-12-18 09:45:51 +01:00
Tom Hvitved
025a67384f
Rust: Add data flow tests for operator overloading
2024-12-18 09:26:17 +01:00
Kevin Stubbings
4b95ea0987
Merge branch 'main' into go-rs-cors
2024-12-17 17:35:29 -08:00
Mathias Vorreiter Pedersen
0b2b341283
C++: Work around suboptimal codegen for recursive 'forex'.
2024-12-17 23:58:57 +00:00
Jeroen Ketema
b7d1da8741
C++: Introduce a new base class for template parameters
...
This will enable us to support non-type template parameters, which we
currently do not support, and error template parameters, which might
become relevant in the `build-mode: none` context.
2024-12-17 20:25:41 +01:00
Mathias Vorreiter Pedersen
dfb34832fd
Merge pull request #18307 from MathiasVP/fix-more-join-orders-in-dataflow
...
C++: Fix two more dataflow-related joins
2024-12-17 18:56:12 +00:00
Mathias Vorreiter Pedersen
2cc6ffbd28
C++: Fix ql-for-ql findings.
2024-12-17 16:55:52 +00:00
Simon Friis Vindum
c1e21974c6
Rust: Address review comments
2024-12-17 17:24:42 +01:00
Calum Grant
14cef6a207
C++: Fix FPs to cpp/return-stack-allocated-memory
2024-12-17 15:58:39 +00:00
Mathias Vorreiter Pedersen
5ed0222b1a
C++: Sync identical files.
2024-12-17 15:28:04 +00:00
Mathias Vorreiter Pedersen
f351558547
C++: While here, let's avoid materializing 'ensuresEq' and 'ensuresLt' when computing unreachable nodes in dataflow.
2024-12-17 15:27:54 +00:00
Mathias Vorreiter Pedersen
9b6f39c1fe
C++: Apply similar join order fixes to the other cases.
2024-12-17 15:26:49 +00:00
Mathias Vorreiter Pedersen
eea7804b62
C++: Join with value number only after joining with 'controls'.
2024-12-17 15:25:16 +00:00
Simon Friis Vindum
d8c301a96b
Merge branch 'main' into rust-data-flow-models
2024-12-17 16:09:59 +01:00
Michael Nebel
1ef5b595ae
C#: Add change-note.
2024-12-17 15:11:27 +01:00
Michael Nebel
bd9f656be2
C#: Add ql doc to TestLibrary.
2024-12-17 14:40:01 +01:00
Michael Nebel
a91c1dc715
C#: Move external api declarations to the library pack.
2024-12-17 14:39:59 +01:00
Asger F
729efff6a4
Merge pull request #18265 from asgerf/jss/flow-labels2
...
JS: Migrate all queries to proper flow states and deprecate FlowLabel
2024-12-17 14:37:11 +01:00
Arthur Baars
23e6a825aa
Rust: fix QL code
2024-12-17 14:07:48 +01:00
Arthur Baars
029e2604a3
Rust: //rust/codegen
2024-12-17 14:07:44 +01:00
Arthur Baars
c13e173681
Rust: fix codegeneration for AsmOptions
2024-12-17 14:05:53 +01:00
Arthur Baars
93972fcb2e
Run: misc/bazel/3rdparty/update_cargo_deps.sh
2024-12-17 14:05:51 +01:00
Arthur Baars
8e7eedc172
Update codegen/grammar
2024-12-17 14:05:50 +01:00
Arthur Baars
3928efe05f
Rust: update rust.ungram
2024-12-17 14:05:12 +01:00
Tom Hvitved
8efd870192
Merge pull request #18292 from hvitved/rust/never-skip-lhs
...
Rust: Never skip assignment LHS in data flow
2024-12-17 13:18:17 +01:00
Tom Hvitved
d8c05b5388
Merge pull request #18290 from hvitved/rust/perf-fixes
...
Rust: Fix two bad joins
2024-12-17 13:18:05 +01:00
Simon Friis Vindum
ee87d4c948
Merge branch 'main' into rust-data-flow-models
2024-12-17 13:12:32 +01:00
Asger F
e34fbc8bd1
Shared: autoformat
2024-12-17 11:26:56 +01:00
Asger F
8340841d54
Shared: Fix propagation of call bit
2024-12-17 11:16:04 +01:00
Asger F
950ae44d03
Shared: Show test failures
2024-12-17 11:15:57 +01:00
Michael Nebel
132dbd7517
Merge pull request #18285 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2024-12-17 09:17:33 +01:00
github-actions[bot]
f9d739c173
Add changed framework coverage reports
2024-12-17 00:22:24 +00:00
Jeroen Ketema
fa5cc90167
Merge pull request #18281 from jketema/changenote
...
C++: Add word missing from change note
2024-12-16 20:23:47 +01:00
Mathias Vorreiter Pedersen
a3ef0b94b9
Merge pull request #18207 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-3
...
C++: Fix some FPs in cpp/missing-check-scanf (third attempt!)
2024-12-16 16:55:44 +00:00
Andrew Eisenberg
91f4ffafd1
Merge pull request #111 from github/UnversionedImmutableAction-typo
...
Fix typo in UnversionedImmutableAction.md
2024-12-16 08:06:22 -08:00
Paolo Tranquilli
d6246707e4
Merge pull request #18294 from github/redsun82/extract-self-param-ref
...
Rust: extract `isRef` for `SelfParam`
2024-12-16 17:00:47 +01:00
Sam Partington
2949098a27
Fix typo in UnversionedImmutableAction.md
2024-12-16 15:40:38 +00:00
Simon Friis Vindum
402d4e11c4
Rust: Re-add inline expectations query tags
2024-12-16 16:36:30 +01:00
Edward Minnix III
9a80c403a0
Merge pull request #18278 from egregius313/egregius313/csharp/markup-string
...
C#: Add `html-injection` sinks for Blazor `MarkupString`
2024-12-16 10:21:04 -05:00
Edward Minnix III
360398481b
Merge pull request #18280 from egregius313/egregius313/csharp/blazor/runtime-helpers/typecheck
...
C#: Add summary for `Microsoft.AspNetCore.Components.CompilerServices.RuntimeHelper::TypeCheck<T>`
2024-12-16 10:19:38 -05:00
Asger F
e5ae7e0231
JS: Fix bad join in isOptionallySanitizedEdgeInternal
...
This was previously called from isBarrier(node, state) but without restricting the state. The call was therefore moved to isBarrier(node), but this caused some optimisation changes resulting in a bad join.
2024-12-16 15:35:54 +01:00
Asger F
947b785d47
JS: Remove reference to deprecated step relation that's empty anyway
2024-12-16 15:35:53 +01:00
Asger F
0b2914ff13
JS: A few more deprecation updates
2024-12-16 15:35:50 +01:00
Asger F
db00dad033
JS: Avoid deprecation warnings in some tests
2024-12-16 15:35:49 +01:00
Asger F
cf6d166d29
JS: Also update tutorial code
2024-12-16 15:35:47 +01:00
Asger F
079294e55f
JS: Mass rename to node1,state1,node2,state2 naming convention
2024-12-16 15:35:46 +01:00
Asger F
ac6da6c2b1
JS: Add some missing qldoc
2024-12-16 15:35:44 +01:00
Asger F
d993c888b1
JS: Deprecate the FlowLabel class
2024-12-16 15:35:43 +01:00
Asger F
69b361ae70
JS: Migrate a test to use flow state
2024-12-16 15:35:42 +01:00
