284 Commits

Author	SHA1	Message	Date
Matthew Brown	18cf05e087	Always keep track of assigned var ids	2017-11-25 11:21:45 -05:00
Matthew Brown	4312ef380b	Fix issues found by improved Psalm checks ... cc @TysonAndre, found with RedundantCondition checks	2017-11-24 12:10:30 -05:00
Matt Brown	60c9f1ca96	Ignore socket_select when assigning byref params	2017-11-20 17:34:32 -05:00
Matt Brown	a069cf4ea9	Don‘t turn a string into an array|string by accident	2017-11-20 17:10:05 -05:00
Matt Brown	0c2ea418e3	Fix #327 - prevent null array value from killing assignment	2017-11-20 16:19:40 -05:00
Matt Brown	f46fd0b79f	Fix array access on objects	2017-11-20 11:49:26 -05:00
Matthew Brown	957600623c	Fix issue with byref template params leaking	2017-11-20 00:12:17 -05:00
Matthew Brown	ccc0583bf8	Fix issue with bad assign after array_pop/array_shift	2017-11-19 23:46:32 -05:00
Matthew Brown	5698b2d363	Update root var with more accurate object-like type	2017-11-19 22:28:52 -05:00
Matthew Brown	90bcd99eab	Fix issue where array_shift/array_pop didn’t mark array as modified	2017-11-19 21:36:09 -05:00
Matthew Brown	8b2df09f0f	Fix issue with object-like reassignment	2017-11-19 21:24:29 -05:00
Matthew Brown	3418eb494a	Always set a fallback mixed type on a mixed property fetch	2017-11-19 14:58:48 -05:00
Matthew Brown	8d62fc8ad1	Only update array type if it doesn’t have an object	2017-11-19 14:38:00 -05:00
Matthew Brown	f18616b2f9	Provide fallback if array keys not found	2017-11-19 14:23:39 -05:00
Matthew Brown	95429b7037	Fix invalid assignment to Union	2017-11-19 14:09:20 -05:00
Matthew Brown	942bc0a663	Add new MixedTypeCoercion issue, fixes #320	2017-11-19 13:42:48 -05:00
Matthew Brown	5ff4badf33	Refactor array analysis to improve reliability and accuracy (#325)	2017-11-19 12:33:43 -05:00
Matt Brown	39baa00fd3	Fix issue with nested object-like array updating	2017-11-17 16:33:36 -05:00
Tyson Andre	1c25ca1a0c	Fix false positives, add tests of @psalm-seal-properties (#318)	2017-11-17 16:19:48 -05:00
Matt Brown	2a96e323e7	Fix assignment to arrays after object-like	2017-11-17 12:27:16 -05:00
Matt Brown	3f324141ef	Fix error message when changing keys	2017-11-17 11:43:06 -05:00
Matt Brown	6710fd4231	Fix double mixed issue with array offsets	2017-11-17 11:32:12 -05:00
Matthew Brown	a08306973a	Fix #302 - add a way to seal objects with magic properties	2017-11-16 20:47:58 -05:00
Matthew Brown	7d33db0d19	Fix issue with array unification after scanning	2017-11-16 01:11:46 -05:00
Matthew Brown	36a760657d	Fix #311 and introduce PossiblyInvalidArrayOffset	2017-11-16 00:27:11 -05:00
Matthew Brown	6c9cdd896b	Separate InvalidArrayAccess and InvalidArrayOffset	2017-11-15 21:10:07 -05:00
Matthew Brown	abe7c003ab	Fix #309 - borrowing fix from @TysonAndre	2017-11-15 20:45:53 -05:00
Matt Brown	a99135c4d0	Fix #300 - add PossiblyInvalidPropertyFetch	2017-11-15 11:44:13 -05:00
Matt Brown	c5faa2d06a	Fix #299 - add PossiblyInvalidMethodCall	2017-11-15 11:34:40 -05:00
Matt Brown	9111b1c725	Fix #301 - add PossiblyInvalidPropertyAssignment	2017-11-15 11:15:03 -05:00
Matthew Brown	3ade4b9559	Fix #293, be case invariant to self & static	2017-11-14 21:56:29 -05:00
Matthew Brown	b2ae9a2892	Fix #291, #292 and #297 by improving docblock parsing	2017-11-14 21:43:31 -05:00
Tyson Andre	d9a142ac7d	Fix incorrect strpos argument order (#287) ... Detected via static analysis	2017-11-11 21:48:43 -05:00
Matthew Brown	a0a9128375	Fix #285 - add PossiblyInvalidArrayAccess	2017-11-11 21:22:11 -05:00
Matthew Brown	4f2a200b45	Fix #283 - add more refined PossiblyUndefinedMethod check	2017-11-11 14:53:35 -05:00
Matthew Brown	0ea48752d1	Fix #284 - allow __get calls inside class if property undefined	2017-11-11 01:17:10 -05:00
Matt Brown	59265ef2bf	Fix #276 - fix false positive in magic call	2017-11-10 18:08:26 -05:00
Matthew Brown	765d82548d	Remove more dead code	2017-11-08 23:27:51 -05:00
Tyson Andre	b3505cfbef	Get rid of unused variables in psalm's codebase (#272) ... * Remove unused variables * Fix more unused variables * Fix remaining detected undefined variables Other 20 detected undefined variable warnings were false positives.	2017-11-08 23:14:27 -05:00
Matt Brown	750d18d20a	Fix #266 - do better analysis of array_rand ... And also have better fallback when accessing string key on object-like array	2017-11-07 17:38:54 -05:00
Matt Brown	490e78e136	Add isset check for safety	2017-11-06 15:42:39 -05:00
Matt Brown	97de8f7684	Allow Psalm to check static call LHS vars	2017-11-06 15:37:49 -05:00
Matt Brown	4b573bde1f	Fix get_class($e) !== checks	2017-11-06 12:04:38 -05:00
Matt Brown	81493a639e	Add more robust property assignment when property not defined	2017-11-03 12:27:01 -04:00
Matt Brown	b163c296ff	Fix templated return types in traits	2017-11-02 15:07:39 -04:00
Matthew Brown	aeb9882281	Add back support for TObject property fetch	2017-10-29 17:44:13 -04:00
Matthew Brown	afc8cb4068	Check for property fetch mocks	2017-10-29 17:33:26 -04:00
Matthew Brown	51280c1670	Allow byref args of socket_select to pass through unchanged	2017-10-28 16:26:45 -04:00
Matthew Brown	24980cd7d7	Constrain user-defined functions and methods	2017-10-28 16:05:35 -04:00
Matthew Brown	45df0292b1	Never constrain by-ref array variables	2017-10-28 15:33:29 -04:00