34 Commits

Author	SHA1	Message	Date
Matt Brown	b2382cdf18	Use correct count	2020-10-14 18:56:49 -04:00
Matt Brown	4488d5fb1f	Use more accurate arguments count	2020-10-14 18:51:15 -04:00
Matt Brown	939297484c	4.x - rename TFn to TClosure	2020-10-04 23:32:01 -04:00
Matt Brown	6a91c2f70e	Fix @no-named-arguments more	2020-10-02 21:09:37 -04:00
Matt Brown	009b33b17d	Support @no-named-args when calling in PHP 8	2020-10-02 20:58:51 -04:00
Matt Brown	63a11bae15	4.x - Support named arguments ... Ref #4089	2020-10-02 20:27:01 -04:00
Matt Brown	14efde286f	4.x - refactor unused variable detection ... This turns unused variable detection into an explicit control-flow problem, where before we had a more simplistic mark-and-sweep algorithm	2020-09-30 12:28:13 -04:00
Brown	19f88a2e31	Add improvements from unused variable checks	2020-09-28 00:45:02 -04:00
orklah	191495328a	Fix errors in return types (#4189) ... * FunctionLikeAnalyzer::verifyReturnType returns void * ArrayFunctionArgumentsAnalyzer::checkArgumentsMatch returns void * AssertionFinder::scrapeAssertions can't return null	2020-09-16 17:35:55 -04:00
Brown	dda013dc2e	Only refine for matching closure union members ... Ref #4136	2020-09-15 09:40:27 -04:00
orklah	da47588f91	replace return; by return null; in every non-void method, add return null; when mising, add return types, remove redundant phpdoc (#4176)	2020-09-13 16:39:06 -04:00
Brown	8737abf3b8	Fix real projects bug	2020-09-07 15:14:14 -04:00
Brown	88e0811cdd	Fix #4136 - allow union type properly	2020-09-07 14:08:56 -04:00
Brown	d174fc6f3f	Improve fix	2020-09-07 13:19:37 -04:00
Brown	afce416bfb	Fix #4136 - allow inference of callabe type param in union of callables	2020-09-07 12:56:47 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
Matthew Brown	3605eeee04	Support analysing preg_match_all args in reverse to infer matches type	2020-09-04 20:33:02 -04:00
Brown	4d82d3ddad	Fix #4128 - improve understanding of preg_match_all	2020-09-04 18:10:14 -04:00
Brown	22fe7458d8	Break up large method	2020-09-04 17:45:22 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	3ca4a576e7	Fix treatment of closure params in array_map	2020-08-29 11:10:09 -04:00
Brown	7ef3d4711f	Fix some more tests	2020-07-21 23:16:56 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	ab6df0a5d1	Fix #3753 - resolve self-references in trait as statements earlier	2020-07-05 12:05:25 -04:00
Brown	95bf7f835b	Improve handling of array_map, faking out calls where nececssary	2020-06-25 13:05:34 -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	8c5a434dc8	Allow updating array by reference	2020-06-15 14:45:08 -04:00
Brown	9bfe50b20a	Always analyse cast expressions ... Fixes #3577	2020-06-12 17:25:46 -04:00
Brown	118b700436	Simplify sink mapping for internal calls	2020-05-25 13:10:06 -04:00
Brown	8632cdb3cd	Improve taint tracking during scanning phase	2020-05-22 12:33:48 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Brown	8e5b330c5a	Break apart CallAnalyzer	2020-05-18 22:57:00 -04:00