Benjamin Muskalla 8abb9fb045 Replace Objects model

2021-08-26 12:06:56 +02:00

..

internal

Packaging: Java refactoring

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

Bound.qll

Packaging: Java refactoring

2021-08-19 14:09:35 -07: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

Replace Objects model

2021-08-26 12:06:56 +02:00

FlowSources.qll

Packaging: Java refactoring

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

FlowSteps.qll

Replace Objects model

2021-08-26 12:06:56 +02:00

FlowSummary.qll

Packaging: Java refactoring

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

InstanceAccess.qll

Packaging: Java refactoring

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

IntegerGuards.qll

Packaging: Java refactoring

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

ModulusAnalysis.qll

Packaging: Java refactoring

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

NullGuards.qll

Packaging: Java refactoring

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

Nullness.qll

Packaging: Java refactoring

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

RangeAnalysis.qll

Packaging: Java refactoring

2021-08-19 14:09:35 -07: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

Packaging: Java refactoring

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

TaintTracking2.qll

Packaging: Java refactoring

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

TaintTracking.qll

Packaging: Java refactoring

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

TypeFlow.qll

Packaging: Java refactoring

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