Michael Nebel cc48cec1c7 Java: Deprecate experimental model activation.

2025-01-27 10:22:17 +01:00

..

internal

Java: Deprecate experimental model activation.

2025-01-27 10:22:17 +01:00

ApiSinks.qll

Java: Improve the Api sources and sinks implementation.

2024-04-26 14:12:41 +02:00

ApiSources.qll

Now alerts about exposing exception.getMessage() in servlet responses are split out of java/stack-trace-exposure into its own alert java/error-message-exposure because this is a better fit.

2024-07-25 18:12:45 +02:00

Bound.qll

Java: Implement shared range analysis signatures.

2023-10-25 11:29:55 +02:00

DataFlow.qll

Java: Delete deprecated data flow api.

2024-12-03 14:13:03 +01:00

DefUse.qll

Mass rename L/RValue -> VarWrite/Read

2023-10-24 10:58:29 +01:00

ExternalFlow.qll

Java: Deprecate experimental model activation.

2025-01-27 10:22:17 +01:00

FlowSinks.qll

Java: Address review comments and some other code quality improvements.

2024-05-03 11:11:52 +02:00

FlowSources.qll

mass rename to ActiveThreatModelSource

2024-09-12 10:16:55 +02:00

FlowSteps.qll

Java: Add a default taint sanitizer for contains-checks on lists of constants.

2024-11-26 13:25:41 +01:00

FlowSummary.qll

Java: Remove source dispatch when there's an exact match from a manual model.

2024-05-23 10:50:00 +02:00

InstanceAccess.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

IntegerGuards.qll

Mass rename L/RValue -> VarWrite/Read

2023-10-24 10:58:29 +01:00

ModulusAnalysis.qll

Java: Sync files and update other relavant files related to the new naming of shift.

2023-01-12 19:06:29 +01:00

NullGuards.qll

Java: Remove unused import

2023-11-13 10:35:44 +01:00

Nullness.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

RangeAnalysis.qll

Merge branch 'main' into shared/locations-in-range-analysis

2025-01-08 16:40:59 +01:00

RangeUtils.qll

Java: locations for range analysis

2024-11-15 13:11:25 +01:00

SignAnalysis.qll

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

SSA.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

StringPrefixes.qll

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

TaintTracking.qll

Java: Delete deprecated data flow api.

2024-12-03 14:13:03 +01:00

TypeFlow.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00