13545 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matthew Brown	564c4e2bf3	If we see an object type assertion, filter out non-object types	2016-09-11 19:12:56 -04:00
Matthew Brown	554791e6ac	Fix aliased class casing and misc errors	2016-09-09 23:17:56 -04:00
Matthew Brown	9ab0ee45a5	Add a bunch of docblocks	2016-09-09 20:07:36 -04:00
Matthew Brown	288ac91c4a	Add protections	2016-09-09 18:54:24 -04:00
Matthew Brown	f455851f89	Fix bugs in array key checks	2016-09-09 18:36:35 -04:00
Matthew Brown	9bb0b18a62	Update tests to reflect precise array semantics	2016-09-09 16:38:32 -04:00
Matthew Brown	8c5adf477a	Add support for key/value array typing	2016-09-09 16:21:49 -04:00
Matthew Brown	97a8e447d7	Check uses before checking functions	2016-09-02 16:16:11 -04:00
Matthew Brown	750d172917	Prevent nested functions from throwing errors ... And fix fixLocalType when passed var	2016-09-02 13:47:11 -04:00
Matthew Brown	f86c396115	Ignore resources	2016-09-01 20:27:16 -04:00
Matthew Brown	0f5f4c3029	Check functionlike param types	2016-09-01 18:02:09 -04:00
Matthew Brown	99649f2f09	Fix reference errors	2016-09-01 00:07:29 -04:00
Matthew Brown	b40e057090	Add checks for !== true	2016-09-01 00:07:20 -04:00
Matthew Brown	47f66bf4dd	Add support for exposing errors in external files	2016-08-31 23:12:35 -04:00
Matthew Brown	4ccf9cf06f	Do not just return last successful type found	2016-08-31 17:08:04 -04:00
Matthew Brown	b8c5bc4968	proc_open can return false	2016-08-31 15:10:29 -04:00
Matthew Brown	330199c9a3	Add support for callable checks	2016-08-31 15:10:11 -04:00
Matthew Brown	bad1271744	Add more coverage for scalar types	2016-08-31 13:25:29 -04:00
Matthew Brown	f28485ddad	Never set a null $var_name	2016-08-30 15:47:44 -04:00
Matthew Brown	89d04186b1	Add missing isResource method	2016-08-30 00:40:08 -04:00
Matthew Brown	7d11b4b9b0	Add support for numeric types	2016-08-30 00:39:17 -04:00
Matthew Brown	d689996fde	Support all is_* checks	2016-08-30 00:25:15 -04:00
Matthew Brown	8212284675	Map function return types for builtins	2016-08-30 00:05:13 -04:00
Matthew Brown	a441bef349	Add more tests for switch fallthrough	2016-08-30 00:04:54 -04:00
Matthew Brown	4a88a376df	Improve handling of switch and change method name	2016-08-30 00:04:10 -04:00
Matthew Brown	7e018d3c35	Revamp include file reporting	2016-08-24 19:00:44 -04:00
Matthew Brown	1327b9e604	Add better file location recognition for imports	2016-08-24 18:13:22 -04:00
Matthew Brown	e5a6f0d42f	Add support for Closure->callable types	2016-08-24 17:06:41 -04:00
Matthew Brown	4d388d197c	Fix analysis of switch statements	2016-08-24 17:06:20 -04:00
Matthew Brown	7e6d3b90ce	Add more tests to identify regressions	2016-08-24 00:30:55 -04:00
Matthew Brown	0e68179bb4	Pass in the right context	2016-08-24 00:22:38 -04:00
Matthew Brown	212edcd16b	Only warn about undefined this vars once	2016-08-23 23:51:01 -04:00
Matthew Brown	9dc0a088ea	Support while loop property updates	2016-08-23 23:41:06 -04:00
Matthew Brown	f91c0a048d	Avoid nullref when updating properties	2016-08-23 23:39:43 -04:00
Matthew Brown	0e1a969e55	Add a bunch of boilerplate to solve redefining loop vars	2016-08-23 22:09:06 -04:00
Matthew Brown	72e90ddc49	Add more type tests	2016-08-23 20:56:18 -04:00
Matthew Brown	25ed89940d	Re-calculate else context types	2016-08-23 20:56:18 -04:00
Matthew Brown	92aa7217af	Pass in loop context, not specific vars	2016-08-23 18:09:34 -04:00
Matthew Brown	5f4ab230c3	Add more tests	2016-08-22 23:02:17 -04:00
Matthew Brown	6637bb653c	Fix type assignment after empty check	2016-08-22 23:02:03 -04:00
Matthew Brown	e0b9c876fb	Improve logic for updating context	2016-08-22 20:06:28 -04:00
Matthew Brown	bac747d563	Add slight refinement	2016-08-22 19:45:34 -04:00
Matthew Brown	2cba7a83bf	Do not investigate null types	2016-08-22 19:29:06 -04:00
Matthew Brown	a4a1fd9557	Explicitly return array of strings for explode	2016-08-22 18:09:52 -04:00
Matthew Brown	093c5447ae	Avoid unnecessary interface casing errors	2016-08-22 16:41:45 -04:00
Matthew Brown	5d610b222a	Fix off-by-one error	2016-08-22 15:43:08 -04:00
Matthew Brown	3b5909804d	Fix ref errors	2016-08-22 15:42:05 -04:00
Matthew Brown	6edc120704	Add checking of function arguments	2016-08-22 15:00:12 -04:00
Matthew Brown	b1c525bef0	Also inspect array_merge	2016-08-18 17:36:54 -04:00
Matthew Brown	39b4cb54b3	Add array_filter type reflection	2016-08-18 16:51:10 -04:00