3540 Commits

Author	SHA1	Message	Date
Matt Brown	d532133325	Add support for Stringable	2020-10-04 00:17:16 -04:00
Matt Brown	ec3501b244	Ensure PHP 8 continuation of 7.4 method signature features	2020-10-03 23:34:29 -04:00
Matt Brown	8f490f0f88	Skip faulty documentation key	2020-10-03 23:22:26 -04:00
Matt Brown	1a11897849	4.x - add support for the nullsafe operator	2020-10-03 20:21:52 -04:00
Matt Brown	6a91c2f70e	Fix @no-named-arguments more	2020-10-02 21:09:37 -04:00
Matt Brown	63a11bae15	4.x - Support named arguments ... Ref #4089	2020-10-02 20:27:01 -04:00
Matt Brown	2cd306b75c	Promoted properties are always initialized	2020-10-02 19:44:58 -04:00
Matt Brown	211553c53f	Support property type promotion ref #4089	2020-10-02 18:31:32 -04:00
Matt Brown	c9e47450a7	Fix #4266 - prevent OOM when analysing closure unioned with invokable class	2020-10-02 00:47:42 -04:00
Matt Brown	6ad5e1c013	Fix #4264 - prevent crash when analysing file with duplicate classes	2020-10-01 15:07:25 -04:00
Matt Brown	fc001cdf65	Treat func_get_args as using function params	2020-09-30 13:08: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
Matt Brown	169b2b7023	Fix analysis when there’s a break in a loop after a reassignment	2020-09-30 00:04:07 -04:00
Brown	19f88a2e31	Add improvements from unused variable checks	2020-09-28 00:45:02 -04:00
Brown	4b401f0a77	Add more unused variable tests	2020-09-27 18:12:53 -04:00
Brown	1afbce82ca	Ensure loop marks vars as possibly assigned	2020-09-27 17:50:48 -04:00
Bruce Weirdan	d9776aa710	Fixes crash due to class/filename mismatch (#4247) ... Introduced in 56cddd16bf	2020-09-26 13:31:38 -04:00
Brown	4f28b38556	Fix unused var in finally false-positive	2020-09-25 10:20:22 -04:00
Brown	c17bacd682	Prevent duplicate switch return types	2020-09-25 09:45:20 -04:00
Brown	ea08e0c613	Fix test result	2020-09-25 08:42:27 -04:00
Brown	da65a4327f	Move taint graph functionality into its own object	2020-09-25 00:37:40 -04:00
Brown	d879b4d199	Add more tests for unused variables	2020-09-25 00:14:27 -04:00
orklah	37a2f8a33d	unused use statements (#4228)	2020-09-22 01:10:46 -04:00
Brown	b501db6dd2	Skip currently-failing undefined variable test	2020-09-21 16:01:14 -04:00
Brown	3e0f449163	Detect more issues inside finally block	2020-09-21 15:16:19 -04:00
Brown	56cddd16bf	Rename TaintGraph to ControlFlowGraph because it’s about to do more	2020-09-20 23:59:52 -04:00
Brown	6334c50c07	Add back necessary suppression	2020-09-20 21:25:35 -04:00
Brown	ef612ea598	Fix tests	2020-09-20 20:58:34 -04:00
Brown	5c23a3d7b3	Localise taint analysis better	2020-09-20 19:26:49 -04:00
Brown	abb9502921	Rename Taint object to TaintGraph	2020-09-20 18:27:02 -04:00
orklah	7093253eea	fix test on windows (#4225)	2020-09-20 13:00:30 -04:00
orklah	24a38f21ce	Use array destructuring when possible (#4221) ... * list usage * fix inversion	2020-09-20 12:55:38 -04:00
Brown	ef3cf67f50	Fix #4198 - make analysis of class-string property assignments more robust	2020-09-20 09:18:35 -04:00
orklah	cb7065ae07	replace deprecated methods with their equivalent (#4217)	2020-09-20 08:56:49 -04:00
orklah	b19f0a7034	Remove empty() and use strict comparison when safe (#4211) ... * replace empty usage with stricter checks * use strict comparison when safe * replace is_null with === null for consistency	2020-09-19 18:26:51 -04:00
Brown	0ae436d335	Fix a couple of false-positive redundant conditions	2020-09-19 18:12:14 -04:00
Brown	941643ca59	Fix tests	2020-09-19 17:04:35 -04:00
Brown	72d1d799b1	Fix #4208 - array with possibly-undefined keys isn‘t really sealed	2020-09-19 15:46:54 -04:00
Brown	f973937aec	Fix #4209 - allow hinting arrow function return type	2020-09-19 14:59:19 -04:00
Brown	a8a2a4cb66	Fix #4210 - fix __invoke declaration tracing	2020-09-19 14:18:52 -04:00
Brown	0b209864fe	Improve accuracy of array_filter	2020-09-14 13:31:53 -04:00
Brown	8d7fe83e2a	Improve array_merge return type	2020-09-14 13:06:15 -04:00
Brown	1f3215d36b	Support more array intersections in type parsing	2020-09-14 12:13:33 -04:00
Brown	17a0ecb60e	Fix regression – detect unused params with defaults again	2020-09-14 10:58:36 -04:00
Brown	79f4e9c354	Do no writing when saving parser cache in tests	2020-09-14 09:56:39 -04:00
Brown	77e84b3817	Fix a few more things	2020-09-13 23:28:31 -04:00
Brown	c4450b930c	Fix various things	2020-09-13 22:39:03 -04:00
Brown	3f911662f7	Fix stub test	2020-09-13 22:13:39 -04:00
Brown	56bae3b587	Add check for strpos dictionaries ... Ref #4070	2020-09-13 21:42:44 -04:00
Brown	8f8dbfbd72	Fix #4122 - detect yield in function arguments	2020-09-13 17:13:26 -04:00