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 |
|
Mathias Vorreiter Pedersen
|
d8e75e66d7
|
Merge pull request #14717 from github/alexdenisov/fix-cfg-for-single-value-stmt-expr
Swlft: fix CFG for SingleValueStmtExpr
|
2023-11-08 14:26:00 +00:00 |
|
Alex Denisov
|
d510739ca2
|
Swift: add 5.9 chagenote
|
2023-11-08 12:20:33 +01:00 |
|
Geoffrey White
|
d78a7b9d94
|
Swift: Add credit to change note.
|
2023-11-08 10:46:57 +00:00 |
|
Paolo Tranquilli
|
ac838d72de
|
Codegen: mark all generated files and classes as INTERNAL
|
2023-11-08 10:02:17 +01:00 |
|
Paolo Tranquilli
|
b7543f5dc7
|
Codegen: pass ql_internal to Stub
|
2023-11-08 09:54:21 +01:00 |
|
Alex Denisov
|
12f9e3a1dd
|
Swlft: fix CFG for SingleValueStmtExpr
|
2023-11-07 18:12:39 +01:00 |
|
Alex Denisov
|
dd20a9b009
|
Swlft: fix wording in the comment
|
2023-11-07 17:28:37 +01:00 |
|
Alex Denisov
|
df256e601a
|
Swlft: add explicit SingleValueStmtExpr test
|
2023-11-07 17:26:44 +01:00 |
|
Paolo Tranquilli
|
10afa4381a
|
Swift: add more doc strings to generated things
|
2023-11-07 16:29:03 +01:00 |
|
Alex Denisov
|
2b7ce23653
|
Swlft: add database upgrade scripts
|
2023-11-07 13:40:42 +01:00 |
|
Alex Denisov
|
33de177fea
|
Swift: extract SingleValueStmtExpr
|
2023-11-07 13:40:35 +01:00 |
|
Alex Denisov
|
bbde709b3f
|
Swift: upgrade to 5.9.1
|
2023-11-07 13:40:28 +01:00 |
|
AlexDenisov
|
a0e73eaab0
|
Merge pull request #14696 from github/alexdenisov/force-canonical-types
Swlft: force canonical type computation before using the type
|
2023-11-07 10:23:16 +01:00 |
|
Geoffrey White
|
4ce8d953d2
|
Merge pull request #14698 from geoffw0/realmswift
Swift: Fix an issue with Realm sinks for swift/cleartext-storage-database
|
2023-11-07 08:37:27 +00:00 |
|
Geoffrey White
|
3465c34cb6
|
Merge pull request #14680 from geoffw0/dataclosure
Swift: Generalize flow through subscript writes / test and fix some closure methods of Data
|
2023-11-06 19:39:08 +00:00 |
|
Geoffrey White
|
c85bdcd5ab
|
Swift: Change note.
|
2023-11-06 17:36:58 +00:00 |
|
Geoffrey White
|
1c6a4b8cbf
|
Swift: Update the test .qlref.
|
2023-11-06 17:32:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
84594e66bc
|
Merge pull request #14682 from geoffw0/filepathclosure
Swift: Correct a couple of FilePath models.
|
2023-11-06 17:31:17 +00:00 |
|
Geoffrey White
|
127f819762
|
Swift: Move command injection query out from experimental.
|
2023-11-06 17:23:28 +00:00 |
|
Geoffrey White
|
426bdc0011
|
Swift: Add test cases. Before the changes, we don't catch the cases for return values from the closures.
|
2023-11-06 16:32:23 +00:00 |
|