157 Commits

Author	SHA1	Message	Date
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	83edf8c4db	Complete the circle – fix remaining type algebra issue	2017-04-01 19:04:49 -04:00
Matthew Brown	676c01ed2e	Fix nullref	2017-03-20 02:23:54 -04:00
Matthew Brown	066b1e011e	Prevent creating empty objectlike	2017-03-20 02:05:58 -04:00
Matthew Brown	cb2ed860fb	Make sure to invalidate clauses in all parent contexts when asserting	2017-03-18 15:24:14 -04:00
Matthew Brown	18af05fbd9	Do not stop at magic setter when property referenced locally	2017-03-18 15:00:01 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00
Matt Brown	f9f38f283e	Emit issue when property type is not defined	2017-03-02 12:19:18 -05:00
Matthew Brown	18b5617443	Prevent duplicate lookup of functionstorage	2017-03-02 00:00:31 -05:00
Matthew Brown	5cd1b6735f	Add even more references in docblocks	2017-03-01 22:27:52 -05:00
Matt Brown	864d242f13	Improve labelling of referencing expressions	2017-03-01 11:56:36 -05:00
Matt Brown	518184f388	Don’t do a full class check where not necessary	2017-02-28 11:00:32 -05:00
Matt Brown	4f597a4068	Fix references	2017-02-27 16:38:43 -05:00
github@muglug.com	07c9cfb848	Check template typeof class references	2017-02-27 16:35:24 -05:00
Matt Brown	729954573b	Allow generics to work even if variables not checked	2017-02-27 11:07:44 -05:00
Matt Brown	ac1a45f129	Fix erroneous error message	2017-02-27 10:53:32 -05:00
Matt Brown	7baf942eaa	Prevent false positives after extract call	2017-02-27 10:52:43 -05:00
Matthew Brown	d9433c9491	Add way to find all references to a given class or method in the codebase	2017-02-27 01:30:44 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matt Brown	0049e4deb4	Fix #105 and also the issues found in its wake	2017-02-23 19:36:51 -05:00
Matthew Brown	fa3b292fd4	Fix #101 - restrict the values of pass-by-ref variables	2017-02-23 00:25:28 -05:00
Matthew Brown	12cb72ae4b	Prevent recursion when checking for initialisations	2017-02-22 00:51:34 -05:00
Matthew Brown	9137727993	Fix #99 - treat null coalesce more respectfully	2017-02-17 20:50:47 -05:00
Matthew Brown	9579460c59	Fix #97 - is_callable shouldn’t prevent evaluation of calls to existing functions	2017-02-16 20:51:53 -05:00
Matthew Brown	32dd5d5512	Be better about dealing with byref args when not checking functions	2017-02-15 01:47:03 -05:00
Matthew Brown	1001e03f8a	Prevent empty typeof types	2017-02-12 19:51:48 -05:00
Matthew Brown	4f43a7eccb	Fix possible nullref	2017-02-12 19:31:35 -05:00
Matthew Brown	1d09616e9d	Prevent template types from leaking when no generics are provided	2017-02-12 19:26:23 -05:00
Matthew Brown	9061d36566	Don’t emit InvalidArrayAccess if ignoring null arrays	2017-02-12 17:13:03 -05:00
Matthew Brown	2f2b487236	Fix #96	2017-02-12 12:31:39 -05:00
Matthew Brown	f32fabd798	Remove dead code	2017-02-11 19:30:06 -05:00
Matthew Brown	deb11c9402	Change some errors from InvalidReturnType to MoreSpecificReturnType	2017-02-11 18:25:44 -05:00
Matthew Brown	35e4b380cc	Add collection of PossiblyNull* issues	2017-02-11 17:55:08 -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	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
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