227 Commits

Author	SHA1	Message	Date
Michael Nebel	115cef2484	C#: Move asPartialModel into DataFlowPrivate (to enable re-use).	2022-03-16 16:44:24 +01:00
Michael Nebel	5f7b5ec5df	C#: Fix bad join order in returnNodeAsOutput.	2022-03-16 13:44:11 +01:00
Michael Nebel	ec6dab89d8	C#: Update the Summary model generator with better support for IEnumerable typed parameters.	2022-03-16 09:21:02 +01:00
Michael Nebel	a9bbe6889b	C#: Use CollectionType instead of ArrayType when generating models.	2022-03-15 15:41:46 +01:00
Michael Nebel	21bcaf6a0e	C#/Java: After remaining code after rebase.	2022-03-14 14:08:49 +01:00
Michael Nebel	74352925e4	C#/Java: Remove inline from returnNodeEnclosingCallable.	2022-03-14 13:50:55 +01:00
Michael Nebel	48dc9d7057	C#/Java: Move containerContent to DataFlowPrivate.	2022-03-14 13:50:55 +01:00
Michael Nebel	b7803ef0b1	C#: Introduce SyntheticFieldContent in RelevantContent.	2022-03-14 13:50:55 +01:00
Michael Nebel	12ff2c6cd5	C#/Java: Improve comments in CaptureSummaryModels.	2022-03-14 13:50:55 +01:00
Michael Nebel	3ad9731e91	C#/Java: Add some more QL docs.	2022-03-14 13:50:50 +01:00
Michael Nebel	2476e716a2	C#: Move the isRelevantTaintStep and isRelevantContent into the shared utils.	2022-03-14 13:49:52 +01:00
Michael Nebel	665e3c9326	C#: Re-factor containerContent into standalone predicate in DataFlow library.	2022-03-14 13:49:51 +01:00
Michael Nebel	5d03e510d2	C#/Java: Include synthetic fields in isRelevantContent.	2022-03-14 13:49:51 +01:00
Michael Nebel	d881d31959	C#: Remove comma from QL Doc.	2022-03-14 13:49:51 +01:00
Michael Nebel	cd03af3be4	C#: Get rid of the isOwnInstanceAccess based on ReturnStmt.	2022-03-14 13:49:46 +01:00
Michael Nebel	34a91f1aac	C#: Rename CaptureSummaryModelsQuery to CaptureSummaryModels.	2022-03-14 13:48:56 +01:00
Michael Nebel	36e0c683bd	C#: Add QL Doc to the primary predicate used for capturing flow.	2022-03-14 13:48:56 +01:00
Michael Nebel	e8aacb710e	C#: Add file level QL Doc to Capture Summary models specific implementations.	2022-03-14 13:48:56 +01:00
Michael Nebel	d114582b56	C#: Add QLDoc to the shared Capture summary models library.	2022-03-14 13:48:51 +01:00
Michael Nebel	b08e696d42	C#: Add query.	2022-03-14 13:47:24 +01:00
Michael Nebel	31a374afa3	C#: Add copy of the shared CaptureSummaryModels logic.	2022-03-14 13:47:24 +01:00
Michael Nebel	e5cce6cca3	C#: Add initial implementation of specific predicates needed to capture summary models.	2022-03-14 13:47:24 +01:00
Michael Nebel	6259ecfc12	C#: Add copy of shared functionality.	2022-03-14 13:43:51 +01:00
Michael Nebel	dadc143b60	C#: Add printer predicates for parameter and return nodes.	2022-03-14 13:43:51 +01:00
Michael Nebel	2b90b5ff62	C#: Add isRelevant predicates.	2022-03-14 13:43:51 +01:00
Michael Nebel	81c8cac77e	C#: Add partial model printer for TargetApi class.	2022-03-14 13:43:51 +01:00
Michael Nebel	9c6ed0ade3	C#: Add TargetAPI class.	2022-03-14 13:43:51 +01:00