3737 Commits

Author	SHA1	Message	Date
Matthew Brown	9c616aa5c6	Remove pure function calls when removing unused variables	2019-08-16 23:19:52 -04:00
Brown	d236c2d5f1	Fix use of $method_id	2019-08-16 11:48:32 -04:00
Brown	43041836dd	Fix #2026 - add support for calling __toString implicitly after method_exists	2019-08-16 11:33:58 -04:00
Brown	236a7ffd15	Fix #2027 - fix improperly retained callable check	2019-08-16 10:32:03 -04:00
Brown	538abbc54c	Fix #2020 - allow static::CONST_NAME to have non-mixed type in final class	2019-08-15 10:41:30 -04:00
Pavel Batečko	3e549e275b	Type $matches as an array if non-zero flags are passed to preg_match() (#2022) ... * Type $matches as an array if non-zero flags are passed to preg_match() * Add tests for preg_match() function call	2019-08-15 10:28:03 -04:00
Brown	a4d57e5524	Fix #2018 - prevent fatal error on class_aliased class reference	2019-08-15 10:17:27 -04:00
Brown	86264a736b	Fix dumb change	2019-08-15 10:07:31 -04:00
Brown	57386ab26e	Fix #2023 - no UnusedVariable complaint when method is undefined	2019-08-15 09:51:40 -04:00
Brown	e25ce152d6	Fix #2014 - prevent unusedvariable false positive when redefined in assignment ||	2019-08-15 09:43:43 -04:00
Brown	3d01708c6c	Improve backtrace of property-involved issues	2019-08-14 11:47:58 -04:00
Brown	e92896f145	Fix taint records	2019-08-14 09:52:59 -04:00
Matthew Brown	01c876e9cb	Remove stray comma	2019-08-14 00:50:35 -04:00
Matthew Brown	600999a3a8	Add better typing	2019-08-14 00:47:57 -04:00
Brown	c3949e3194	Improve taint protection for exec-related commands	2019-08-13 19:18:50 -04:00
Brown	2b2988b072	Fix #2019 - allow union in @throws	2019-08-13 15:44:18 -04:00
Brown	d6e084ec9c	Remove false-positive for callmap function arg	2019-08-13 14:53:31 -04:00
Brown	55cfbdcd5f	Fix erroneous complaint for str_replace	2019-08-13 14:26:25 -04:00
Brown	0468d11158	Detect function in array access op	2019-08-13 14:07:45 -04:00
Brown	da230bc9f1	Change the type of @throws error to UndefinedDocblockClass	2019-08-13 13:41:12 -04:00
Brown	3ff2a64e16	Don’t complain about untyped properties missing constructors	2019-08-13 13:38:15 -04:00
Brown	b5614d03f8	Add detection for unused function calls	2019-08-13 13:15:23 -04:00
Matthew Brown	7533949667	Preserve taintedness of str_replace	2019-08-13 08:07:16 -04:00
Matthew Brown	a4b9b7311b	Improve message a bit	2019-08-12 23:58:40 -04:00
Matthew Brown	ef3771d643	Fix #2015 - complain about invalid @throws classes	2019-08-12 23:42:51 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00
Brown	58b6d8bed4	Fix #2012 - count(callable-array) is fine and always equals 2	2019-08-12 16:17:55 -04:00
Brown	10b8a94564	Fix #2007 - improve unused variable detection in always-entered loops	2019-08-12 16:01:24 -04:00
Brown	669b50e8b4	Fix erroneous callable parsing	2019-08-12 15:04:43 -04:00
Brown	4046b44903	fix #2010 - properties with defaults should work with static type	2019-08-12 14:29:14 -04:00
Matthew Brown	62451762fa	Preserve type params when negating array on iterable type ... Fixes #2005	2019-08-12 00:44:26 -04:00
Matthew Brown	2ed28764d6	Break apart negated assertion reconciler to be more manageable	2019-08-12 00:37:55 -04:00
Matthew Brown	d3f924a49e	Fix #2004 - remove useless unset	2019-08-11 17:17:03 -04:00
Tyson Andre	f1de94967b	Allow class constant names to begin with lower-case (#2002) ... Followup to e58ade5803	2019-08-11 17:13:56 -04:00
Tyson Andre	b88fe2cfe0	Fix typos (#2003)	2019-08-11 17:13:43 -04:00
Matthew Brown	7ed30cd5b0	Add support for @readonly annotation	2019-08-11 16:01:37 -04:00
Matthew Brown	6397421215	Return mixed in special case	2019-08-11 08:27:56 -04:00
Matthew Brown	fac7df2ee0	Explicitly mixed properties need not be initialised	2019-08-11 00:25:30 -04:00
Matthew Brown	7c6b1581d3	Add warnings about uninitialised properties to mixed as well	2019-08-11 00:22:28 -04:00
Matthew Brown	e32b92be6b	Fix #1986 - do better inference after isset on array offsets	2019-08-10 23:22:48 -04:00
Matthew Brown	585fffaa1f	Refine previous fix	2019-08-10 17:25:07 -04:00
Matthew Brown	1586cb249d	Add protection for leaky assertions	2019-08-10 16:58:57 -04:00
Matthew Brown	034799773d	Remove unused var	2019-08-10 14:45:43 -04:00
Matthew Brown	af0331c251	Fix #1997 - fix reconciliation of arrays and traversables	2019-08-10 14:39:14 -04:00
Matthew Brown	60c0133fff	Break apart reconciler	2019-08-10 13:22:21 -04:00
Matthew Brown	3cf160cbe9	Separate out assertion negation reconciliation	2019-08-10 12:04:16 -04:00
Matthew Brown	3f78082720	Fix is_string call	2019-08-10 09:16:32 -04:00
Matthew Brown	460120ec45	Fix #1994 - make assert-if-true work for $this properties	2019-08-10 09:12:02 -04:00
Brown	5254b7501e	Fix #1996 - detect unused variable in static property name	2019-08-09 12:55:47 -04:00
Gert de Pagter	5b2f54bbcb	Allow setLocale to have 0 or null as parameters (#1993)	2019-08-09 08:41:28 -04:00