Alex Denisov
609c7cf84d
Swift: Rename diagnostics consumer
2022-11-08 14:56:50 +01:00
Geoffrey White
25b4296045
Swift: Rename predicate to avoid confusion.
2022-11-08 13:52:33 +00:00
Alex Denisov
2b8b6d3dc3
Swift: ignore diagnostics for PrintAst
2022-11-08 14:45:56 +01:00
Alex Denisov
e9c4cb227f
Swift: add more diagnostics tests
2022-11-08 14:41:10 +01:00
Alex Denisov
680b7a16fb
Swift: extract location extraction into a separate entity
2022-11-08 14:41:10 +01:00
Alex Denisov
e9da5eecf2
Swift: update test expectations
2022-11-08 14:41:06 +01:00
Geoffrey White
24c8f1d8b5
Swift: Add some local (and remote) flow sources for String.
2022-11-08 13:38:25 +00:00
Alex Denisov
b62a4aae1a
Swift: include null terminators into the invocation file hash
2022-11-08 14:36:28 +01:00
Alex Denisov
433f4e0cb5
Swift: use DbFile/DbLocation
2022-11-08 14:36:28 +01:00
Alex Denisov
288bdc2ee9
Swift: add diagnostics test case
2022-11-08 14:36:28 +01:00
Alex Denisov
b39cf7ea11
Swift: diagnostics: fix bazel build
2022-11-08 14:36:28 +01:00
Alex Denisov
1574e855eb
Swift: consume and store compiler frontend diagnostics
2022-11-08 14:36:28 +01:00
Alex Denisov
62c26f8f27
Swift: add diagnostics to dbscheme
2022-11-08 14:36:25 +01:00
Geoffrey White
e669754d0b
Swift: Also add local flow sources to summary queries.
2022-11-08 13:05:41 +00:00
Geoffrey White
be05b807cd
Swift: Add models-as-data local flow sources as well.
2022-11-08 13:05:41 +00:00
Geoffrey White
0dcb5546a1
Swift: Add a LocalFlowSource and FlowSource class.
2022-11-08 13:05:41 +00:00
Geoffrey White
c5285acb04
Swift: Add more tests for String flow sources.
2022-11-08 13:05:40 +00:00
Paolo Tranquilli
552c5249ac
Merge pull request #11131 from github/redsun82/swift-incomplete-ast
...
Swift: deal with incomplete ASTs
2022-11-08 14:01:58 +01:00
Rasmus Wriedt Larsen
4895daba85
DataFlow: Add read/store stepIsLocal consistency checks
2022-11-08 13:32:49 +01:00
Paolo Tranquilli
9731048836
Swift: remove an assert from swift headers
...
An interesting byproduct was finding a problematic `assert` in the
Swift headers. An incomplete `FallthroughStmt` was asserting on having
a destination. I did not find any other sensible way of getting rid of
the crash when running in debug mode than to patch the header.
2022-11-08 11:47:12 +01:00
Paolo Tranquilli
fda9d19a97
Swift: replace undefined labels with UnspecifiedElement
2022-11-08 11:47:12 +01:00
Paolo Tranquilli
8d3e6ff8a7
Swift: add label iteration
2022-11-08 11:47:12 +01:00
Paolo Tranquilli
450a4a04af
Swift: add incomplete ast test
...
The test was inspired by locally running the query against files in
https://github.com/apple/swift/tree/main/test/Parse
A query for missing elements was also added to the AST tests, expecting
nothing to be found.
2022-11-08 11:46:07 +01:00
Paolo Tranquilli
d6fb6bf036
Swift: customize UnspecifiedElement
2022-11-08 11:40:27 +01:00
Paolo Tranquilli
e17bc6c581
Swift: add UnspecifiedElement
2022-11-08 11:40:27 +01:00
Tony Torralba
4411852e59
Add BitwiseOperation.qll
2022-11-08 11:33:10 +01:00
Paolo Tranquilli
2aa528852e
Swift: add possibility to specify null class
2022-11-08 11:27:14 +01:00
Nora Dimitrijević
7585541514
Merge branch 'main' into swift/js-injection
2022-11-08 11:25:54 +01:00
Nora Dimitrijević
d37ed02e79
Swift: basic Data-related taint flow in query
...
Still TODO: a more comprehensive taint flow model for Data in the libs.
2022-11-08 11:24:53 +01:00
Nora Dimitrijević
66291d3575
Swift: sync tests pass with additional flow steps
...
TODO: Convert those flow steps to taint flow models in the library.
2022-11-08 11:09:55 +01:00
Karim Ali
c794fef9cb
update qhelp with more details about the use of constant passwords
2022-11-08 11:26:52 +02:00
Karim Ali
b1679df3d2
tighten check against the "iv" argument only
2022-11-08 11:22:18 +02:00
Karim Ali
b077fc5e91
add more details in qhelp about the use of hardcoded/constant IVs
2022-11-08 11:19:41 +02:00
Paolo Tranquilli
072edad0fd
Swift: accept new test changes
2022-11-08 09:30:25 +01:00
Paolo Tranquilli
21adcca065
Swift: add bitwise ops to PrintAst test
2022-11-08 08:53:36 +01:00
Nora Dimitrijević
7c515bbef7
Swift: _ as in _ = ... is a CFG leaf node.
...
This enables DataFlow to skip over it and not get stuck.
2022-11-07 18:02:06 +01:00
Karim Ali
5766ff21d0
Merge pull request #10993 from karimhamdanali/swift-pbe-constant-salts
...
Swift: detect the use of constant salts
2022-11-07 16:22:41 +02:00
Geoffrey White
645906a7d7
Merge branch 'main' into tuples
2022-11-07 13:17:12 +00:00
Karim Ali
53055bc8b6
add another reference to RFC 2898
2022-11-07 13:44:25 +02:00
Karim Ali
2a22c69a64
remove unused variable from test + updated expected output
2022-11-07 13:31:55 +02:00
Karim Ali
1756feae71
address docs review
2022-11-07 13:20:02 +02:00
Paolo Tranquilli
b30a6d36b5
Swift: extract AwaitExpr
2022-11-07 12:08:51 +01:00
Paolo Tranquilli
b94066acd8
Merge pull request #11094 from github/redsun82/swift-translators
...
Swift: refactor visitors to use translations
2022-11-07 12:01:44 +01:00
Geoffrey White
7b62bed9db
Merge pull request #10947 from karimhamdanali/swift-pbe-iterations
...
Swift: detect hash functions with low # of iterations
2022-11-07 10:38:29 +00:00
Anders Schack-Mulligen
99ca28ea9b
Merge pull request #10886 from aschackmull/dataflow/joinorders
...
Dataflow: Fix a couple of join-orders.
2022-11-07 11:05:29 +01:00
Mathias Vorreiter Pedersen
60ac031db4
Merge pull request #11036 from geoffw0/simplify3
2022-11-05 00:31:05 +00:00
AlexDenisov
c7da814bca
Merge pull request #11122 from github/alexdenisov/make-macos-sed-happy
...
Swift: make sed on macos happy
2022-11-04 15:45:06 +01:00
Paolo Tranquilli
0370d1a1ba
Merge pull request #11008 from github/redsun82/swift-macos-integration-tests
...
Swift: rework workflows
2022-11-04 15:44:42 +01:00
AlexDenisov
476bbfbdb7
Update qltest.sh
2022-11-04 13:04:24 +01:00
Anders Schack-Mulligen
a1dba82360
Dataflow: Sync.
2022-11-04 12:41:55 +01:00
