Mathias Vorreiter Pedersen
|
8053b72901
|
Swift: Skip lvalue types.
|
2022-12-05 14:15:32 +00:00 |
|
Geoffrey White
|
07c790a430
|
Merge branch 'main' into alamofire3
|
2022-12-05 13:29:26 +00:00 |
|
Geoffrey White
|
6cb69c907d
|
Merge pull request #11514 from geoffw0/generics
Swift: Fix for MaD with generics
|
2022-12-05 13:02:35 +00:00 |
|
Tom Hvitved
|
52f3a48638
|
Data flow: Sync files
|
2022-12-05 12:57:27 +01:00 |
|
Tom Hvitved
|
faca4b5b56
|
Merge pull request #11461 from hvitved/ruby/unique-hash-splat-param
Ruby: At most one hash-splat `ParameterNode` per callable
|
2022-12-05 11:53:28 +01:00 |
|
Geoffrey White
|
59e9d0828b
|
Merge branch 'main' into generics
|
2022-12-05 10:30:10 +00:00 |
|
Geoffrey White
|
f7ebd1312e
|
Swift: Corrections.
|
2022-12-01 20:13:56 +00:00 |
|
Geoffrey White
|
ad05cc3cb1
|
Swift: Separate out a FormatString library as well.
|
2022-12-01 18:09:46 +00:00 |
|
Geoffrey White
|
43596869e7
|
Swift: Move query logic to a .qll.
|
2022-12-01 18:09:45 +00:00 |
|
Geoffrey White
|
a6b8ef310a
|
Swift: Rename predicate.
|
2022-12-01 16:20:28 +00:00 |
|
Paolo Tranquilli
|
68504c097c
|
Swift: remove obsolete file
|
2022-12-01 17:07:54 +01:00 |
|
Geoffrey White
|
b7d0d28ef9
|
Swift: QLDoc.
|
2022-12-01 14:23:03 +00:00 |
|
Geoffrey White
|
d64fd62194
|
Swift: resolve TODOs.
|
2022-12-01 14:18:24 +00:00 |
|
Geoffrey White
|
c71bd4cad9
|
Swift: Remove unused predicate.
|
2022-12-01 08:47:29 +00:00 |
|
Geoffrey White
|
0a0cfc34e7
|
Swift: Do the same for methods.
|
2022-12-01 08:47:29 +00:00 |
|
Geoffrey White
|
5a4d188255
|
Swift: Fix for extensions.
|
2022-12-01 08:47:29 +00:00 |
|
Geoffrey White
|
d71eeb4c95
|
Swift: First fix for MaD on generics.
|
2022-12-01 08:47:29 +00:00 |
|
Geoffrey White
|
8f24b0b815
|
Swift: Add missing comment.
|
2022-12-01 08:47:28 +00:00 |
|
Karim Ali
|
8f456295e0
|
Merge pull request #11185 from karimhamdanali/swift-string-taint-steps
Swift: add `String` taint steps
|
2022-11-30 17:03:15 +02:00 |
|
Owen Mansel-Chan
|
45e2a13c37
|
Merge pull request #11494 from owen-mc/dataflow/some-trivial-fixes
Dataflow: some trivial fixes
|
2022-11-30 13:59:41 +00:00 |
|
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 |
|
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ć
|
c5b4e87f6d
|
Swift: AccessorDecl tests for new cases
|
2022-11-29 16:00:00 +01: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
|
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ć
|
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
|
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
|
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
|
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 |
|
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
|
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 |
|
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 |
|