Tom Hvitved
|
b33f5925bb
|
Data flow: Sync files
|
2022-11-30 13:39:25 +01:00 |
|
Tony Torralba
|
e222807693
|
Remove dubious sinks
|
2022-11-30 13:25:17 +01:00 |
|
Alex Denisov
|
fe0ae6bf0b
|
Swift: add 5.7.1 migration scripts
|
2022-11-30 12:52:26 +01:00 |
|
Alex Denisov
|
f618d53302
|
Swift: add new implicit conversion
|
2022-11-30 12:40:34 +01:00 |
|
Alex Denisov
|
90d471b486
|
Swift: upgrade to Swift 5.7.1
|
2022-11-30 12:40:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
d53d275bba
|
Merge pull request #11450 from d10c/swift/missing-enum-cases
Swift: extract missing cases of `AccessorKind` and `AccessSemantics` enums
|
2022-11-30 11:18:52 +00:00 |
|
Owen Mansel-Chan
|
55c4643b20
|
Dataflow: Sync.
|
2022-11-30 11:00:07 +00:00 |
|
Tony Torralba
|
56f5214782
|
Remove invalid MaD row
|
2022-11-30 11:10:30 +01:00 |
|
Nora Dimitrijević
|
91edeacb9f
|
Swift: update .expected test files
|
2022-11-29 19:39:48 +01:00 |
|
Nora Dimitrijević
|
c5b4e87f6d
|
Swift: AccessorDecl tests for new cases
|
2022-11-29 16:00:00 +01:00 |
|
Karim Ali
|
9048d5d79b
|
fix expected output for LocalTaint
|
2022-11-29 15:38:44 +02:00 |
|
Karim Ali
|
9d17fae00c
|
fix expected output for TaintInline
|
2022-11-29 15:24:12 +02:00 |
|
Karim Ali
|
c0085cbb1a
|
fix expected output for Taint.ql
|
2022-11-29 15:18:39 +02:00 |
|
Tony Torralba
|
bf023b0aed
|
Use dominance in path injection sanitizer to avoid FNs
|
2022-11-29 13:33:27 +01:00 |
|
Tony Torralba
|
52ebf66d21
|
Add basic path sanitizer
|
2022-11-29 11:55:04 +01:00 |
|
Tony Torralba
|
1576ee9410
|
Add additional stub to avoid errors when building on Linux
|
2022-11-29 11:55:03 +01:00 |
|
Tony Torralba
|
8cc66172c3
|
Add path injection query
|
2022-11-29 11:55:03 +01:00 |
|
Geoffrey White
|
63c139fdbe
|
Merge branch 'main' into constructor
|
2022-11-29 10:40:19 +00: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 |
|
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
|
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 |
|
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
|
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 |
|
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 |
|
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 |
|