Paolo Tranquilli
52a117aaf5
Swift: optimize bazel caching in CI
...
Previously the cache would become stale. Now the same incremental
cache mechanism in use for the QL cache is adopted (and factored out
in a separate action).
Namely, pushes on main will populate the cache using the commit hash as
key, while PRs will try to use the cache of their merge base, read-only.
To avoid the cache growing out of control, a simple cache eviction is
done on pushes.
2022-11-29 11:43:54 +01:00
Geoffrey White
63c139fdbe
Merge branch 'main' into constructor
2022-11-29 10:40:19 +00:00
AlexDenisov
0f87eb45db
Merge pull request #11470 from github/redsun82/swift-fix-ci
...
Swift: revert `swift-actions/setup-swift`
2022-11-29 11:39:08 +01:00
Nora Dimitrijević
93cce0f4c2
Swift: upgrade script
2022-11-29 11:31:08 +01:00
Nora Dimitrijević
13bbee73d8
Swift: Add .generated.list file from codegen
2022-11-29 11:31:07 +01:00
Nora Dimitrijević
931173350f
Swift: extract missing cases of AccessorKind and AccessSemantics
...
This resolves the warnings that were showing up during extractor-pack
compilation.
2022-11-29 11:31:07 +01:00
Nora Dimitrijević
36e7235493
Swift: fix -Wmissing-braces warning in extractor
...
By initializing va_list the standard way,
i.e. leaving it uninitialized until va_start().
2022-11-29 11:31:07 +01:00
Nora Dimitrijević
c89c449a2c
Swift: silence cmake/vscode intellisense Problem
...
i.e. "TrapLabel not found"
2022-11-29 11:27:33 +01:00
Paolo Tranquilli
9a25de3ef1
Swift: revert swift-actions/setup-swift
2022-11-29 11:17:08 +01:00
Karim Ali
f0d9dabca2
updated expected output for LocalTaint and Tain
2022-11-29 12:13:10 +02:00
Karim Ali
9b3c4e8db2
add test case for unicodeScalars
2022-11-29 12:12:10 +02:00
Karim Ali
7541b01a86
add test case for utf8CString
2022-11-29 12:12:10 +02:00
Karim Ali
58a87396ba
add taint steps for fields of String
...
if a String is tainted, then all its fields (including those declared in extensions) should be tainted as well
2022-11-29 12:12:10 +02:00
Mathias Vorreiter Pedersen
4233c91a7e
Merge pull request #11469 from atorralba/atorralba/swift/fix-local-taint
...
Swift: Fix local taint
2022-11-29 10:00:12 +00:00
Tony Torralba
0e59257442
Fix local taint steps
...
Local taint should include local flow and simple summaries through library code
2022-11-29 10:36:56 +01:00
Tom Hvitved
f3dca95958
Merge pull request #11087 from hvitved/dataflow/summary-ctx
...
Data flow: Add summary/return context to pruning stages 2-4
2022-11-29 10:36:53 +01:00
Geoffrey White
c3dc9672f7
Merge branch 'main' into constructor
2022-11-29 09:30:03 +00:00
Geoffrey White
e0c8a8ecff
Merge pull request #11458 from geoffw0/simplify
...
Swift: Simplify some QL.
2022-11-29 09:29:12 +00:00
Geoffrey White
cf7cd2b470
Swift: Convert to MaD.
2022-11-28 19:02:56 +00:00
Geoffrey White
03ae2821c3
Update swift/ql/lib/codeql/swift/frameworks/Alamofire/Alamofire.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2022-11-28 18:24:28 +00:00
Geoffrey White
349a10c013
Swift: codegen.
2022-11-28 17:41:41 +00:00
Geoffrey White
96e04e7f63
Swift: Use ConstructorDecl in place of name matching.
2022-11-28 17:39:45 +00:00
Geoffrey White
e97aee5d9d
Swift: QLDoc.
2022-11-28 17:39:44 +00:00
Geoffrey White
410609fed4
Swift: Make ConstructorDecl, DestructorDecl into MethodDecls.
2022-11-28 17:20:43 +00:00
Geoffrey White
edb6325117
Swift: Fix comment.
2022-11-28 17:07:34 +00:00
Geoffrey White
aa5c893d5e
Swift: Further simplify.
2022-11-28 17:07:34 +00:00
Geoffrey White
97bd91ed19
Swift: Simplify using ApplyExpr.getArgumentWithLabel.
2022-11-28 16:51:46 +00:00
Paolo Tranquilli
28bf0c9e03
Merge pull request #11365 from github/redsun82/swift-integration-test-pack
...
Swift: fix extractor tests pack
2022-11-28 17:02:54 +01:00
Paolo Tranquilli
ace7146164
Merge pull request #11454 from erik-krogh/swift-test
...
Swift: CI cache fixes
2022-11-28 16:24:22 +01:00
Mathias Vorreiter Pedersen
3716d67cc9
Merge pull request #11451 from geoffw0/wkuserscript
...
Swift: models for WKUserScript
2022-11-28 14:24:19 +00:00
Geoffrey White
f291320655
Merge pull request #11447 from geoffw0/localflow2
...
Swift: Update queries to use LocalFlowSource
2022-11-28 14:18:01 +00:00
erik-krogh
751ffbd9c8
use different keys for different caches
2022-11-28 14:44:07 +01:00
Geoffrey White
30468dd419
Swift: Implement field content as well.
2022-11-28 12:27:33 +00:00
Geoffrey White
ffbd201450
Swift: Implement basic model of WKUserScript.
2022-11-28 12:20:29 +00:00
Geoffrey White
116d9667e7
Swift: Remove special case from query.
2022-11-28 12:15:38 +00:00
Geoffrey White
3971cbf294
Swift: Extend the taint test with WKUserScript.
2022-11-28 12:11:38 +00:00
Tom Hvitved
cde05e1190
Data flow: Sync files
2022-11-28 12:11:38 +01:00
Geoffrey White
dc02fa0386
Swift: Make ql-for-ql happy.
2022-11-28 10:17:11 +00:00
Geoffrey White
b3d2e759a6
Swift: Update swift/sql-injection to include local flow sources.
2022-11-28 10:11:44 +00:00
Geoffrey White
a5a459fe0a
Swift: Update swift/unsafe-js-eval to include local flow sources.
2022-11-28 10:11:44 +00:00
Paolo Tranquilli
edddaaa838
Swift: make mapping from swift types to tags explicit
...
This should decouple schema names from swift names, allowing to
rename schema names regardless of internal swift compiler names.
2022-11-25 13:10:33 +01:00
Paolo Tranquilli
8df7d465cb
Swift: cache more aggressively in CI
...
* the QL compilation cache action is used for ql and integration tests
* all caches (Bazel and QL) are populated on push
2022-11-25 08:52:46 +01:00
Paolo Tranquilli
9b4b29cab7
Merge branch 'main' into redsun82/swift-integration-test-pack
2022-11-25 08:49:36 +01:00
Geoffrey White
208a728d39
Swift: Fixes.
2022-11-25 00:28:53 +00:00
Geoffrey White
37cdef7ab1
Swift: add basic Alamofire taint source model.
2022-11-25 00:14:23 +00:00
Geoffrey White
afb5dc7da3
Swift: Add test for Alamofire sources.
2022-11-25 00:08:51 +00:00
Edoardo Pirovano
9071acea01
Merge pull request #11416 from github/edoardo/mergeback-3.8
...
Merge `rc/3.8` into `main`
2022-11-24 15:05:28 +00:00
Tony Torralba
1d57663343
Merge pull request #11345 from atorralba/atorralba/swift/data-models
...
Swift: Add taint models for the Data class
2022-11-24 14:23:41 +01:00
Geoffrey White
32442a33de
Merge pull request #11270 from geoffw0/optionals2
...
Swift: Dataflow through ?? and ? :
2022-11-24 13:20:54 +00:00
Tony Torralba
e4e5291511
Fix more test expectations after rebase
2022-11-24 13:03:12 +01:00