570 Commits

Author	SHA1	Message	Date
Pavel Batečko	dc78e9c57b	Update password function types for PHP 7.4 (#2396) ... * Support NULL predefined constants * Fix #2395 - update password_hash() and password_needs_rehash() types for PHP 7.4 * Change $fq_const_name check so it still uses isset	2019-11-29 09:30:01 -05:00
Matthew Brown	4052e6dfac	Allow isset to check for property initialisation ... Ref #2382	2019-11-28 09:12:17 -05:00
Matthew Brown	113bf921f6	Add support for arrow function inference	2019-11-27 10:12:59 -05:00
Matthew Brown	4334ddcaa3	Fix style	2019-11-27 02:11:18 -05:00
Matthew Brown	3f2d57c7a3	Fix #2379 - support spread array RFC	2019-11-27 02:07:17 -05:00
Matthew Brown	c75f7dc4d5	Fix #2339 - add support for null coalescing operator	2019-11-27 00:34:23 -05:00
Brown	f97a8f0d5b	Use more accurate way to determine list size	2019-11-26 16:34:19 -05:00
Brown	5626058eff	Fix #2374 - refine error-suppressed output a little better	2019-11-25 15:38:54 -05:00
Brown	96c4eeec98	When calling magic method clone node info	2019-11-25 13:08:38 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	81f513bb4c	Fix #2358 - always analyse new XXX(...) in unknown method calls	2019-11-18 16:14:21 -05:00
Matthew Brown	2369bac943	Preserve self refs where possible	2019-11-16 19:59:08 -05:00
Matthew Brown	7d7d4dd926	Fix style stuff	2019-11-15 21:47:53 -05:00
Brown	55bf6a2db3	Migrate static return types	2019-11-15 16:50:43 -05:00
Brown	4747ba709a	Migrate more things	2019-11-15 15:34:25 -05:00
Brown	5e17a9af10	Fix #2348 - ensure all functions and methods return some type	2019-11-14 14:44:29 -05:00
Matthew Brown	5fabf41c8e	Check for not-callable return value	2019-11-14 07:57:22 -05:00
Brown	00be4c2071	Mark var as unused	2019-11-13 15:06:22 -05:00
Brown	c9e7dcfa92	Fix false positive UnusedVariable	2019-11-13 14:32:27 -05:00
Brown	7516b7b0cf	Fix #2336 - detect used variable in mixed array offset	2019-11-13 13:38:34 -05:00
Brown	7b719915f5	Fix style things	2019-11-12 10:21:27 -05:00
Brown	7f5af741f7	Improve assertion calculation on mixed vars	2019-11-12 10:12:07 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Brown	af5f83602e	Break out more specific possibly defined offset errors	2019-11-11 09:59:56 -05:00
Matthew Brown	94d4b876ba	Fix #2177 - mark variables in try block as potentially undefined	2019-11-09 12:25:30 -05:00
Brown	895737d8be	Fix style	2019-11-08 12:49:53 -05:00
Brown	ac6256e645	Fix #2312, improve understanding of template replacement	2019-11-08 11:56:41 -05:00
Joram Schrijver	c97ba8f713	Implement type-checking and forbidding for print (#2314) ... * Add type-checking for print * Allow print to be forbidden	2019-11-08 07:01:34 -05:00
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -05:00
Brown	06b64a4a01	Detect erroneous use of empty check on bools	2019-11-06 16:14:46 -05:00
Brown	3e98c800ec	Fix #2309 - prevent closure-inferred generic template params overwriting parent ones	2019-11-06 13:13:02 -05:00
Brown	a8ed6ba9c4	Fix #2308 - prevent specialisation from bound params	2019-11-06 11:20:51 -05:00
Matthew Brown	d7e435c352	Add slashes	2019-11-05 19:08:16 -05:00
Matthew Brown	050045209f	Only allow string offset assignment when offset is integer	2019-11-05 19:05:43 -05:00
Matthew Brown	cbaf050bd2	Fix #2307 - allow setting of array string offset	2019-11-05 19:03:59 -05:00
Brown	1f42843d42	Fix #2296 - use case insensitive closure ids	2019-11-04 14:48:02 -05:00
Matthew Brown	5faebe2674	Fix templated assertion handling for static methods	2019-11-04 05:31:45 -05:00
Matthew Brown	8f421dc0bb	Refactor template calculation out from Psalm\Type\Union	2019-11-03 21:27:40 -05:00
Matthew Brown	050eb82f04	Fix #2290 - detect call on void type	2019-11-01 13:05:28 +00:00
Brown	8876499ddd	Fix #2252 - allow destructuring of ArrayAccess objects	2019-10-22 11:17:42 -04:00
Brown	353cf2351e	Fix #2259 - if error suppression is use, list destructuring values will be nullable	2019-10-22 10:40:37 -04:00
Tyson Andre	94636476d2	Fix checking if union type with mixed is nullable (#2253) ... Fixes #2249	2019-10-20 17:06:59 -04:00
Matthew Brown	22e35a7233	Improve message for mixed method call	2019-10-20 11:13:23 -04:00
Matthew Brown	0a35c9cd6a	Remove unnecessary computation	2019-10-19 23:03:59 -04:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Matthew Brown	9115ffd237	Fix #2215 - refine closure type if it doesn’t clash	2019-10-15 20:34:41 -04:00
Brown	b29227aaf6	Allow taints to be removed via annotation	2019-10-15 16:25:27 -04:00
Brown	22a12444df	Fix #2220 - detect destructuring of non-array	2019-10-15 13:55:30 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	8c6b234c2c	Improve speed of taint analysis	2019-10-13 20:10:31 -04:00