116 Commits

Author	SHA1	Message	Date
Matthew Brown	eeed5ecccc	Only prevent AbstractMethodCall on direct calls ... Fixes #3007	2020-03-23 07:40:30 -04:00
Matthew Brown	96fbcd5a64	Break out more methods	2020-03-11 23:38:49 -04:00
Matthew Brown	973703e396	Break out template param collection	2020-03-11 23:15:15 -04:00
Matthew Brown	ef64e6e8eb	Improve abstract call handling	2020-03-11 10:36:39 -04:00
Matthew Brown	0d62fbdf98	Detect erroneous abstract static method calls	2020-03-11 10:18:40 -04:00
Matthew Brown	766effb0db	Improve accuracy of diff generation	2020-03-06 13:48:59 -05:00
Matthew Brown	10b807b4f6	Fix reference generation from methods in --diff mode	2020-03-06 13:02:34 -05:00
Matthew Brown	a2a507166d	Fix #2923 - remove hack to fix a template issue	2020-03-06 09:42:23 -05:00
Matthew Brown	88c4088bc2	Prevent self/static refs outside classes ... Fixes #2895	2020-03-01 17:25:55 -05:00
Matthew Brown	eeb2858b30	Add additional fix for #2784	2020-02-27 08:56:39 -05:00
Matthew Brown	1abece4f7c	Use more accurate types	2020-02-23 17:03:27 -05:00
Matthew Brown	aea33824e6	Fix #1555 - allow phantom class constants	2020-02-18 19:46:05 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Matthew Brown	f0fc9cce5f	Fix missing param doc	2020-02-01 18:24:09 -05:00
Matthew Brown	d0b87b6cb0	Fix #2723 - use magic method return type where necessary	2020-02-01 18:21:32 -05:00
Matthew Brown	1f777bec0e	Capture non-empty-string from concat more effectively	2020-01-07 01:44:12 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	4630d19d45	Fix psalm running	2020-01-01 12:49:12 -05:00
Matthew Brown	19faa31865	Allow assertions on nested properties	2019-12-30 10:01:31 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Brown	e551b24843	Classes that just reference themselves aren’t used	2019-12-16 11:46:10 -05:00
Brown	6d02aa86e8	Reconcile string emptiness a bit better	2019-12-13 15:51:54 -05:00
Matthew Brown	e3d108ebd9	Fix #2439 - fix templating of class-string<T>::returnsStatic	2019-12-08 21:12:25 -05:00
Matthew Brown	f0cd7eab04	Remove redundant calls	2019-12-07 14:05:43 -05:00
Matthew Brown	3c52102388	Fix #2438 - improve handling of get_class calls	2019-12-07 14:03:20 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Matthew Brown	2369bac943	Preserve self refs where possible	2019-11-16 19:59:08 -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
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -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	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
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
lhchavez	ae2c6715a7	Allow @psalm-assert to propagate member assertions to the caller's context (#2100) ... This change injects method call assertions that involve member variables to the caller context by replacing `$this->` with the lhs of the member call. Fixes: #2099	2019-09-05 21:00:02 -04:00
Brown	b7b4baff8f	Add support for @immutable ... Fixes #1272	2019-08-30 12:36:35 -04:00
Matthew Brown	c5f62d261d	Remove redundant @psalm-suppress in Psalm’s codebsae	2019-08-18 16:10:12 -04:00
Matthew Brown	600999a3a8	Add better typing	2019-08-14 00:47:57 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00
Matthew Brown	747782d258	Fix #1987 - avoid inferredType not being null	2019-08-07 22:41:26 -04:00
Brown	16a1dc8538	Fix errors	2019-08-06 18:56:36 -04:00
Brown	14b37b95af	Fix potential recursion	2019-08-06 17:29:44 -04:00
Brown	6eb62591ab	Specialise calls when functions are pure	2019-08-05 18:33:33 -04:00
Matthew Brown	b2c0993cdc	Add framework for taint analysis to Psalm ... Ref #611	2019-08-04 10:37:36 -04:00
Brown	8cb5d012d9	Check expressions in variable name static calls	2019-07-25 09:45:11 -04:00
Tyson Andre	5d5a9c6eac	Remove redundant casts and unused use statements (#1955) ... * Remove redundant casts (not sure about older versions of php-parser) * Remove unused use statements	2019-07-18 23:37:36 -04:00
Matthew Brown	3df248eea2	Add concept of purity to functions and methods	2019-07-18 01:31:48 -04:00