259 Commits

Author	SHA1	Message	Date
Brown	937eb42e8b	Do not override parent return type	2019-03-28 10:43:49 -04:00
Matthew Brown	bd6fea0d57	Fix #1514 - catch static interface call	2019-03-28 08:22:44 -04:00
Matthew Brown	e9afd3a6f3	Examine arrays in unknown function calls	2019-03-27 22:13:06 -04:00
Matthew Brown	63a0e768b3	Improve type coverage in both good and bad ways	2019-03-25 22:30:40 -04:00
Brown	783f028f70	Fix #1498 - use template types from parent function	2019-03-25 11:25:43 -04:00
bugreportuser	8b12751007	Keep track of throw code locations	2019-03-24 23:03:37 -04:00
Tyson Andre	2e6a2f14ed	Fix typos in psalm with codespell's dictionary	2019-03-24 23:01:20 -04:00
Tyson Andre	fc83f1c3ea	Fix typo: "Arithmentic" -> "Arithmetic"	2019-03-24 23:00:51 -04:00
Matthew Brown	6bcc3d0261	Don’t stop analysing on var_dump	2019-03-23 10:58:26 -04:00
Matthew Brown	ee56419fd6	Improve accuracy and durability of mixed counts	2019-03-23 09:50:47 -04:00
Brown	9cf78e9097	Remove unused var	2019-03-22 19:12:06 -04:00
Brown	c221eccbf5	Tidy up method call analyser	2019-03-22 18:02:33 -04:00
Brown	cacd5a1946	Cast null array key to empty string ... Fixes #1487	2019-03-22 16:45:17 -04:00
Brown	cc568422d8	Fix #1488 - allow inheritance when dummy template exists	2019-03-22 16:29:30 -04:00
Brown	b9ba24929d	Refactor storage of template names to prevent clashes	2019-03-22 15:59:10 -04:00
Brown	ab6ca4dc35	Fix #1491 - allow comparison to typed value	2019-03-21 17:26:10 -04:00
Brown	8d06c6a700	Fix #1480 by remembering where a property was set	2019-03-19 19:43:18 -04:00
Brown	6081c742c5	Fix incorrect InvalidArgument for array value scalar mismatch	2019-03-19 16:45:26 -04:00
Brown	880b07783f	Error should be InvalidScalarArgument	2019-03-19 16:12:38 -04:00
Matthew Brown	472ab29d74	Add PossiblyInvalidCast for more refined checks	2019-03-17 17:10:51 -04:00
Matthew Brown	bf586bf93b	Fix #1471 - report issue with string casting inside string	2019-03-17 16:31:56 -04:00
Matthew Brown	9ee4a7414b	Fix #1461 - check interfaces when analysing abstract method call	2019-03-17 14:16:52 -04:00
Matthew Brown	2f8bfffe95	Fix #1475 but, like, properly this time	2019-03-17 13:50:02 -04:00
Matthew Brown	ca765cba58	Fix errors caused by bad generic param counts ... Fixes #1474	2019-03-17 12:20:57 -04:00
Matthew Brown	de7df3175b	Fix #1368 - improve message formatting	2019-03-16 12:53:54 -04:00
bugreportuser	e31cfa503d	Allow reconciling superglobal types	2019-03-16 12:49:38 -04:00
Matthew Brown	01d6caf6a2	Catch negated instanceof bugs	2019-03-16 12:34:48 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Matthew Brown	ab832207a4	Fix #1453 - traits are not valid classes	2019-03-15 22:12:35 -04:00
Matthew Brown	b82709897a	Fix #1460	2019-03-15 21:50:16 -04:00
Brown	85f34f2aca	Add defining class and increas string length	2019-03-12 12:58:04 -04:00
bugreportuser	0e9fb04f06	Define globals in more places	2019-03-11 15:53:21 -04:00
Matthew Brown	95b986d2d4	Fix #1367 - allow assertions on mixed arrays to define objectlike type	2019-03-10 23:38:30 -04:00
Matthew Brown	848b070946	Fix #1413 - don’t complain about byref use param	2019-03-10 16:36:35 -04:00
bugreportuser	57a4522ee7	Flesh out callable arg types	2019-03-07 23:24:50 -05:00
Matthew Brown	85f0fa6e7d	Add support for literal templated defaults	2019-03-07 22:32:38 -05:00
Brown	5beb26659e	Add special type for SQL select strings for plugins to consume	2019-03-07 14:56:18 -05:00
bugreportuser	b34dbe26e2	Allow setting superglobal types	2019-03-06 15:59:41 -05:00
bugreportuser	056e5a5b1e	Allow setting globals in config	2019-03-06 15:59:41 -05:00
Brown	9442805763	Mutation checks should not care about return type	2019-03-06 11:12:36 -05:00
Brown	ae69695f89	Prevent tests in PHP 7.1	2019-03-05 18:27:25 -05:00
Matthew Brown	48b39a15b9	Don’t change value of $this by reference	2019-03-03 20:16:11 -05:00
Matthew Brown	a31420be5b	Fix checks for existing vars used in by-ref assignments	2019-03-03 18:21:12 -05:00
Matthew Brown	b7320e2778	Remove unnnecessary param	2019-03-03 16:45:35 -05:00
Matthew Brown	fb9e9bea32	Fix const reference in current context	2019-03-03 16:43:24 -05:00
Matthew Brown	472cdf6bea	Fix #1379 - allow @param-out to change type	2019-03-03 15:11:09 -05:00
Matthew Brown	82e6876011	Fix #1397 - fix get_class behaviour for new instances	2019-03-02 18:02:11 -05:00
Matthew Brown	4757c2fe8e	Fix messaging	2019-03-02 15:19:59 -05:00
Matthew Brown	5e61f198e1	Fix #1419 - allow checks against empty arrays	2019-03-02 15:18:29 -05:00
Matthew Brown	efbcf7dc5b	Fix #1417 - store root file path when scanning for manipulations	2019-03-02 15:07:26 -05:00