Paolo Tranquilli
|
5b9e89acd3
|
Swift: implement ignoring of removed classes
|
2022-11-10 15:26:55 +01:00 |
|
Paolo Tranquilli
|
e26e0ec809
|
Swift: remove imposible nodes from schema
We don't expect these AST types to really appear during an extraction
run, even in an unsuccessful compilation.
|
2022-11-10 15:26:55 +01:00 |
|
Nick Rolfe
|
0337ccb93a
|
Ruby: add change notes for Arel.sql / SqlConstruction changes
|
2022-11-10 14:11:14 +00:00 |
|
Nick Rolfe
|
5a15558355
|
Ruby: treat an Arel.sql call as a SqlConstruction
|
2022-11-10 14:11:14 +00:00 |
|
Tom Hvitved
|
e18442069b
|
Ruby: Fix SSA entry definitions for self in top-level
|
2022-11-10 15:08:17 +01:00 |
|
Ian Lynagh
|
3d17c8f1ab
|
Merge pull request #11200 from igfoo/igfoo/extractor-info
Java/Kotlin: Add ExtractorInformation query
|
2022-11-10 13:51:13 +00:00 |
|
Paolo Tranquilli
|
7f36f65ab0
|
Merge pull request #11190 from github/redsun82/swift-exprs
Swift: extract some more `Expr`
|
2022-11-10 14:36:42 +01:00 |
|
Jeroen Ketema
|
62a0bcddd9
|
C++: Fix the accept prototype in the dataflow taint tests
|
2022-11-10 14:23:26 +01:00 |
|
Erik Krogh Kristensen
|
5d2ab8adfb
|
Merge pull request #11191 from erik-krogh/arrJoin
RB: add join(" ") calls as a sink for rb/shell-command-constructed-from-input
|
2022-11-10 14:20:42 +01:00 |
|
Erik Krogh Kristensen
|
54958fd502
|
Merge pull request #11201 from erik-krogh/no-set-output
QL-for-QL: don't use the deprecated set-output feature in github-actions
|
2022-11-10 14:07:40 +01:00 |
|
Michael Nebel
|
8041542f92
|
Java: Make sure that IterableTypes has a unique iterator.
|
2022-11-10 14:06:18 +01:00 |
|
Karim Ali
|
7d473fb265
|
address docs review
|
2022-11-10 15:01:05 +02:00 |
|
Michael Nebel
|
2f12ccc803
|
C#: Delete incorrect comment.
|
2022-11-10 13:59:50 +01:00 |
|
erik-krogh
|
a2ce764c82
|
update codeql-action version used in QL-for-QL, as the old version still used the deprecated set-output feature
|
2022-11-10 13:58:07 +01:00 |
|
Michael Nebel
|
9b5318876d
|
Java: Improve tests and allow spurious models.
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
91aa75da0e
|
Java: Rename IterableType to IterableClass.
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
ce8ab0e66e
|
Simplify test predicate implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
0e7179ca85
|
Simplify functional predicate implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
9d34ce9776
|
Adjust the co-variant claim comment.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
decfcdd82a
|
Improve IterableType implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
d6ae1ef6f2
|
Java/C#: Move C# internal implementation for model generation.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
4cb82ad5a7
|
Java: Explicit import of needed classes from stream and some improvements to comments.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
62603dd2bc
|
Java: Inline expectations for type based model test case.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
2011685e89
|
Java: Move internal model generator code to another folder.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
ceef9cf276
|
C#: Fix spelling error in ql doc.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
5b9ae5e6db
|
Java: Update ql doc comments.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
8352925257
|
Java: Minor re-factorings.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
9f783b018d
|
Java: Type based summaries are now also for Java.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
8a0f00a5c9
|
Java: Update expected test output.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
0c09f78142
|
Java: Comment in method for converting stream to Array.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
84743ec87d
|
Java: Make support for array parameter and return values.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
5b65f5c185
|
Java: Change test implementation to avoid failing CFG dead end consistency test.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
8c1de5958b
|
Java: Make better QL docs and add some missing 'this'.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
b80c533fb0
|
Java: Update expected test output.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
937404892f
|
Java: Add further examples that are now supported.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
39ee1e28cf
|
Java: Get the correct type of the instantiated iterator type.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
dc79ed8192
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
d1b8bef248
|
Java: Add more stream functions. Comment methods out, where we are not happy with the generated result.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
62de3e4ab6
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
716d6aeeee
|
Java: Add stream concat example.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
96414034f9
|
Java: Support wildcards in paramters and generic collection like parameters.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
efe802dac0
|
Java: Updated expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
52f69f77bc
|
Java: Add stream example methods using wildcards.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
b8922b0270
|
Java: Support wildcards for functional interfaces.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
0caee16eb0
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
0cfd7787f4
|
Java: Add some examples of functional interfaces for functions with two parameters.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
3b109db2d1
|
Java: Generalize the support perceiving functional interfaces as functions.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
3a5d06272f
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
9ccff656bd
|
Java: Add some initial stubs for methods like java.util.stream.Stream.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
8bc92320d4
|
Java: Consider classes that has a method that returns an iterator as container like types.
|
2022-11-10 13:57:42 +01:00 |
|