Geoffrey White
7285704807
Merge pull request #12876 from geoffw0/extensiondecl
...
Swift: Improve ExtensionDecl.toString
2023-04-19 16:41:48 +01:00
Geoffrey White
e895cac569
Merge pull request #12877 from geoffw0/deprecated
...
Swift: Delete deprecated classes
2023-04-19 16:41:25 +01:00
Geoffrey White
3779d8423f
Swift: Autoformat.
2023-04-19 14:57:17 +01:00
Geoffrey White
4484574301
Swift: Rename clashing CleartextStorage modules.
2023-04-19 14:29:25 +01:00
Geoffrey White
10c222e7e2
Swift: Remove deprecated classes from queries.
2023-04-19 14:26:03 +01:00
Geoffrey White
a3c66b6032
Merge pull request #12833 from geoffw0/addmodels
...
Swift: Add some sink models
2023-04-19 14:18:29 +01:00
Geoffrey White
49dccaa89d
Swift: Fix other tests.
2023-04-19 14:16:24 +01:00
Geoffrey White
e9ffefaa96
Swift: Improve ExtensionDecl.toString.
2023-04-19 13:38:04 +01:00
Geoffrey White
c092851c28
Swift: Add a test for ExtensionDecls.
2023-04-19 11:50:49 +01:00
Mathias Vorreiter Pedersen
8d62d5916e
Merge pull request #12807 from MathiasVP/dataflow-for-keypaths
...
Swift: Dataflow for keypaths
2023-04-19 10:00:49 +01:00
Geoffrey White
c7ea08aa73
Swift: Fix inline expectations.
2023-04-18 17:32:38 +01:00
Nora Dimitrijević
7f675d8c3b
Swift: more CapturedDecl test cases
2023-04-18 16:50:38 +02:00
Nora Dimitrijević
96f06f8eca
Swift: refactor the public API wrt captures
...
This exposes capture- and access-related methods under different names.
2023-04-18 16:50:37 +02:00
Mathias Vorreiter Pedersen
231b0fcab2
Swift: Add more tests.
2023-04-18 12:01:08 +01:00
Paolo Tranquilli
4b40471f7b
Swift: reconfigure default logging in qltest.sh
...
Route all logging to console by default, which ends up in the qltest.log
file.
2023-04-18 12:48:59 +02:00
Paolo Tranquilli
61bb6c912a
Swift: replace or remove assertions in translators
...
Assertions before fetching a non optional label are not needed as
the dispatcher will replace those with unspecified elements (and
properly log those instances).
2023-04-18 12:16:22 +02:00
Paolo Tranquilli
df84ed5953
Swift: error printing in SwiftInvocationExtractor
2023-04-18 12:16:22 +02:00
Paolo Tranquilli
a1cec3e970
Swift: replace assertions and prints in the file library
2023-04-18 12:16:22 +02:00
Paolo Tranquilli
f965495ddf
Swift: replace assertions and direct prints in SwiftDispatcher
...
Also added opt-in logging of undefined trap labels for all emissions
outside the `SwiftDispatcher`.
2023-04-18 12:16:22 +02:00
Paolo Tranquilli
dbfd85c505
Swift: replace assertions and prints in main and SwiftExtractor
2023-04-18 12:14:46 +02:00
Paolo Tranquilli
f42975f132
Swift: add assertion and expectation macros
2023-04-18 11:48:45 +02:00
Tom Hvitved
f6d000eb20
Merge pull request #12805 from hvitved/remove-queries-xml
...
Remove all `queries.xml` files
2023-04-18 10:52:14 +02:00
Paolo Tranquilli
b8c55612e5
Swift: route compiler diagnostics through our log
2023-04-18 08:46:31 +02:00
Paolo Tranquilli
901db73d55
Merge pull request #12745 from github/redsun82/swift-logging
...
Swift: introduce usage of binlog
2023-04-17 15:23:29 +02:00
Paolo Tranquilli
cbe247e123
Merge branch 'main' into redsun82/swift-logging
2023-04-17 10:27:14 +02:00
Paolo Tranquilli
3f139bd93b
Swift: address logging review comments
2023-04-17 10:27:01 +02:00
Paolo Tranquilli
edb355b47f
Swift: add QLdoc for generated Raw and Synth modules
2023-04-17 09:38:26 +02:00
Geoffrey White
d94ed1b4a3
Merge pull request #12824 from geoffw0/modernsec4
...
Swift: Add CryptoSwift sinks in swift/weak-sensitive-data-hashing
2023-04-14 19:56:37 +01:00
Geoffrey White
706fdce527
Swift: Downgrade swift/unsafe-js-eval to precision medium.
2023-04-14 18:16:16 +01:00
Geoffrey White
2adc4c0feb
Swift: PredicatUpgrade predicate injection sources from RemoteFlowSource to FlowSource. Even local input should be in parameters rather than concatenated into the predicate.
2023-04-14 17:50:57 +01:00
Geoffrey White
7b8606d411
Swift: Delete unnecessary import.
2023-04-14 16:36:22 +01:00
Geoffrey White
9ecba6a94d
Swift: Add missing imports in ExternalFlow.qll.
2023-04-14 14:58:24 +01:00
Geoffrey White
619d572d50
Swift: Add RNCryptor hmacKey encryption-key sinks.
2023-04-14 14:58:15 +01:00
Geoffrey White
46da73cc11
Swift: Add realm path-injection sinks.
2023-04-14 14:50:50 +01:00
Geoffrey White
feccd307da
Swift: Add realm encryption-key sinks.
2023-04-14 14:47:24 +01:00
Geoffrey White
bfdaf6951d
Swift: Add some test cases.
2023-04-14 14:39:45 +01:00
Geoffrey White
21414089ee
Swift: Test renaming and layout changes.
2023-04-14 14:39:32 +01:00
Geoffrey White
3f8ac1a12b
Merge pull request #12794 from geoffw0/modernsec2
...
Swift: Add CSV extension points to the encryption queries.
2023-04-13 19:43:05 +01:00
Geoffrey White
8c415f3988
Swift: getName() -> getFullName().
2023-04-13 17:56:07 +01:00
Mathias Vorreiter Pedersen
f9d5e56d9c
s/entry/exit
2023-04-13 13:22:07 +01:00
Mathias Vorreiter Pedersen
f32d77b36c
Swift: Add QLDoc.
2023-04-13 13:13:18 +01:00
Mathias Vorreiter Pedersen
68cdc3b48e
Swift: Accept test changes.
2023-04-13 13:13:15 +01:00
Mathias Vorreiter Pedersen
33bc7eabbb
Swift: Fix CFG for key-path expressions.
2023-04-13 13:12:09 +01:00
Mathias Vorreiter Pedersen
859b3051b7
Swift: Add consistency queries to CFG tests.
2023-04-13 13:12:02 +01:00
Tom Hvitved
3cc9dec9c8
Remove all queries.xml files
2023-04-13 11:18:58 +02:00
Michael Nebel
1d82b09ec1
Sync files.
2023-04-13 09:21:05 +02:00
Mathias Vorreiter Pedersen
184cb74cd0
Swift: Accept test changes.
2023-04-12 17:38:34 +01:00
Mathias Vorreiter Pedersen
f46ea325e8
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
Mathias Vorreiter Pedersen
21b03927c5
Swift: Add failing tests.
2023-04-12 17:38:29 +01:00
Chris Smowton
7eefa43f5a
Rename and document viableArgParamSpecific to make clear it is a temporary hook.
2023-04-12 14:33:46 +01:00