Geoffrey White
|
936b1ced4d
|
Swift: Add one last test case (and address a .expected change elsewhere).
|
2023-08-10 19:39:39 +01:00 |
|
Geoffrey White
|
376479325d
|
Swift: Model LosslessStringConvertible.
|
2023-08-10 09:27:05 +01:00 |
|
Geoffrey White
|
effe3762b8
|
Swift: More robust OptionalSomePattern flow.
|
2023-08-10 08:49:46 +01:00 |
|
Geoffrey White
|
aa2e79b6da
|
Swift: Model numeric conversions.
|
2023-08-10 00:19:50 +01:00 |
|
Geoffrey White
|
e86ccf8498
|
Swift: Test flow through various conversions.
|
2023-08-09 23:05:45 +01:00 |
|
Geoffrey White
|
a1234d4235
|
Merge pull request #13905 from geoffw0/forceunwrap
Swift: Flow through ForceValueExpr on LHS of assignment
|
2023-08-08 18:36:50 +01:00 |
|
Geoffrey White
|
2b0fcab182
|
Swift: Update test annotations following merge.
|
2023-08-08 16:06:52 +01:00 |
|
Geoffrey White
|
e9f0b535ea
|
Merge branch 'main' into forceunwrap
|
2023-08-08 16:03:31 +01:00 |
|
Anders Schack-Mulligen
|
0ca3f3308b
|
Merge pull request #13478 from aschackmull/java/varcapture
Java: Add proper support for variable capture flow.
|
2023-08-08 16:22:56 +02:00 |
|
Anders Starcke Henriksen
|
7da6da1c93
|
Merge pull request #13852 from github/starcke/automodel-package-filter
Add option to filter automodel queries
|
2023-08-08 14:59:00 +02:00 |
|
Anders Schack-Mulligen
|
1cd32722be
|
Java: More review fixes.
|
2023-08-08 14:32:48 +02:00 |
|
Alexandre Boulgakov
|
28863f39b0
|
Merge pull request #13917 from github/revert-13869-sashabu/swift-logging-compiler
Revert "Swift: Route compiler diagnostics through our log."
|
2023-08-08 12:45:58 +01:00 |
|
Anders Schack-Mulligen
|
9d59f50340
|
Java: Review fixes.
|
2023-08-08 13:37:40 +02:00 |
|
AlexDenisov
|
75dad4764f
|
Revert "Swift: Route compiler diagnostics through our log."
|
2023-08-08 11:25:13 +02:00 |
|
Anders Schack-Mulligen
|
ab334f6c1b
|
Java: Always apply heuristic query regardless of existing models.
|
2023-08-08 10:01:43 +02:00 |
|
Anders Schack-Mulligen
|
cd22bb3505
|
Java: Add another test case.
|
2023-08-08 10:00:55 +02:00 |
|
Geoffrey White
|
022a06659c
|
Merge pull request #13838 from rdmarsh2/rdmarsh2/swift/set-content
Swift: add SetContent for data flow
|
2023-08-07 19:15:30 +01:00 |
|
Robert Marsh
|
eeaa361b12
|
Merge pull request #13907 from MathiasVP/cleanup-ssa-internals
C++: Small cleanup of `SsaInternals`
|
2023-08-07 13:16:59 -04:00 |
|
Robert Marsh
|
07650af357
|
Swift: accept test for CollectionContent rename
|
2023-08-07 15:04:21 +00:00 |
|
Robert Marsh
|
146c50049c
|
Finish CollectionContent rename
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-08-07 10:26:40 -04:00 |
|
Mathias Vorreiter Pedersen
|
f2f4e1f882
|
C++: Add more QLDoc.
|
2023-08-07 15:22:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
e9750af89f
|
Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis
C++: Constant type-bounds in the new range analysis
|
2023-08-07 15:20:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
291f1a189d
|
C++: Unify the two branches.
|
2023-08-07 14:23:35 +01:00 |
|
Michael Nebel
|
37a546253e
|
Merge pull request #13688 from michaelnebel/csharp/aspnetcore
C#: Turn RuntimeVersion into a record type.
|
2023-08-07 15:20:21 +02:00 |
|
Jami
|
5862cd2378
|
Merge pull request #13889 from jcogs33/jcogs33/fix-some-models
Java: remove duplicate models
|
2023-08-07 08:46:18 -04:00 |
|
Mathias Vorreiter Pedersen
|
467231e469
|
Merge pull request #13887 from jketema/float128x
C++: Remove support for `_Float128x` which is not actually supported by gcc
|
2023-08-07 13:42:24 +01:00 |
|
Jeroen Ketema
|
073d170253
|
C++: Fix typo in change note
|
2023-08-07 14:30:35 +02:00 |
|
Jeroen Ketema
|
e795e1c387
|
C++: Add change note
|
2023-08-07 14:24:04 +02:00 |
|
Mathias Vorreiter Pedersen
|
6e6e118d4b
|
C++: Make the branches more identical.
|
2023-08-07 13:22:46 +01:00 |
|
Geoffrey White
|
dc98dec5b6
|
Swift: Change note.
|
2023-08-07 13:16:00 +01:00 |
|
Geoffrey White
|
ab3f3d03c5
|
Swift: Model taint into optionals via ForceValueExpr.
|
2023-08-07 13:11:29 +01:00 |
|
Michael Nebel
|
6bb9e6d122
|
C#: Address review comments.
|
2023-08-07 13:40:37 +02:00 |
|
Edward Minnix III
|
58d8a2d77f
|
Merge pull request #13899 from egregius313/egregius313/random-nextbytes-typo-fix
Java: Fix typo in `StdlibRandomSource::getOutput`
|
2023-08-07 07:36:44 -04:00 |
|
Tom Hvitved
|
2126ab0dde
|
Merge pull request #13901 from hvitved/dataflow/refactor
Data flow: Refactor shared library
|
2023-08-07 13:22:53 +02:00 |
|
Ian Lynagh
|
0d97c1c54a
|
Merge pull request #13837 from igfoo/igfoo/nullFunLabel
Kotlin: Pass on a parentId and remove some redundant braces
|
2023-08-07 12:19:22 +01:00 |
|
Michael Nebel
|
e62ec888c0
|
Merge pull request #13506 from michaelnebel/java/threatmodels
Java: Threat Models
|
2023-08-07 12:50:01 +02:00 |
|
Tom Hvitved
|
34864e1077
|
Swift: Adjust to data flow refactor
|
2023-08-07 11:35:23 +02:00 |
|
Tom Hvitved
|
6c989b9c6b
|
Python: Adjust to data flow refactor
|
2023-08-07 11:35:23 +02:00 |
|
Tom Hvitved
|
693970f243
|
Java: Adjust to data flow refactor
|
2023-08-07 11:35:23 +02:00 |
|
Tom Hvitved
|
56e19411d0
|
Go: Adjust to data flow refactor
|
2023-08-07 11:35:22 +02:00 |
|
Tom Hvitved
|
05cf796c54
|
C#: Adjust to data flow refactor
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
7ef3adcafd
|
C++: Adjust to data flow refactor
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
db88b7da88
|
Ruby: Adjust to data flow refactor
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
b926a7ebba
|
Data flow: Update QL doc
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
4d14311653
|
Data flow: Rename DataFlowParameter to InputSig
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
6208175aa9
|
Data flow: Move DataFlowParameter into DataFlow.qll
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
0d33c32d8e
|
Data flow: Move DataFlowImpl(Common).qll into an internal folder
|
2023-08-07 11:35:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
e14e0cdbb7
|
Merge pull request #13888 from github/revert-13757-sources
Revert "Swift: Pragmatic fix for CustomUrlSchemes.qll."
|
2023-08-07 09:31:10 +01:00 |
|
Erik Krogh Kristensen
|
2300285204
|
Merge pull request #13898 from github/dependabot/cargo/ql/regex-1.9.3
Bump regex from 1.9.1 to 1.9.3 in /ql
|
2023-08-07 08:41:43 +02:00 |
|
Ed Minnix
|
23e2eb11dd
|
Change note
|
2023-08-07 00:23:58 -04:00 |
|