291 Commits

Author	SHA1	Message	Date
Michael Nebel	67732cbfa0	Java: Remove unneeded import for RegenerateModels.py.	2022-12-09 15:04:43 +01:00
Michael Nebel	2cb88037a4	C#/Java: Rename Negative Summary Model to Neutral Model in conversion and generator tooling.	2022-12-09 15:04:43 +01:00
Michael Nebel	3af00a8f3f	Java: Rename Negative Summary Model to Neutral Model.	2022-12-09 15:04:43 +01:00
Michael Nebel	079d48c42a	Sync files.	2022-12-09 15:04:42 +01:00
Michael Nebel	8e4190d84a	Merge pull request #11516 from michaelnebel/java/externalflowcleanup ... Java: Cleanup imports of `ExternalFlow`	2022-12-06 14:26:39 +01:00
Michael Nebel	a9ba964be4	Java: Update the Java model re-generate script.	2022-12-05 11:39:44 +01:00
Michael Nebel	243b94b54a	Java/C#: Delete old model generator scripts and rename the new ones.	2022-12-05 11:39:44 +01:00
Michael Nebel	4c7cdc6245	Java: Remove unneeded imports of ExternalFlow.qll.	2022-12-05 09:49:38 +01:00
Michael Nebel	fb670325d8	Java/C#: Add query for aiding the conversion of existing negative models.	2022-12-02 12:18:50 +01:00
Michael Nebel	73b171eb2b	Update java/ql/src/utils/flowtestcasegenerator/GenerateFlowTestCase.qll ... Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>	2022-12-02 09:47:28 +01:00
Michael Nebel	01307e1255	Update java/ql/src/utils/flowtestcasegenerator/FlowTestCase.qll ... Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>	2022-12-02 09:47:14 +01:00
Michael Nebel	c145678323	Java: Address review comments.	2022-12-02 09:46:39 +01:00
Michael Nebel	cd0d09d806	Java: Refactor to avoid using SummaryModelCsv.	2022-12-01 13:07:31 +01:00
Michael Nebel	984124b3b5	Java: Improve flow test case generator to emit a data extensions YAML file and qlpack file if needed.	2022-11-29 12:54:54 +01:00
Michael Nebel	48290c95a7	Java: Update the flow test case generator to emit data extension like model data.	2022-11-29 12:54:54 +01:00
Michael Nebel	9507dc15fd	Java: Remove un-needed qlfrag files.	2022-11-29 12:54:54 +01:00
Michael Nebel	d7aafbfe64	Java: Add model generator script that emits data extensions.	2022-11-28 12:30:35 +01:00
Michael Nebel	0abeb831c7	Java: Move summaryModel predicate, which constructs a CSV row to the testcode where it is used.	2022-11-28 12:30:34 +01:00
Michael Nebel	fc4b9827b9	Java: Add script for converting extensions.	2022-11-28 12:30:34 +01:00
Michael Nebel	9f7103c4fb	Java: Add queries for extracting sources, sinks and summaries.	2022-11-28 12:30:34 +01:00
Michael Nebel	24e830f91d	Java: Fix some minor bugs in the CSV printing of summaries for flow test generation.	2022-11-28 09:07:40 +01:00
Joe Farebrother	8d9b106be1	Exclude invalid identifiers from generated stubs	2022-11-15 11:19:40 +00:00
Michael Nebel	8041542f92	Java: Make sure that IterableTypes has a unique iterator.	2022-11-10 14:06:18 +01:00
Michael Nebel	2f12ccc803	C#: Delete incorrect comment.	2022-11-10 13:59:50 +01:00
Michael Nebel	91aa75da0e	Java: Rename IterableType to IterableClass.	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	2011685e89	Java: Move internal model generator code to another folder.	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	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