Michael Nebel 1cb6d78d35 Merge pull request #10170 from michaelnebel/java/models-io ...

Java: Update models for commons-io and add negative models.

2022-08-31 11:05:09 +02:00

..

internal

Merge pull request #10170 from michaelnebel/java/models-io

2022-08-31 11:05:09 +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

Merge pull request #10170 from michaelnebel/java/models-io

2022-08-31 11:05:09 +02:00

FlowSources.qll

rename more acronyms

2022-08-25 20:52:27 +02:00

FlowSteps.qll

Removed RabbitMQ import in FlowSteps.qll

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

FlowSummary.qll

Java: fix typos in comments

2022-05-12 14:28:49 +01: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: Refactor upcastCand, and track type flow for upcasts to unbound generics.

2022-08-29 13:57:39 +02:00