Michael Nebel
|
8352925257
|
Java: Minor re-factorings.
|
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
|
8c1de5958b
|
Java: Make better QL docs and add some missing 'this'.
|
2022-11-10 13:57:43 +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
|
96414034f9
|
Java: Support wildcards in paramters and generic collection like parameters.
|
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
|
3b109db2d1
|
Java: Generalize the support perceiving functional interfaces as functions.
|
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 |
|
Michael Nebel
|
f22e1db33f
|
Java: Add test case for capturing type based summaries.
|
2022-11-10 13:57:41 +01:00 |
|
Michael Nebel
|
0cab131c51
|
Java: Add type based summary model generation query.
|
2022-11-10 13:57:41 +01:00 |
|
Michael Nebel
|
bdc569feea
|
Java: Initial implementation of type based model generation.
|
2022-11-10 13:57:41 +01:00 |
|
Anders Schack-Mulligen
|
151f12ef5e
|
Java: Improve sink model generation precision by excluding variable capture.
|
2022-11-09 15:32:30 +01:00 |
|
Anders Schack-Mulligen
|
fc4f93c87a
|
Java/C#: Undo configuration footgun firing.
|
2022-11-09 13:20:39 +01:00 |
|
Josh Soref
|
4b6b1fd8a8
|
spelling: propagates
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-19 03:49:17 -04:00 |
|
Tony Torralba
|
ba9eb8c73c
|
Fix stub generator
Add line break after all stubbed annotations to avoid malformed code
See https://github.com/github/codeql/pull/8695\#discussion_r985674245
|
2022-10-03 14:43:58 +02:00 |
|
Tony Torralba
|
f860ae8c82
|
Apply review suggestions
|
2022-10-03 10:38:35 +02:00 |
|
Tony Torralba
|
0645f62a0d
|
Use monotonicAggregates to avoid non-monotonic recursions
|
2022-10-03 10:31:14 +02:00 |
|
Tony Torralba
|
66e6f4d25e
|
Use empty string as default value for string annotation values
|
2022-10-03 10:31:14 +02:00 |
|
Tony Torralba
|
8a3ed6bdcf
|
Apply code review suggestions
|
2022-10-03 10:31:14 +02:00 |
|
Tony Torralba
|
6f7b7c9efe
|
If an annotation value is an array, order its elements by index
|
2022-10-03 10:31:14 +02:00 |
|
Tony Torralba
|
6f1124d7e7
|
Handle more annotation element value types
|
2022-10-03 10:31:13 +02:00 |
|
Tony Torralba
|
1ece12efd7
|
Add annotation element names
|
2022-10-03 10:31:13 +02:00 |
|
Tony Torralba
|
d4499a10d2
|
Fix typo
|
2022-10-03 10:31:13 +02:00 |
|
Tony Torralba
|
ee7507386c
|
Fix annotation vs interface keyword stubbing
|
2022-10-03 10:31:13 +02:00 |
|
Tony Torralba
|
eda676df3e
|
Add support for Annotation types stub generation
|
2022-10-03 10:31:13 +02:00 |
|
Michael Nebel
|
c5949fad75
|
C#/Java: Rename to Typed based summary model generation.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
2d57b7d56a
|
Java: Sync files.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
13a802e260
|
Java: Sync files and make adjusting changes.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
1cb6d78d35
|
Merge pull request #10170 from michaelnebel/java/models-io
Java: Update models for commons-io and add negative models.
|
2022-08-31 11:05:09 +02:00 |
|
Michael Nebel
|
2b1423dd74
|
Java: Exclude static initializers from model generation.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
be4c2231d1
|
C#: Avoid generating new source models on 'file' kind sources.
|
2022-08-26 09:30:07 +02:00 |
|
Michael Nebel
|
761ed283b6
|
C#/Java/Ruby/Swift: Address review comments.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
120fb25702
|
Java: Sync files and model generator and tests.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
8e7e6c4c6f
|
Java: Update FlowTestCase generator with provenance wildcard.
|
2022-06-20 16:20:02 +02:00 |
|
Michael Nebel
|
2e46e93f36
|
Java: Update java models with provenance column information.
|
2022-06-20 16:20:02 +02:00 |
|
Michael Nebel
|
649757c27f
|
Java/Ruby: Sync files.
|
2022-06-20 16:20:01 +02:00 |
|
Ian Lynagh
|
5280cf4e91
|
CaptureSinkModels.ql: Fix typo
|
2022-06-15 20:19:15 +01:00 |
|
Michael Nebel
|
9cc10e4511
|
Merge pull request #9257 from michaelnebel/java/mad-commons-io-sha
Java: Update commons-io SHA for model regeneration and update models.
|
2022-06-01 09:46:30 +02:00 |
|
Michael Nebel
|
61151d8980
|
Java: Update workflows and scripts usages to only generate summaries and sinks.
|
2022-05-30 13:53:44 +02:00 |
|
Michael Nebel
|
815dff338d
|
Java: Update capture models meta data.
|
2022-05-30 09:44:39 +02:00 |
|
Michael Nebel
|
48da8dde6f
|
Java: Do not derive new write-file sinks.
|
2022-05-30 08:16:58 +02:00 |
|
Michael Nebel
|
71bcae068e
|
Java: Avoid generating new regex-use sinks.
|
2022-05-30 08:16:58 +02:00 |
|
Erik Krogh Kristensen
|
86e97c32d6
|
fix all ql/use-string-compare
|
2022-05-17 14:11:05 +02:00 |
|
Michael Nebel
|
83aa65ff53
|
C#/Java: Remove redudandant QL comment in CaptureModel.
|
2022-05-09 07:36:41 +02:00 |
|
Michael Nebel
|
5f1a176a02
|
Java: Sync CaptureModels implementation to only allow at most two reads and two stores.
|
2022-05-04 12:29:57 +02:00 |
|
Michael Nebel
|
0374f84c05
|
Java: Make support for generated as a part of kind.
|
2022-04-05 14:25:34 +02:00 |
|
Michael Nebel
|
3a04e9a03d
|
Java: Update java capture models with new kind column (including tests).
|
2022-04-05 12:55:47 +02:00 |
|
Michael Nebel
|
8e60073d5a
|
Java: Remove dataflow imports for java.qll.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
f734edf8ff
|
C#/Java: Minor refactor and re-arranging of code to align the CaptureModel specific implementations.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
3933dfa78e
|
Java: Make imports private and add parts of the dataflow library to java.qll (same as in C#).
|
2022-03-29 11:07:58 +02:00 |
|