github-actions[bot]
|
3af330dce9
|
JS: Bump version of ML-powered library and query packs to 0.3.2
|
2022-08-24 13:12:12 +00:00 |
|
github-actions[bot]
|
613c13c2bf
|
JS: Bump patch version of ML-powered library and query packs
|
2022-08-24 13:03:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
436fe65c7b
|
Merge pull request #10155 from MathiasVP/swift-properties-as-callables
Swift: Model property getters, setters and observers as callables
|
2022-08-24 13:57:12 +01:00 |
|
Paolo Tranquilli
|
2ee8d1a9d3
|
Swift: implement optional ImportDecl:imported_module
|
2022-08-24 14:31:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
06a39d2b93
|
Swift: Accept test change.
|
2022-08-24 13:29:17 +01:00 |
|
Paolo Tranquilli
|
7873f07fac
|
Swift: define ImportDecl:imported_module optional
|
2022-08-24 14:26:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
edb29b498d
|
Swift: Teach 'DataFlowDispatch' about property getters, observers and setters.
|
2022-08-24 13:08:26 +01:00 |
|
Ian Lynagh
|
31e1230c64
|
Kotlin: Remove another not-null-expr
|
2022-08-24 12:51:15 +01:00 |
|
Ian Lynagh
|
20ac15d549
|
Merge pull request #10152 from igfoo/igfoo/not-null-exprs
Kotlin: Remove more not-null expressions
|
2022-08-24 12:18:45 +01:00 |
|
Erik Krogh Kristensen
|
28d58be1b6
|
Merge pull request #10126 from erik-krogh/myApply
JS: precise flow through calls to `.apply()`
|
2022-08-24 12:55:36 +02:00 |
|
Mathias Vorreiter Pedersen
|
cee15277ce
|
Merge pull request #10144 from MathiasVP/swift-extract-this-param-decl
Swift: Extract `self` parameter declarations
|
2022-08-24 11:17:51 +01:00 |
|
Ian Lynagh
|
b5f20e40fc
|
Kotlin: Remove some more not-null-expressions
|
2022-08-24 11:13:27 +01:00 |
|
Ian Lynagh
|
8fe59e7ebc
|
Kotlin: Remove another not-null-expr
|
2022-08-24 11:09:31 +01:00 |
|
Ian Lynagh
|
01f27ea331
|
Kotlin: Remove another not-null-expr
|
2022-08-24 11:07:10 +01:00 |
|
Michael Nebel
|
c514c8838d
|
Merge pull request #9867 from michaelnebel/csharp/nosummary
C#: Negative summaries (ie. no flow through)
|
2022-08-24 12:06:05 +02:00 |
|
Ian Lynagh
|
940f18f5ae
|
Kotlin: Remove another not-null-expr
|
2022-08-24 10:59:15 +01:00 |
|
Ian Lynagh
|
44501f5318
|
Kotlin: Remove another not-null-expr
|
2022-08-24 10:57:36 +01:00 |
|
Ian Lynagh
|
da7b7ce9f5
|
Kotlin: Remove some not-null-exprs
|
2022-08-24 10:55:31 +01:00 |
|
Ian Lynagh
|
623d87aaca
|
Merge pull request #10142 from igfoo/igfoo/not-null-expr
Kotlin: Remove some more non-null-expressions
|
2022-08-24 10:37:37 +01:00 |
|
Ian Lynagh
|
8b4cf295bc
|
Merge pull request #10110 from igfoo/igfoo/compression
Kotlin: Add support for TRAP compression
|
2022-08-24 10:37:20 +01:00 |
|
Arthur Baars
|
acff279e8d
|
Merge pull request #10147 from github/aibaars-fix-go
Go: fix tracing spec for windows
|
2022-08-24 11:17:34 +02:00 |
|
Mathias Vorreiter Pedersen
|
1d50dd54ce
|
Merge branch 'main' into swift-extract-this-param-decl
|
2022-08-24 10:14:18 +01:00 |
|
Paolo Tranquilli
|
f570cc1916
|
Merge pull request #10143 from github/redsun82/swift-add-module-to-decl
Swift: add module to `Decl`
|
2022-08-24 11:05:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
de03fbdc49
|
Swift: Accept test changes.
|
2022-08-24 10:03:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
997d9e8559
|
Swift: Include 'self' parameter declaration in the CFG.
|
2022-08-24 10:01:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
09427af2a2
|
Swift: Accept test changes.
|
2022-08-24 10:01:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
ca31984040
|
Swift: Autogenerate files.
|
2022-08-24 10:01:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
273053c92a
|
Swift: Extract self parameter declarations.
|
2022-08-24 10:01:25 +01:00 |
|
Michael Nebel
|
a412c955e7
|
Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
e446eaba68
|
C#: Update C# Flowsummaries test expected out (Negative models has been updated due to rebase and changes in the model generator).
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
51e7b0880a
|
C#: Update negative models.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
761ed283b6
|
C#/Java/Ruby/Swift: Address review comments.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
f728ddf823
|
C#: Update negative summaries (there has been a rebase since last update).
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
fbc36800aa
|
C#: Fix merge issues after re-base.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
2e273f2273
|
C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
30d554503a
|
C#/Java: Fix some QL doc spelling typos.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
592b60d6ab
|
C#: Fix rebase error merge (validation on encryption kind was un-intentionally deleted).
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
160ae934af
|
C#/Java/Ruby/Swift: Fix typo in QL doc.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
c3e21e8555
|
C#: Move NegativeSummary.qll to the internal folder.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
37976d56bc
|
C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
d2087ec748
|
C#: Update negative summaries reported by FlowSummaries test after rebase (stubs for .NET has been updated in the meantime).
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
581824a9b4
|
C#/Java/Ruby/Swift: Fix various typos.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
8949f71250
|
C#: Fixup CSV validation refactor.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
ad671f7fb4
|
C#: Update test expected output after addition of negative summaries.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
00d1b8665d
|
C#: Add negative generated .NET Runtime models.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
9b16192a7f
|
Swift: Re-factor CsvValidation into a separate file.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
54e85ff903
|
Swift: Remove some of the copied (and dead) language specific (to C#) code from swift.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
2c2e09b20b
|
Go: Add summary model validation on the kind column.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
37f01fe10e
|
Go: Re-factor CSV validation into separate file.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
9f9129d3c9
|
Java: Introduce column validation for negative summaries.
|
2022-08-24 09:58:52 +02:00 |
|