4392 Commits

Author	SHA1	Message	Date
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
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