Anders Schack-Mulligen 6ef5fac239 Merge pull request #10814 from aschackmull/dataflow/synth-global ...

Dataflow: Add support for synthetic global fields in MaD.

2022-10-17 08:34:26 +02:00

..

internal

Merge pull request #10814 from aschackmull/dataflow/synth-global

2022-10-17 08:34:26 +02:00

Bound.qll

Fix hasLocationInfo URL reference

2021-09-29 13:47:58 +02:00

DataFlow2.qll

Packaging: Java refactoring

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

DataFlow3.qll

Packaging: Java refactoring

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

DataFlow4.qll

Packaging: Java refactoring

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

DataFlow5.qll

Packaging: Java refactoring

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

DataFlow6.qll

Packaging: Java refactoring

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

DataFlow.qll

Packaging: Java refactoring

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

DefUse.qll

Packaging: Java refactoring

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

ExternalFlow.qll

Java: Add support for synthetic callables with flow summaries and model Stream.collect.

2022-10-13 11:17:44 +02:00

FlowSources.qll

add service flow sources

2022-09-23 18:59:27 -04:00

FlowSteps.qll

Removed RabbitMQ import in FlowSteps.qll

2022-04-26 13:34:23 +01:00

FlowSummary.qll

Java: Address review comments.

2022-10-13 14:55:55 +02:00

InstanceAccess.qll

Packaging: Java refactoring

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

IntegerGuards.qll

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

ModulusAnalysis.qll

Range analysis: use ranked phi nodes

2022-03-11 12:32:12 +00:00

NullGuards.qll

Java: Improve customNullGuard performance.

2022-05-24 13:05:41 +02:00

Nullness.qll

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

RangeAnalysis.qll

fix all ql/use-string-compare

2022-05-17 14:11:05 +02:00

RangeUtils.qll

Packaging: Java refactoring

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

SignAnalysis.qll

Packaging: Java refactoring

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

SSA.qll

Kotlin: Add types for the different kinds of casts that Kotlin has

2022-05-10 19:51:13 +01:00

StringPrefixes.qll

Fix non-US spellings: s/analyse/analyze

2022-05-11 17:48:27 +01:00

TaintTracking2.qll

Packaging: Java refactoring

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

TaintTracking3.qll

Add TaintTracking3

2022-04-15 09:25:26 +01:00

TaintTracking.qll

Packaging: Java refactoring

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

TypeFlow.qll

Java: Adjust qldoc.

2022-09-14 10:16:09 +02:00