Dave Bartolomeo d2afb20f3f Merge remote-tracking branch 'origin/main' into dbartol/threat-models-2

2023-10-26 14:05:40 -04:00

..

internal

Merge pull request #14588 from aschackmull/shared/rangeanalysis

2023-10-26 16:32:46 +01:00

Bound.qll

Java: Implement shared range analysis signatures.

2023-10-25 11:29:55 +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

Java: Adjust to use the qlpack data-flow api.

2023-08-01 13:47:09 +02:00

DefUse.qll

Mass rename L/RValue -> VarWrite/Read

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

ExternalFlow.qll

Java: Remove old interpretation.

2023-08-23 13:19:16 +02:00

ExternalFlowExtensions.qll

Apply suggestions from code review

2023-05-08 16:19:00 +02:00

FlowSources.qll

Merge remote-tracking branch 'origin/main' into dbartol/threat-models-2

2023-10-26 14:05:40 -04:00

FlowSteps.qll

Java: Add missing flow step for ThreadLocal.initialValue.

2023-09-22 13:33:45 +02:00

FlowSummary.qll

Java: Re-factor NeutralCallable to include all neutrals and introduce NeutralSummaryCallable.

2023-08-21 09:59:00 +02:00

InstanceAccess.qll

Autoformat

2023-10-24 11:06:19 +01: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

Mass rename L/RValue -> VarWrite/Read

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

Nullness.qll

Mass rename L/RValue -> VarWrite/Read

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

RangeAnalysis.qll

Rangeanalysis/Java/C++: Address some ql4ql findings.

2023-10-25 14:06:35 +02:00

RangeUtils.qll

Java: Implement shared range analysis signatures.

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

SignAnalysis.qll

Packaging: Java refactoring

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

SSA.qll

Mass rename L/RValue -> VarWrite/Read

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

StringPrefixes.qll

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +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

Update all languages to use the shared taint-tracking library

2023-08-04 22:53:25 +02:00

TypeFlow.qll

Java: Minor improvement to TypeFlow for super accesses.

2023-09-13 15:43:45 +02:00