Owen Mansel-Chan
|
59e94521bc
|
Add .gitignore for artifacts of make test
|
2025-02-27 16:34:38 +00:00 |
|
Alexander Eyers-Taylor
|
f7d95e4dcb
|
Merge pull request #18874 from github/alexet/simplify-interpretoutput
Java: Simplify interpretOutput
|
2025-02-27 12:31:39 +00:00 |
|
Geoffrey White
|
f0951823ad
|
Merge pull request #18777 from geoffw0/okerr
Rust: Model Result.ok and Result.err.
|
2025-02-27 10:45:32 +00:00 |
|
Asger F
|
3487226116
|
Merge pull request #18864 from asgerf/test-rank
Test: Ensure total ranking order to avoid ambiguous results
|
2025-02-27 09:39:08 +01:00 |
|
Geoffrey White
|
c5284eb6fe
|
Merge branch 'main' into okerr
|
2025-02-27 08:35:26 +00:00 |
|
Alex Eyers-Taylor
|
5e3ccc0cca
|
Java: Simplify interpretOutput
|
2025-02-26 18:20:46 +00:00 |
|
Owen Mansel-Chan
|
23fb139a87
|
Merge pull request #18870 from owen-mc/go/docs/update-supported-versions-compilers
Go: Document support for Go 1.24
|
2025-02-26 16:18:38 +00:00 |
|
Owen Mansel-Chan
|
91dd9f5d95
|
Merge pull request #18868 from owen-mc/go/use-more-db-locations
Go: Slightly adjust some location info to match locations that are in the database
|
2025-02-26 16:13:33 +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 |
|
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 |
|
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 |
|
github-actions[bot]
|
457af87435
|
Add changed framework coverage reports
|
2025-02-26 00:21:12 +00: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 |
|
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 |
|
Jonas Jensen
|
2edc9af1e0
|
Merge pull request #18848 from jbj/StaticInitializationVector-postprocess
Java: StaticInitializationVector with postprocess
|
2025-02-25 12:44:16 +01:00 |
|
Jeroen Ketema
|
7eca4b4d82
|
C++: Fix join-order problem with isBefore
Reported here: https://github.com/github/codeql/issues/17743
Without this change on the query provided by the user:
```
[2025-02-25 12:42:01] Evaluated non-recursive predicate quickquery::UnrealFunctionAnnotation.annotates/1#dispred#9cd6c269@c668c8tv in 23846ms (size: 20381473).
Evaluated relational algebra for predicate quickquery::UnrealFunctionAnnotation.annotates/1#dispred#9cd6c269@c668c8tv with tuple counts:
1 ~0% {0} r1 = CONSTANT()[]
27323 ~0% {2} | JOIN WITH `Location::Location.getEndLine/0#dispred#83af84ae#bf` CARTESIAN PRODUCT OUTPUT Rhs.0, Rhs.1
6162566035 ~0% {4} | JOIN WITH `Location::Location.getStartLine/0#d54f9e6c` CARTESIAN PRODUCT OUTPUT Lhs.0, Lhs.1, Rhs.0, Rhs.1
{4} | REWRITE WITH TEST InOut.1 < InOut.3
3894825644 ~5% {2} | SCAN OUTPUT In.2, In.0
73148692 ~0% {3} | JOIN WITH fun_decls_40#join_rhs ON FIRST 1 OUTPUT Lhs.1, Lhs.0, Rhs.1
73148692 ~0% {4} | JOIN WITH `Location::Location.getFile/0#dispred#d1f8b5d1` ON FIRST 1 OUTPUT Lhs.1, Rhs.1, Lhs.0, Lhs.2
864579 ~0% {2} | JOIN WITH `Location::Location.getFile/0#dispred#d1f8b5d1` ON FIRST 2 OUTPUT Lhs.2, Lhs.3
13010742 ~1% {2} | JOIN WITH macroinvocations_20#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1
20653781 ~0% {3} | JOIN WITH `Macro::MacroAccess.getOutermostMacroAccess/0#d58b05db_10#join_rhs` ON FIRST 1 OUTPUT Rhs.1, _, Lhs.1
20653781 ~4% {3} | REWRITE WITH Out.1 := 1
20381473 ~8% {2} | JOIN WITH macroinvocations_03#join_rhs ON FIRST 2 OUTPUT Lhs.0, Lhs.2
return r1
```
With this change:
```
[2025-02-25 12:43:10] Evaluated non-recursive predicate quickquery::UnrealFunctionAnnotation.annotates/1#dispred#9cd6c269@11bf8956 in 928ms (size: 20381473).
Evaluated relational algebra for predicate quickquery::UnrealFunctionAnnotation.annotates/1#dispred#9cd6c269@11bf8956 with tuple counts:
6873 ~3% {2} r1 = SCAN fun_decls OUTPUT In.4, In.0
6857 ~0% {3} | JOIN WITH `Location::Location.getStartLine/0#d54f9e6c` ON FIRST 1 OUTPUT Lhs.0, Lhs.1, Rhs.1
6857 ~2% {3} | JOIN WITH `Location::Location.getFile/0#dispred#d1f8b5d1` ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2
6193961 ~0% {3} | JOIN WITH `Location::Location.getFile/0#dispred#d1f8b5d1_10#join_rhs` ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2
27389714 ~1% {4} | JOIN WITH macroinvocations_20#join_rhs ON FIRST 1 OUTPUT Lhs.0, Lhs.1, Lhs.2, Rhs.1
27389714 ~1% {4} | JOIN WITH locations_default ON FIRST 1 OUTPUT Lhs.1, Lhs.2, Lhs.3, Rhs.4
{4} | REWRITE WITH TEST InOut.3 < InOut.1
13010742 ~1% {2} | SCAN OUTPUT In.2, In.0
20653781 ~0% {3} | JOIN WITH `Macro::MacroAccess.getOutermostMacroAccess/0#d58b05db_10#join_rhs` ON FIRST 1 OUTPUT Rhs.1, _, Lhs.1
20653781 ~4% {3} | REWRITE WITH Out.1 := 1
20381473 ~8% {2} | JOIN WITH macroinvocations_03#join_rhs ON FIRST 2 OUTPUT Lhs.0, Lhs.2
return r1
```
|
2025-02-25 12:39:11 +01:00 |
|
Asger F
|
92e1023d00
|
Update line numbers due to addition of new test code
|
2025-02-25 11:59:11 +01:00 |
|
Asger F
|
ae161f1654
|
Add meta-tests for inline expectation with related locations
|
2025-02-25 11:58:54 +01:00 |
|
Asger F
|
694f01ab78
|
Fix column count and add clarifying comment
|
2025-02-25 11:57:01 +01:00 |
|
Napalys
|
e2927b2fad
|
Updated tanstack to use API graph.
|
2025-02-25 11:48:44 +01:00 |
|
Geoffrey White
|
f406914258
|
Merge pull request #18701 from geoffw0/nth
Rust: Test and model some string and iterator methods
|
2025-02-25 10:42:49 +00:00 |
|
Anders Schack-Mulligen
|
b2a595596b
|
JS: Remove irrelevant comment.
|
2025-02-25 11:33:16 +01:00 |
|