597 Commits

Author	SHA1	Message	Date
Matthew Brown	a31ef0ae5f	Always save property assignments for analysis	2017-02-12 13:25:59 -05:00
Matthew Brown	2ecffbdd6f	Always check methods with global scope	2017-02-12 13:16:40 -05:00
Matthew Brown	2f2b487236	Fix #96	2017-02-12 12:31:39 -05:00
Matthew Brown	59fa0977f9	Do not panic when encountering errant global var	2017-02-12 12:23:05 -05:00
Matthew Brown	8e7ab59e2b	Add return types for core vars	2017-02-12 12:22:39 -05:00
Matthew Brown	7876c7ffb9	Allow mixed to override null in byref assignment	2017-02-12 11:34:07 -05:00
Matthew Brown	1029e68341	Allow TNamedObject to be coerced to TObject	2017-02-12 00:50:37 -05:00
Matthew Brown	bb9221ba01	Analyze die/exit expressions	2017-02-11 19:42:12 -05:00
Matthew Brown	f32fabd798	Remove dead code	2017-02-11 19:30:06 -05:00
Matthew Brown	8ff6634e7b	Add issue for possibly unused variables in public/private methods ... also changed a lot of access	2017-02-11 18:56:38 -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	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	1d6c441d16	Use a more fault-tolerant version of php-parser	2017-02-10 21:27:12 -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	0d2581f961	Fix possibility of break when getting property in quick evaluation	2017-02-10 18:45:11 -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	04d9854ce0	Don’t check function return types if it has template types	2017-02-09 22:54:06 -05:00
Matthew Brown	5e8a40a5a1	Merge pull request #94 from vimeo/template-tags ... Add support for templating	2017-02-09 20:51:23 -05:00
Matthew Brown	98b0ed280c	Add support for templating	2017-02-09 20:35:17 -05:00
Matthew Brown	41f7dc4a52	Fix #93 - fix MethodSignatureMismatch checks on builtin class methods	2017-02-09 17:49:13 -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	6934b8ee45	Do not emit signature error for constructors	2017-02-08 21:19:47 -05:00
Matthew Brown	5cbd25fccc	Allow generator to be used as a traversable	2017-02-08 20:58:50 -05:00
Matt Brown	8cd83a581a	Also unset possibly-in-scope vars	2017-02-08 11:27:06 -05:00
Matthew Brown	64cbe005f3	Remove more false positives	2017-02-08 02:23:41 -05:00
Matthew Brown	cedb70b0b4	Reduce false positives for unused variables	2017-02-08 01:59:49 -05:00
Matthew Brown	89a5f109e8	Fix method reference	2017-02-08 00:42:53 -05:00
Matthew Brown	cdcacc395d	Rename DeadCode to UnusedVariable, UnusedMethod and UnusedClass	2017-02-08 00:28:26 -05:00
Matthew Brown	65ef5ba8b7	Improve native understanding of docblock-less variadics	2017-02-07 22:02:46 -05:00
Matt Brown	34980fc718	Remove dead code and fix config.xsd	2017-02-07 18:27:28 -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
Matt Brown	ba4f47a41c	Config for caching file hashes during run	2017-02-02 12:39:39 -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	5ec2a9742b	Fix union type simplification of float|int eradicating int	2017-02-01 19:39:40 -05:00
Matthew Brown	1051ba9fc1	Wait to evaluate property defaults until analysis	2017-02-01 18:27:24 -05:00
Matthew Brown	76b6bc9b3d	Prevent Psalm from storing unnecessary checkers	2017-02-01 18:11:00 -05:00
Matthew Brown	e925e8b4db	Fix #86 - remove empty array from type on !empty check	2017-02-01 13:51:26 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	eeccf791ad	Add unused method & unused class analysis ref #80	2017-01-31 20:47:16 -05:00
Matt Brown	004fd42062	Fix #83 - add support for stubbing	2017-01-31 19:21:33 -05:00