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 |
|
Michael Nebel
|
4939439982
|
Java: Re-factor CSV Validation into standalone module.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
053460ffeb
|
C#: Introduce validation of negative summaries.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
3315d768f8
|
C#: Introduce negative summary column count validation.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
4c59cfb296
|
C#: Re-factor the invalidModelRow predicate.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
19469a26d7
|
C#: Re-factor CSV validation into a separate file.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
8db454aa15
|
Swift: Sync files and make dummy negative summary implementation.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
fbc0e6a1ec
|
Ruby: Sync files and make dummy negative summary implementation.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
120fb25702
|
Java: Sync files and model generator and tests.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
5255e16816
|
Java: Sync files and make framework specific code.
|
2022-08-24 09:58:51 +02:00 |
|
Michael Nebel
|
15c05e201d
|
Java: Re-factor specialized CSV predicates into overrides of the row predicate.
|
2022-08-24 09:58:46 +02:00 |
|
Anders Schack-Mulligen
|
92f2976399
|
Java: Improve unification check for wildcards with lower bounds.
|
2022-08-24 09:50:13 +02:00 |
|
Anders Schack-Mulligen
|
f248c6a11e
|
Java: Improve unification check for bounded types.
|
2022-08-24 09:50:13 +02:00 |
|
Anders Schack-Mulligen
|
6b01f02df6
|
Java: Deduplicate unification code as a parameterised module.
|
2022-08-24 09:50:13 +02:00 |
|
Michael Nebel
|
0578d3e6c4
|
C#: Improve python script to allow generation of Negative summary models.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
929f1b324b
|
C#: Prepare for .NET negative summaries and use in UnsupportedExternalAPIs query.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
7d46d15f2b
|
C#: Update summary model generation test output.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
136bdeb8e6
|
C#: Add test for Negative summary generation.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
9c6bcec500
|
C#: Add model generator testcase for Negative summaries for abstract members.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
87c7dd90c0
|
C#: Disregard destructors in model generation.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
0cf4e64655
|
C#: Update test cases with new empty query predicate.
|
2022-08-24 09:46:54 +02:00 |
|
Michael Nebel
|
cc44e89065
|
C#: Introduce support for Negative summary models.
|
2022-08-24 09:46:54 +02:00 |
|
Paolo Tranquilli
|
50d9a2e9cd
|
Swift: rollback removal of std::variant
It turns out we are still missing some extractions. This will be fixed
with future work.
|
2022-08-24 09:44:37 +02:00 |
|
Erik Krogh Kristensen
|
4df2e5d937
|
Merge pull request #10096 from erik-krogh/acronyms-part1
make acronyms camelcase
|
2022-08-24 09:33:53 +02:00 |
|