430 Commits

Author	SHA1	Message	Date
Brown	e56483bb54	Fix #3711 - generalize call of specialized class without specializations	2020-06-29 17:42:01 -04:00
Brown	bcd7478352	Reduce memory footprint a little	2020-06-25 19:12:30 -04:00
Brown	f458959af5	Add param type	2020-06-25 01:40:19 -04:00
Brown	d7f1bde6da	Refactor taint acccess checks	2020-06-25 01:32:57 -04:00
Brown	b8ebed0b85	Add a bit more accuracy	2020-06-25 01:00:11 -04:00
Brown	e26922010a	Improve accuracy of array nesting checks	2020-06-25 00:50:52 -04:00
Brown	de85e7c539	Fix blips	2020-06-24 13:19:14 -04:00
Brown	9aa0aca949	Fix handling of coerced callmap args	2020-06-24 11:51:31 -04:00
Brown	c29b3744ec	Change storage of out types	2020-06-24 11:51:31 -04:00
Brown	9b860214d5	Fix #3639 - allow coerced types to count when picking callmap options	2020-06-22 20:24:34 -04:00
Brown	dddc159694	Add explicit path object	2020-06-22 02:10:03 -04:00
Brown	36f1630e03	Add more steps for clearer output	2020-06-22 01:08:58 -04:00
Brown	02e8313c39	Allow taintedness to propagate to some stubbed methods	2020-06-21 18:07:39 -04:00
Brown	fbe3433edd	Use escape terminology	2020-06-21 11:43:08 -04:00
Brown	2ccec821f8	Fix #3624 - inherit magic property annotations from traits	2020-06-20 16:53:17 -04:00
Brown	8f2e28c36b	Improve tainting of specializable classes	2020-06-19 01:22:51 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	7fc1f50f54	Fix potential nullref	2020-06-17 16:40:35 -04:00
Brown	4870774ea4	Allow falsable issues on DateInterval::$days	2020-06-17 16:28:26 -04:00
Brown	56ef220e49	Fix bugs in taint specialisation	2020-06-15 18:34:56 -04:00
Matthew Brown	081a284759	Fix #3567 - remember which variables a callable sets byref in use	2020-06-14 11:58:50 -04:00
Matthew Brown	a49a0e5650	Fix #3551 - count method can be impure	2020-06-14 11:06:53 -04:00
Matthew Brown	427f470806	Fix #3586 - ensure templated trait params more accurate	2020-06-13 16:37:39 -04:00
Gabriel Ostrolucký	8ca7a88c41	Mark fgetcsv impure (#3582) ... fgetcsv standalone is used to skip current row for consecutive reads	2020-06-13 00:32:00 -04:00
Bruce Weirdan	a99f92ae3a	Fix vimeo/psalm#3572 (#3575) ... session_decode has side effects	2020-06-13 00:28:56 -04:00
Brown	16189782ab	Inherit whether methods are sealed from parent ... Ref #3561	2020-06-11 11:28:41 -04:00
Matthew Brown	739d23e5f0	Use alias	2020-06-06 23:27:25 -04:00
Brown	d04e21ee5a	Define mixin declaring classname	2020-05-26 23:32:07 -04:00
Brown	7e7456c863	Make taint checks more thorough	2020-05-25 17:10:53 -04:00
Brown	118b700436	Simplify sink mapping for internal calls	2020-05-25 13:10:06 -04:00
Brown	ee493909d7	Fix bugs	2020-05-23 00:08:16 -04:00
Brown	dc73e25157	Detect taints in include calls	2020-05-22 23:53:37 -04:00
Brown	e82c317d53	Adjust tolerances	2020-05-22 21:37:18 -04:00
Brown	bbc30a1747	Only recreate taints if non-null	2020-05-22 16:55:36 -04:00
Brown	8632cdb3cd	Improve taint tracking during scanning phase	2020-05-22 12:33:48 -04:00
Brown	63c3678ae5	Improve property location resolution	2020-05-22 12:33:38 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	b62f646388	Fix #3391 - move_uploaded_file mutates	2020-05-18 16:26:08 -04:00
Brown	111303d913	Add non-empty-lowercase-string type	2020-05-15 10:18:05 -04:00
Brown	0086eb25a2	Remove duplicate types with @psalm-import-type	2020-05-15 00:16:20 -04:00
Brown	9f3f7bb946	Consolidate ThreadData types	2020-05-14 23:44:22 -04:00
Brown	2af0a17d03	Fix #3236 - allow use-checking of more methods starting with __	2020-05-12 22:39:26 -04:00
Brown	3e58163180	Prevent empty function id ... Ref #3354	2020-05-12 12:54:06 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Matthew Brown	733da0e539	Fix #3311 - don’t erroneously mark a class as undefined ... As they can sometimes only be obvious once an autoloader has been registered	2020-05-10 15:55:44 -04:00
Brown	28349c6423	Remove mixin_fqcln hack	2020-05-10 09:04:30 -04:00
Brown	aceaf6c356	Fix #3217 - don’t override abstract return type with parent one	2020-05-02 21:57:53 -04:00
Brown	132b5c9358	Fix #3263 - inherit magic properties when using @mixin	2020-05-02 19:57:38 -04:00