191 Commits

Author	SHA1	Message	Date
Matthew Brown	35e4b380cc	Add collection of PossiblyNull* issues	2017-02-11 17:55:08 -05:00
Matthew Brown	dbddedb20b	Don’t create objectlike if we some properties are untyped	2017-02-10 23:35:34 -05:00
Matthew Brown	14c487d3e6	Always supply default template params as return type	2017-02-10 22:51:47 -05:00
Matthew Brown	9b3b536254	Fix issue where self::$property_name doesn’t use Context self	2017-02-10 20:41:18 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matt Brown	2c1622e7de	Find more unreferenced variables by ignoring mass context ops	2017-02-10 19:08:55 -05:00
Matt Brown	c0a6fc9125	Fix #90 - add genericised stubs for common array functions	2017-02-10 18:12:59 -05:00
Matthew Brown	8ffd45407c	Add support for namespaced templates	2017-02-10 00:14:44 -05:00
Matthew Brown	4a82c0a09a	Add support for nested types in templates	2017-02-09 22:57:23 -05:00
Matthew Brown	98b0ed280c	Add support for templating	2017-02-09 20:35:17 -05:00
Matthew Brown	585cf91ef0	If using assertions for type, count as a soft type check	2017-02-08 22:17:16 -05:00
Matthew Brown	cedb70b0b4	Reduce false positives for unused variables	2017-02-08 01:59:49 -05:00
Matthew Brown	cdcacc395d	Rename DeadCode to UnusedVariable, UnusedMethod and UnusedClass	2017-02-08 00:28:26 -05:00
Matt Brown	f4857eb0dd	Make dead code check emit an issue	2017-02-07 18:18:33 -05:00
Matt Brown	6b2bb7d917	Store first code location for all variables in a statement list	2017-02-07 18:09:12 -05:00
Matthew Brown	01beb97413	Fix #87 - array types from docblocks can be reasoned about safely	2017-02-03 22:07:14 -05:00
Matthew Brown	11859e9cc0	Bump PhpParser version	2017-02-03 20:14:48 -05:00
Matthew Brown	0fbf8b5619	Remove more dead code	2017-02-02 00:45:23 -05:00
Matthew Brown	ec65f31aaa	Improve dead code analysis and fix errors found	2017-02-02 00:20:58 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matt Brown	004fd42062	Fix #83 - add support for stubbing	2017-01-31 19:21:33 -05:00
Matthew Brown	ce93c4ef2d	Assert smart things when offset is variable	2017-01-31 01:35:44 -05:00
Matthew Brown	7f8a3d798e	Improve clause resolution in while loops	2017-01-31 01:30:11 -05:00
Matthew Brown	965a79251d	Fix #82 by updating how isset calls are handled	2017-01-31 00:34:06 -05:00
Matthew Brown	7d912fc214	Remove vars when they’ve been changed	2017-01-30 22:26:41 -05:00
Matthew Brown	1ece3071f9	Add reference counting for methods and remove dead code	2017-01-29 23:44:05 -05:00
Matthew Brown	d978966db4	Fix #37 - check parent calls for staticness	2017-01-29 22:13:53 -05:00
Matthew Brown	aaec895e15	Do not stop dead when a property cannot be evaluated	2017-01-28 16:12:04 -05:00
Matthew Brown	a9203b63f8	Allow phan-like use of assert	2017-01-28 15:17:14 -05:00
Matthew Brown	199686c4db	Add back local vars when descending into method call	2017-01-28 03:55:19 -07:00
Matthew Brown	4c3dacbbed	Prevent erroneous __toString conversion in method check	2017-01-27 18:06:11 -07:00
Matthew Brown	6bcc763414	Fix #3 by checking inside __constructor calls for initialisations	2017-01-26 23:23:12 -07:00
Matthew Brown	ff46487353	Be more discerning about unaryminus/plus inferred type	2017-01-25 21:50:34 -07:00
Matthew Brown	c14a19370f	Improve UnaryPlus/Minus still more	2017-01-25 20:23:06 -07:00
Matthew Brown	f03807e7b7	Fix unaryplus/minus type inference	2017-01-25 20:02:19 -07:00
Matthew Brown	ea63fd7ae3	Fix #75 - allow inteeger offsets for object-like arrays	2017-01-25 00:11:24 -07:00
Matthew Brown	0da9c10d36	Don’t complain when adding array and object-like array	2017-01-23 15:40:55 -07:00
Matthew Brown	374dc65de1	Fix #39 by checking for ArrayAcces interface	2017-01-20 00:23:58 -05:00
Matthew Brown	894b25487f	Fix #71 - prevent instantiation of abstract classes	2017-01-20 00:10:10 -05:00
Matt Brown	d0207b6098	Check that class exists before checking for ArrayAccess inheritors	2017-01-19 19:02:00 -05:00
Matt Brown	a67800cac7	Ignore cloning of mixed variables	2017-01-19 15:00:05 -05:00
Matt Brown	7116585e85	Be more robust when ignoring UndefinedClass errors	2017-01-19 11:45:25 -05:00
Matt Brown	a2750a92aa	Evaluate loop part of for after body	2017-01-18 17:13:20 -05:00
Matthew Brown	e78e710eef	Be more resilient in the face of class_exists checks	2017-01-17 23:34:17 -05:00
Matt Brown	dae7718ae8	Support array_combine types and introduce a MoreSpecificReturnType issue	2017-01-17 11:17:49 -05:00
Matthew Brown	e4769fd04a	Don’t give up when faced with variadic type	2017-01-17 00:07:58 -05:00
Matthew Brown	3cdb1753d5	Update to the more accurate TypeChecker::isContainedBy	2017-01-16 20:00:51 -05:00
Matthew Brown	9220b958eb	Fix phpcs errors	2017-01-16 19:06:39 -05:00
Matthew Brown	b3726c9de5	Use getcwd() for the project’s base, not the config file parent directory	2017-01-16 18:33:04 -05:00
Matthew Brown	e3a9cb98c3	Add extra issue for invalid clone and fix issue reporting;	2017-01-16 12:59:09 -05:00