1975 Commits

Author	SHA1	Message	Date
Tony Torralba	ec7e486a3b	Swift: update generated files' hashes	2023-03-10 11:10:34 +01:00
Anders Schack-Mulligen	159d8e978c	Dataflow: one more autoformat post rebase	2023-03-10 10:04:35 +01:00
Anders Schack-Mulligen	711d7057f7	Swift: Autoformat	2023-03-10 09:41:20 +01:00
Mathias Vorreiter Pedersen	1f77f77153	DataFlow: Sync identical files.	2023-03-09 10:41:15 +00:00
Alex Denisov	1283bcb860	Swift: mangle builtin types	2023-03-07 17:45:08 +01:00
AlexDenisov	d469b9711d	Merge pull request #12388 from github/alexdenisov/introduce-type-mangling ... Swift: introduce type mangling	2023-03-07 17:44:30 +01:00
Geoffrey White	72d6f56df1	Merge pull request #12413 from geoffw0/ptrout2 ... Swift: Permit data flow from all generic arguments	2023-03-07 16:27:12 +00:00
Geoffrey White	2ed140c696	Swift: Update the pointertypes test.	2023-03-06 17:14:14 +00:00
Mathias Vorreiter Pedersen	ff53e53e8c	Merge pull request #12236 from MathiasVP/language-specific-field-flow-branch-limit-term ... Dataflow: Add a language specific term to `join` and `branch`	2023-03-06 16:59:09 +00:00
Geoffrey White	4d327dbf4f	Swift: The PointerType class isn't used any d any more.	2023-03-06 16:36:41 +00:00
Geoffrey White	61340c4b20	Swift: Permit data flow from generic arguments, rather than just pointers.	2023-03-06 16:34:12 +00:00
Geoffrey White	1e5b904514	Swift: Add test cases for mutating pointers inside containers.	2023-03-06 16:17:39 +00:00
Mathias Vorreiter Pedersen	92ad099c1b	DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.	2023-03-06 13:47:59 +00:00
Mathias Vorreiter Pedersen	3bf28cc752	DataFlow: Sync identical files.	2023-03-06 13:46:21 +00:00
Mathias Vorreiter Pedersen	9647b6a3f5	Swift: Add stub.	2023-03-06 13:45:04 +00:00
Geoffrey White	56b6441ef5	Merge pull request #12391 from geoffw0/ptrout ... Swift: Permit data flow out through pointer arguments	2023-03-06 13:37:22 +00:00
Anders Schack-Mulligen	5c7f2ac7f7	Merge pull request #12186 from aschackmull/dataflow/refactor-configuration ... Data flow: Refactor configuration	2023-03-06 13:38:59 +01:00
Anders Schack-Mulligen	557cb17f4d	Dataflow: Minor perf fix for single config wrapper.	2023-03-06 10:24:33 +01:00
Geoffrey White	6f120a66d0	Merge pull request #12368 from geoffw0/taintarith3 ... Swift: Fill some gaps in arithmetic / bitwise operations modelling	2023-03-03 18:20:54 +00:00
Geoffrey White	9aaf30691c	Merge pull request #12307 from geoffw0/stringconflationtaint ... Swift: Update swift/string-length-conflation to taint tracking	2023-03-03 17:27:15 +00:00
Geoffrey White	c29dcefcf2	Swift: Fix .expected file. Locations had changed after the formatting fix.	2023-03-03 17:24:07 +00:00
Geoffrey White	395bf675fe	Swift: Make the test work on Linux.	2023-03-03 17:14:57 +00:00
Geoffrey White	2d889304bb	Swift: Some cases in the SqlInjection test are fixed by this.	2023-03-03 16:49:13 +00:00
Geoffrey White	b2bcb2d378	Swift: Fix formatting.	2023-03-03 16:32:21 +00:00
Geoffrey White	6e3040987a	Swift: Autoformat.	2023-03-03 16:24:28 +00:00
Geoffrey White	234f17b578	Swift: Use PointerType in data flow's 'modifiable' predicate.	2023-03-03 16:23:49 +00:00
Geoffrey White	3249cee1c9	Swift: Add an overall PointerType.	2023-03-03 16:23:46 +00:00
Geoffrey White	589e0af20a	Swift: Test for pointer types.	2023-03-03 16:23:29 +00:00
Geoffrey White	9423c21d46	Swift: Add simple model for pointer types.	2023-03-03 16:23:27 +00:00
Alex Denisov	7f3e7224df	Swift: introduce type mangling	2023-03-03 16:28:41 +01:00
AlexDenisov	4aeff0f8dc	Merge pull request #12335 from github/alexdenisov/extract-lazy-declarations ... Swift: extract lazy declarations	2023-03-03 16:06:20 +01:00
Geoffrey White	9f86bcb1b8	Swift: Proof of concept fix.	2023-03-03 15:04:47 +00:00
Geoffrey White	15227d3c09	Swift: Add tests where a user-defined (non-modelled) function taints the pointee of a pointer argument.	2023-03-03 15:00:22 +00:00
Anders Schack-Mulligen	0addcfa7c5	Dataflow: Fix some perf issues.	2023-03-03 11:45:32 +01:00
Alex Denisov	ae7a0c517c	Swift: do not allocate mangler statically	2023-03-03 10:28:08 +01:00
Alex Denisov	60c1505097	Swift: address review comments	2023-03-03 10:26:44 +01:00
Alex Denisov	ffcb382705	Swift: only consider Builting and __ObjC declarations as lazy	2023-03-02 20:00:23 +01:00
Geoffrey White	27ec36298f	Swift: Understand binary pointwise operations.	2023-03-02 12:42:34 +00:00
Geoffrey White	ec2c58b416	Swift: Understand overflow binary bitwise operations.	2023-03-02 12:11:25 +00:00
Geoffrey White	1206b73d87	Swift: Understand overflow binary arithmetic operations.	2023-03-02 12:11:15 +00:00
Geoffrey White	53f52df809	Swift: Add taint test cases for overflow, bitwise and pointwise arithmetic operations.	2023-03-02 11:41:31 +00:00
Geoffrey White	c42add2191	Swift: Add test cases for overflow and pointwise binary arithmetic operations.	2023-03-02 11:28:59 +00:00
Geoffrey White	730532f96a	Swift: Add some (limited) test coverage for NSString <-> Data conversion.	2023-03-02 10:33:57 +00:00
Geoffrey White	1332309f59	Swift: Add some (limited) test coverage for String <-> NSString conversions.	2023-03-02 10:33:57 +00:00
Geoffrey White	8e069b7686	Swift: Split the taint flow test.	2023-03-01 20:45:46 +00:00
Geoffrey White	bf6f6eec34	Merge pull request #12225 from geoffw0/nsstring ... Swift: Taint models for NSString	2023-03-01 16:30:06 +00:00
Tony Torralba	59bd1e5ab1	Merge pull request #12228 from github/java/mad-decls-triage-request-2276 ... Java: Update MaD sink decls after triage	2023-03-01 17:08:38 +01:00
Geoffrey White	f8079056ec	Swift: Fix test on Linux.	2023-03-01 15:47:30 +00:00
Alex Denisov	276fec39fc	Swift: consider lazy declaration emitted if the process lost in the race	2023-03-01 15:42:44 +01:00
Alex Denisov	ded0e570b0	Swift: extract lazy declarations	2023-03-01 15:22:22 +01:00