Michael Nebel 6f5bdfba65 Java: Do not lift neutrals and only generate for public endpoints.

2024-05-23 16:32:45 +02:00

..

CaptureModels.qll

Data flow: Synthesize parameter return nodes

2024-05-21 14:47:42 +02:00

CaptureModelsPrinting.qll

Java: Adjust the model generator to produce kinds.

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

CaptureModelsSpecific.qll

Java: Do not lift neutrals and only generate for public endpoints.

2024-05-23 16:32:45 +02:00

CaptureSummaryFlowQuery.qll

Java: Do not lift neutrals and only generate for public endpoints.

2024-05-23 16:32:45 +02:00

CaptureTypeBasedSummaryModels.qll

C#/Java: Invert api filtering logic.

2024-05-08 14:42:53 +02:00