Alex Denisov
423c85377b
Swift: skip MacroExpansionExpr/MacroExpansionDecl
...
They only appear in an intermediate AST and disappear as soon as the
macro is expanded.
The only way to get these in is to construct an "incorrect" AST, e.g.:
```
let x = #does_not_exist() // MacroExpansionExpr
struct S {
#does_not_exist() // MacroExpansionDecl
}
```
2023-11-15 14:07:45 +01:00
Alex Denisov
8b126fe51a
Swift: extract MacroDecl
2023-11-15 14:07:45 +01:00
AlexDenisov
57f1f5b829
Merge pull request #14768 from github/alexdenisov/move-semantics
...
Swift: extract AST nodes related to move semantics
2023-11-14 19:13:27 +01:00
Geoffrey White
0342b3eba2
Merge pull request #14772 from geoffw0/webview
...
Swift: Use TaintInheritingContent in WebView.qll
2023-11-14 16:29:32 +00:00
Alex Denisov
559b965e74
Swift: add change note
2023-11-14 16:11:28 +01:00
Alex Denisov
1c75e5b2a6
Swift: add database migration scripts for move semantics
2023-11-14 14:35:58 +01:00
Geoffrey White
4bfdb769a0
Swift: Change note.
2023-11-14 10:10:04 +00:00
Geoffrey White
6783707e2c
Swift: Add heuristic sink. We don't catch everything, but the simple heuristic was better than anything else I tried.
2023-11-14 10:07:12 +00:00
Geoffrey White
80cfb934ce
Swift: Add some tests.
2023-11-14 09:52:53 +00:00
Geoffrey White
296dee90dd
Merge remote-tracking branch 'upstream/main' into fixmodel
2023-11-14 09:38:14 +00:00
Geoffrey White
c14d4042e0
Merge pull request #14748 from geoffw0/pathinjectionsinks
...
Swift: Add more path injection sinks
2023-11-13 20:15:16 +00:00
Geoffrey White
5a451e964d
Swift: Model mainDocumentURL.
2023-11-13 19:51:51 +00:00
Geoffrey White
b157d73c10
Swift: Make the URLRequest test more accurate.
2023-11-13 19:36:03 +00:00
Geoffrey White
985d1990eb
Swift: Fix typo.
2023-11-13 18:55:11 +00:00
Geoffrey White
463096e4be
Swift: Modernize tainted content in WebView.qll.
2023-11-13 18:30:40 +00:00
Geoffrey White
892beeab6d
Swift: Add test case.
2023-11-13 18:25:59 +00:00
Geoffrey White
9ec2f9204b
Swift: Correct components(separatedBy:) models.
2023-11-13 17:43:21 +00:00
Geoffrey White
6f56a656e4
Merge pull request #14761 from geoffw0/moderntest
...
Swift: Update the inline dataflow tests
2023-11-13 14:59:08 +00:00
Alex Denisov
031f453af8
Swift: CFG for Copy/Consume expressions
2023-11-13 15:55:37 +01:00
Alex Denisov
002f2a0985
Swift: extract BorrowExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
d21e27c717
Swift: extract ConsumeExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
30e4822fb7
Swift: extract CopyExpr
2023-11-13 15:55:37 +01:00
Geoffrey White
c3577b34d3
Swift: Clean up logic.
2023-11-13 12:37:35 +00:00
Geoffrey White
e4da8da5d9
Swift: Update the example code.
2023-11-13 12:33:20 +00:00
Geoffrey White
098ea50068
Swift: Repair non-inline dataflow test.
2023-11-13 12:09:08 +00:00
Geoffrey White
6e291711ac
Swift: Update just enough tests to prove that that source labels are working.
2023-11-13 11:47:24 +00:00
Geoffrey White
fca6ccd2f1
Swift: Remove more unused code.
2023-11-13 11:47:22 +00:00
Geoffrey White
4bf717c3e4
Swift: Use InlineFlowTest.qll in the data flow inline tests, so that we have less code duplication and can use flow labels.
2023-11-13 11:06:05 +00:00
Geoffrey White
d15c46836b
Swift: Add features tom InlineFlowTest.qll: extended source/sink names, custom flow tags, use of line-numbers as a fallback value.
2023-11-13 10:55:17 +00:00
Alex Denisov
c0fce80b7d
Swift: mark BuiltinTuple as experimental
2023-11-13 11:34:51 +01:00
Alex Denisov
b385ddbab1
Swift: do not extract non-AST types
2023-11-13 09:12:22 +01:00
Geoffrey White
d56625cb8b
Swift: Rename the capture test to look more like the others.
2023-11-10 17:59:44 +00:00
Alex Denisov
8f10667ee1
Swift: update wordings in a downgrade script
2023-11-10 18:10:43 +01:00
Geoffrey White
c327f0f0a7
Merge branch 'main' into pathinjectionsinks
2023-11-10 16:04:56 +00:00
Alex Denisov
393aad5935
Swift: downgrade parameter packs
2023-11-10 16:22:09 +01:00
Geoffrey White
8f141cb157
Swift: Change note.
2023-11-10 15:13:51 +00:00
Geoffrey White
5a09a325f2
Swift: Add heuristic path injection sinks.
2023-11-10 15:13:51 +00:00
Alex Denisov
0fb439b54d
Swift: test ElementArchetypeType via PackType
2023-11-10 11:44:45 +01:00
Alex Denisov
e865c3cbd3
Swift: extract parameter packs
2023-11-10 10:20:14 +01:00
Geoffrey White
ebf7231be7
Swift: Make the 'completePath' models work.
2023-11-09 18:21:12 +00:00
Geoffrey White
9b5556e245
Swift: Test 'completePath' more carefully.
2023-11-09 18:21:12 +00:00
Geoffrey White
2d313ef4c7
Swift: Add some path injection sink models.
2023-11-09 18:21:12 +00:00
Geoffrey White
cd147038cd
Swift: Fill some gaps in the URL, NSURL models.
2023-11-09 11:51:18 +00:00
Geoffrey White
a86862d578
Swift: Add test cases (heuristic).
2023-11-09 11:33:10 +00:00
Geoffrey White
04016ebd20
Swift: Add test cases (more library functions).
2023-11-09 11:31:58 +00:00
Geoffrey White
f99df55e94
Swift: Add test stubs.
2023-11-09 11:28:33 +00:00
Paolo Tranquilli
331fbf3251
Merge branch 'main' into redsun82/gen-file-docs
2023-11-09 12:14:10 +01:00
Paolo Tranquilli
dcb2117b31
Swift: tweak generated doc comments
2023-11-09 12:12:07 +01:00
Mathias Vorreiter Pedersen
68e7f84c23
Merge pull request #14661 from geoffw0/commandinject4
...
Swift: Fix defaultImplicitTaintRead on fields
2023-11-08 15:52:18 +00:00
Geoffrey White
6b434d10ce
Merge pull request #14701 from geoffw0/promotecmdline
...
Swift: Promote the command injection query out of experimental
2023-11-08 15:46:29 +00:00
