Michael Nebel 37a21ec548 Java: Address review comments.

2024-01-12 13:36:23 +01:00

..

CaptureModels.qll

C#/Java/Ruby: Remove superfluous module members.

2023-07-13 11:38:35 +02:00

CaptureModelsPrinting.qll

Java: Adjust the model generator to produce kinds.

2023-05-08 16:18:59 +02:00

CaptureModelsSpecific.qll

Java: Avoid generating contradicting summary and neutral summary models.

2024-01-12 13:36:23 +01:00

CaptureSummaryFlowQuery.qll

Java: Address review comments.

2024-01-12 13:36:23 +01:00

CaptureTypeBasedSummaryModels.qll

Java: Adjust model generator printing to the new provenance.

2023-04-13 09:21:06 +02:00