Anders Schack-Mulligen
4633abe19e
Java: Autoformat
2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen
fd832416d8
Dataflow: Add empty type strengthening predicate for languages without type pruning.
2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen
96c1b5b0a9
C#: Enable type strengthening.
2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen
e8cea79f1d
Dataflow: Sync.
2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen
ad461a87b4
Dataflow: Strengthen tracked types.
2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen
1d87f0793b
Dataflow: Minor refactor.
2023-06-09 08:37:35 +02:00
Arthur Baars
bd583ca28f
Merge pull request #13416 from github/release-prep/2.13.4
...
Release preparation for version 2.13.4
2023-06-09 08:33:27 +02:00
Jami
7aede5034d
Docs: fix typo
2023-06-08 22:52:34 -04:00
Jami Cogswell
bcba1f3a4d
Shared: update pack files
2023-06-08 21:51:24 -04:00
github-actions[bot]
81b08b4399
Add changed framework coverage reports
2023-06-09 00:18:12 +00:00
Jami Cogswell
3bfb5f9ac4
Shared: update comment and remove 'remote-flow' as a source kind
2023-06-08 20:15:13 -04:00
Jami Cogswell
da58b2afc8
Shared: move shared file to 'shared' folder and add parameterized module for 'getInvalidModelKind'
2023-06-08 20:05:27 -04:00
Jeroen Ketema
bff11c3d23
Apply suggestions from code review
2023-06-08 22:33:50 +02:00
github-actions[bot]
e4be303a23
Release preparation for version 2.13.4
2023-06-08 19:57:37 +00:00
Arthur Baars
e8b12ce416
Merge pull request #13414 from github/mbg/csharp/fix/dotnet_test_mstest
...
C#: Pass architecture to `dotnet test` in `dotnet_test_mstest`
2023-06-08 20:11:59 +02:00
Michael Nebel
2a1c0e8ba6
C#: Re-factor.
2023-06-08 19:02:07 +02:00
Arthur Baars
f945e30bb4
Merge pull request #13410 from github/revert-13399-update-ruby-grammar
...
Revert "Ruby: update tree-sitter-ruby"
2023-06-08 18:24:36 +02:00
Michael B. Gale
a961fffda8
Pass architecture to dotnet test
2023-06-08 16:51:57 +01:00
Tony Torralba
abb775c616
Merge pull request #13409 from atorralba/atorralba/java/fix-gson-models
...
Java: Fix more problems in the Gson models
2023-06-08 17:36:40 +02:00
Tony Torralba
3c579b6c7d
Merge pull request #13411 from github/atorralba/workflow/run-csv-coverage-on-yml-changes
...
Run "Check framework coverage changes" workflow when models-as-data files change
2023-06-08 17:18:51 +02:00
Ian Lynagh
22fe055e53
Kotlin: Tweak our JSON escaping
...
We were escaping '/', but I don't think there is any need to do so. It
just happens to have a nice escape in the spec. Escaping it might
filenames annoying to work with.
I've also added escaping for the other control characters that we're
meant to escape.
2023-06-08 15:20:30 +01:00
Tony Torralba
8401793755
Run "Check framework coverage changes" workflow when models-as-data files change
2023-06-08 15:57:38 +02:00
Alexandre Boulgakov
9ec09000e5
Swift: Remove no longer needed code.
2023-06-08 14:52:58 +01:00
Asger F
74a9d9fa37
Revert "Ruby: update tree-sitter-ruby"
2023-06-08 15:29:36 +02:00
Geoffrey White
0a6edd345a
Merge pull request #13405 from geoffw0/swiftloc
...
Swift: Improve SummaryStats.ql
2023-06-08 14:02:03 +01:00
Anders Schack-Mulligen
65a68f5092
Merge pull request #13404 from aschackmull/java/functionalinterface-perf
...
Java: Improve join-order for FunctionalInterface.
2023-06-08 15:00:22 +02:00
Tony Torralba
0e242cba7e
Update java/ql/lib/ext/retrofit2.model.yml
2023-06-08 14:59:10 +02:00
Tony Torralba
4608481d7b
Java: Fix more problems in the Gson models
...
Found during type strengthening work by @aschackmull
2023-06-08 14:53:09 +02:00
Alexandre Boulgakov
5450585c1c
Swift: Remove SwiftDiagnostic constructor (C++20 todo).
2023-06-08 13:11:14 +01:00
Alexandre Boulgakov
838130ca3a
Swift: Fix some C++20 todos.
2023-06-08 13:11:14 +01:00
Alexandre Boulgakov
5952a729df
Build: Bump build mode to C++20.
2023-06-08 13:10:43 +01:00
Tom Hvitved
a896be7eb8
Merge pull request #13387 from michaelnebel/csharp/dotnettest
...
C#: Dotnet test tracer improvements.
2023-06-08 14:05:29 +02:00
Anders Schack-Mulligen
5a2ac1b5ca
Java: Add more negation context to reduce string ops and improve perf.
2023-06-08 14:04:57 +02:00
Asger F
d6741f655d
Ruby: restrict ORM tracking to calls
2023-06-08 14:01:51 +02:00
Mathias Vorreiter Pedersen
a357eeedac
C++: Accept test changes.
2023-06-08 12:50:16 +01:00
Mathias Vorreiter Pedersen
afb1129f27
C++: Ensure that postfix crement operations are handled properly in dataflow SSA.
2023-06-08 12:50:05 +01:00
Mathias Vorreiter Pedersen
57ae1e9ff7
C++: Add a testcase that started to fail in #13326 .
2023-06-08 12:49:08 +01:00
Alex Ford
b4620042a5
Ruby: fix use of deprecated predicate
2023-06-08 12:09:22 +01:00
Alex Ford
397a809426
Merge remote-tracking branch 'origin/main' into rb/rack-redirect
2023-06-08 12:07:57 +01:00
Geoffrey White
5727d49cce
Swift: Take out common code for lines of code.
2023-06-08 12:03:03 +01:00
Geoffrey White
a3ef5c6918
Swift: QLDoc Diagnostics.qll.
2023-06-08 12:03:02 +01:00
Anders Schack-Mulligen
dabb4dd643
Java: Improve join-order for FunctionalInterface.
2023-06-08 13:02:54 +02:00
Alex Ford
21b4f885a6
ruby: fix qldoc
2023-06-08 12:01:42 +01:00
Alex Ford
c531b94594
Ruby: add a change note for rack redirect support
2023-06-08 11:59:10 +01:00
Geoffrey White
e0f16f46d2
Swift: Add compile errors / warnings to SummaryStats.ql.
2023-06-08 11:48:57 +01:00
Geoffrey White
dc7a286948
Swift: Add lines of code to SummaryStats.ql.
2023-06-08 11:29:04 +01:00
Alex Ford
22b9ab43c6
Merge pull request #13259 from alexrford/rb/actiondispatch-refactor
...
Ruby: Refactor and slightly expand `ActionDispatch` modelling
2023-06-08 11:08:36 +01:00
Erik Krogh Kristensen
d9e3569fe5
Merge pull request #13350 from erik-krogh/once-again-deps-not-py
...
C++: delete old deprecations
2023-06-08 12:08:09 +02:00
Nora Dimitrijević
e93022d649
Merge branch 'main' into swift/brace-stmt-variables
2023-06-08 12:04:25 +02:00
Nora Dimitrijević
a5e0669981
Swift: fix bad join order in NamedPattern.getVarDecl()
...
Ideally the EDB itself should contain a direct
reference from NamedPattern to VarDecl, not just a name,
but oh well, this join order works fine.
BEFORE:
```
[2023-06-08 11:40:01] Evaluated non-recursive predicate quick_eval#ff@60fe07kr in 6533ms (size: 91309).
Evaluated relational algebra for predicate quick_eval#ff@60fe07kr with tuple counts:
1209062 ~3% {2} r1 = SCAN VarDecl#914e0d1e::Generated::VarDecl::getName#0#dispred#ff OUTPUT In.1, In.0
234687793 ~0% {2} r2 = JOIN r1 WITH NamedPattern#c3d26570::Generated::NamedPattern::getName#0#dispred#ff_10#join_rhs ON FIRST 1 OUTPUT Lhs.1, Rhs.1
19112791 ~0% {3} r3 = JOIN r2 WITH VarDecl#914e0d1e::Generated::VarDecl::getImmediateParentPattern#0#dispred#ff ON FIRST 1 OUTPUT Rhs.1, Lhs.0, Lhs.1
19112791 ~0% {3} r4 = JOIN r3 WITH Element#e67432df::Generated::Element::resolve#bf ON FIRST 1 OUTPUT Rhs.1, Lhs.2, Lhs.1
24647 ~0% {2} r5 = JOIN r4 WITH Element#d22cfd66::Element::getFullyUnresolved#bf ON FIRST 2 OUTPUT Lhs.1, Lhs.2
19112791 ~0% {3} r6 = JOIN r3 WITH Element#e67432df::Generated::Element::resolve#bf ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2
19112791 ~3% {3} r7 = JOIN r6 WITH Element#d22cfd66::Element::getFullyUnresolved#bf ON FIRST 1 OUTPUT Lhs.2, Rhs.1, Lhs.1
66662 ~4% {2} r8 = JOIN r7 WITH #Pattern#19b8cf65::Pattern::getImmediateEnclosingPattern#0#dispredPlus#bf ON FIRST 2 OUTPUT Lhs.0, Lhs.2
91309 ~2% {2} r9 = r5 UNION r8
return r9
```
AFTER:
```
[2023-06-08 11:55:26] Evaluated non-recursive predicate quick_eval#ff@fe906afo in 26ms (size: 91309).
Evaluated relational algebra for predicate quick_eval#ff@fe906afo with tuple counts:
92048 ~0% {3} r1 = SCAN NamedPattern#c3d26570::Generated::NamedPattern::getName#0#dispred#ff OUTPUT In.0, In.1, In.0
82893 ~0% {2} r2 = SCAN #Pattern#19b8cf65::Pattern::getImmediateEnclosingPattern#0#dispredPlus#fb#flipped OUTPUT In.1, In.0
66417 ~1% {3} r3 = JOIN r2 WITH NamedPattern#c3d26570::Generated::NamedPattern::getName#0#dispred#ff ON FIRST 1 OUTPUT Lhs.1, Rhs.1, Lhs.0
158465 ~0% {3} r4 = r1 UNION r3
94246 ~3% {3} r5 = JOIN r4 WITH VarDecl#914e0d1e::Generated::VarDecl::getImmediateParentPattern#0#dispred#ff_10#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2
91309 ~2% {2} r6 = JOIN r5 WITH VarDecl#914e0d1e::Generated::VarDecl::getName#0#dispred#ff ON FIRST 2 OUTPUT Lhs.2, Lhs.0
return r6
```
2023-06-08 12:03:58 +02:00