Geoffrey White
418d593a97
Swift: Replace NumericOrCharType with a more basic NumericType, and rename classes for consistency with other static languages.
2023-01-12 11:43:20 +00:00
Geoffrey White
d0eb167d47
Swift: Merge FloatingPointType.qll into NumericOrCharType.qll, because it is a numeric type and other stuff like CharacterType is there.
2023-01-12 11:42:36 +00:00
Michael Nebel
7e4f7a0c17
C#: Address review comments and sync files.
2023-01-11 16:29:24 +01:00
Michael Nebel
67cbe38255
Sync files.
2023-01-11 16:20:55 +01:00
Michael Nebel
80a4197604
Swift: Re-factor provenance related predicates for summarized callable.
2023-01-11 16:20:55 +01:00
Michael Nebel
ea173f9516
Sync files.
2023-01-11 16:20:55 +01:00
Tony Torralba
c115a9fee4
Add more path injection sinks
2023-01-11 14:28:24 +01:00
Tony Torralba
a4f813183e
Merge pull request #11785 from atorralba/atorralba/swift/grdb-sinks
...
Swift: Add sinks for the GRDB library
2023-01-11 11:49:37 +01:00
Tony Torralba
50cd40ed20
Swift: Remove omittable exists variables
2023-01-10 13:39:50 +01:00
Mathias Vorreiter Pedersen
7f5344e025
Update swift/ql/lib/codeql/swift/elements/type/NumericOrCharType.qll
...
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com >
2023-01-09 17:08:27 +00:00
Tony Torralba
8e0a018673
Consider Int8 and UInt8 as OsLogNonRedactedTypes
2023-01-09 18:05:18 +01:00
Tony Torralba
33029b0ed8
Fix sanitizer QLDoc
2023-01-09 18:01:07 +01:00
Tony Torralba
b203a9eb6e
Add a sanitizer for OSLogPrivacy options
...
Add test cases to verify how the sanitizer behaves depending on the argument type and the privacy option being used.
2023-01-09 18:01:07 +01:00
Tony Torralba
aad56097ac
Add Cleartext Loggin query for Swift.
...
With some caveats: see TODO comments and failing tests.
2023-01-09 18:01:07 +01:00
Mathias Vorreiter Pedersen
381301e552
Update swift/ql/lib/swift.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2023-01-09 10:32:52 +00:00
Mathias Vorreiter Pedersen
6bb09ef289
Swift: Add integral type classes.
2023-01-09 09:43:09 +00:00
Mathias Vorreiter Pedersen
9be9636816
Merge pull request #11670 from atorralba/atorralba/swift/predicate-injection
...
Swift: Add predicate injection query
2023-01-09 08:54:13 +00:00
Geoffrey White
bb50a99b36
Swift: Additional test cases.
2023-01-06 18:48:46 +00:00
Geoffrey White
b5dd815249
Swift: Flow through optional binding.
2023-01-06 18:34:22 +00:00
Geoffrey White
c598d9b882
Swift: Generalize an SSA case for variables declared in Patterns.
2023-01-06 18:34:22 +00:00
Aditya Sharad
9988c19a42
Merge branch 'main' into tutorial/library-pack
2023-01-03 14:08:37 -08:00
Geoffrey White
e05bb7fcee
Merge branch 'main' into format
2023-01-03 15:14:55 +00:00
Tony Torralba
07d99bd643
Add path injection sinks
2022-12-23 17:16:06 +01:00
Nora Dimitrijević
aaadf198ab
Swift: fix 'ql/redundant-import'
2022-12-20 23:32:38 -05:00
Nora Dimitrijević
fbb14797b1
Merge branch 'main' into swift/extract-mainactor
2022-12-20 23:20:37 -05:00
Nora Dimitrijević
101f42ab3d
Revert "Swift: silence QL-for-QL "Redundant override" FP"
...
This reverts commit 56a72d7c37
2022-12-20 23:17:45 -05:00
Nora Dimitrijević
f3ebb6e03b
Swift: MethodLookupExpr.getMethodRef() [codegen'd]
...
This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef().
This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.
2022-12-20 23:09:02 -05:00
Nora Dimitrijević
4900e4030a
Swift: MethodLookupExpr.getMethodRef() [hand-written]
...
This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef().
This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.
2022-12-20 23:08:32 -05:00
Aditya Sharad
ed29b3e4d6
Shared packs: Depend on codeql/tutorial from all language libraries
...
This allows `import tutorial` from queries targeting
any language, just like before, while removing the
duplicate copies of `tutorial.qll`.
2022-12-19 15:52:11 -08:00
Nora Dimitrijević
55c6e565f7
Swift: PrintAst.qll nodes() ordering fix not needed
...
No-double-parents should be sufficient for a stable top-level ordering.
2022-12-19 17:52:20 -05:00
Nora Dimitrijević
3da54ebc61
Swift: give a clearer name to {Self,Super}RefExpr.getMethodDecl
2022-12-19 17:33:13 -05:00
Nora Dimitrijević
56a72d7c37
Swift: silence QL-for-QL "Redundant override" FP
2022-12-19 16:45:31 -05:00
Jami
ff652f7dee
Merge branch 'main' into jcogs33/model-top-jdk-apis
2022-12-16 15:32:50 -05:00
Geoffrey White
640f894b00
Merge branch 'main' into format
2022-12-16 11:42:03 +00:00
Tony Torralba
46ea067449
Add bidirectional import in ExternalFlow.qll
2022-12-16 09:59:48 +01:00
Tom Hvitved
e45edcc159
Merge pull request #11674 from hvitved/dataflow/param-context
...
Data flow: Track callable in flow-through pruning
2022-12-16 09:25:15 +01:00
Jami Cogswell
f01ee9e4c2
Java: remove PR-merging comment
2022-12-15 22:56:15 -05:00
Jami
fd63348549
Merge pull request #11585 from jcogs33/jcogs33/mad-metrics-query
...
Java: add MaD metrics query
2022-12-15 19:26:51 -05:00
Nora Dimitrijević
938f724602
Swift: fix db upgrade/downgrade script after pull
2022-12-15 16:37:52 -05:00
Geoffrey White
1f7d96a74a
Merge branch 'main' into format
2022-12-15 15:17:54 +00:00
Tom Hvitved
f8571dd0b6
Data flow: Work around functionality-induced misoptimization
2022-12-15 15:29:14 +01:00
Tom Hvitved
6eda042229
Data flow: Sync files
2022-12-15 15:29:13 +01:00
Geoffrey White
8e61c78ce6
Swift: Fix RemoteFlowSource performance issue.
2022-12-15 12:36:32 +00:00
Jami Cogswell
46b8fbc4c9
Java: update remaining models, resolve merge conflict
2022-12-15 00:33:06 -05:00
Nora Dimitrijević
e16b23afc1
Swift: db upgrade/downgrade script
2022-12-14 15:56:05 -05:00
Jami
359e49044f
Merge branch 'main' into jcogs33/mad-metrics-query
2022-12-14 15:33:29 -05:00
Nora Dimitrijević
8a3ef31a2c
Swift: silence QL-for-QL redundant import warning
2022-12-14 15:22:39 -05:00
Nora Dimitrijević
6269e6b24d
Swift: move getName to Callable (generated)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:30:33 -05:00
Nora Dimitrijević
535daf39b7
Swift: move getName to Callable (hand-written)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:29:13 -05:00
Nora Dimitrijević
89cd082f0a
Swift: {Method,Initializer}CallExpr + SelfRefExpr
...
Adds a bit of symmetry in the API.
Also, fix a couple of tests that were using the old types.
2022-12-14 14:28:01 -05:00
