Geoffrey White d7382053ca Merge branch 'main' into swifttodos

2023-05-09 10:06:45 +01:00

..

decl

Merge branch 'main' into swifttodos

2023-05-09 10:06:45 +01:00

expr

Merge branch 'main' into swifttodos

2023-05-09 10:06:45 +01:00

pattern

Swift: add QLdoc to Pattern

2023-03-29 11:52:50 +02:00

stmt

Swift: Fix ConditionElement.toString().

2023-02-09 21:15:36 +00:00

type

Merge branch 'main' into modernsec3

2023-05-04 12:50:27 +01:00

AstNode.qll

Swift: AST library renamings

2023-04-26 15:47:20 +02:00

AvailabilityInfo.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

AvailabilityInfoConstructor.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

AvailabilitySpec.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

Callable.qll

Swift: move getName to Callable (hand-written)

2022-12-14 14:29:13 -05:00

Comment.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

CommentConstructor.qll

Swift: generalize synth constructors

2022-08-15 16:12:19 +02:00

DbFile.qll

Swift: use Generated:: instead of Base suffix

2022-10-18 12:21:06 +02:00

DbFileConstructor.qll

Swift: generalize synth constructors

2022-08-15 16:12:19 +02:00

DbLocation.qll

Swift: use Generated:: instead of Base suffix

2022-10-18 12:21:06 +02:00

DbLocationConstructor.qll

Swift: generalize synth constructors

2022-08-15 16:12:19 +02:00

Diagnostics.qll

Swift: use explicit this to conform to the coding style

2022-11-09 12:17:11 +01:00

DiagnosticsConstructor.qll

Swift: add diagnostics to dbscheme

2022-11-08 14:36:25 +01:00

Element.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

ErrorElement.qll

Swift: create common error test directory

2022-11-10 16:20:28 +01:00

File.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

KeyPathComponent.qll

Swift: Add dataflow through key-path expressios by modeling them as lambdas that perform a sequence of read steps.

2023-04-12 17:38:34 +01:00

KeyPathComponentConstructor.qll

Swift: Extract structured keypath components.

2023-04-11 13:34:17 +01:00

Locatable.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

Location.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

OtherAvailabilitySpec.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

OtherAvailabilitySpecConstructor.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

PlatformVersionAvailabilitySpec.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

PlatformVersionAvailabilitySpecConstructor.qll

Swift: extract availability info

2023-02-07 14:26:39 +01:00

UnknownFile.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

UnknownLocation.qll

Swift: replace non-genereated Base suffixes

2022-10-18 12:21:06 +02:00

UnknownLocationConstructor.qll

Swift: remove unused no-parameter constructors

2022-08-16 09:09:00 +02:00

UnspecifiedElement.qll

Swift: fix QL compilation

2022-11-10 17:05:03 +01:00

UnspecifiedElementConstructor.qll

Swift: add UnspecifiedElement

2022-11-08 11:40:27 +01:00