272 Commits

Author	SHA1	Message	Date
Matthew Brown	3d9c94e29a	Fix #2363 - catch possible class not found errors when getting method	2019-11-21 08:56:47 -05:00
Matthew Brown	2369bac943	Preserve self refs where possible	2019-11-16 19:59:08 -05:00
Brown	b693b726c7	Improve handling of default extended params	2019-11-14 12:12:09 -05:00
Brown	4be3180512	Add more impure functions	2019-11-13 13:22:04 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Brown	4bf632bc23	Only extend covariant flag to vars without template param	2019-11-04 11:12:59 -05:00
Matthew Brown	a82e35a59f	Fix #2291 - extended covariant template param types should be treated as covariant	2019-11-01 18:25:07 +01:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Brown	8978e5c7f1	Add sink for print_r	2019-10-18 15:28:15 -04:00
Brown	aa5d82d30d	Fix #2228 - load functions defined on traits included in a class	2019-10-15 12:09:08 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	3dc96edf08	Update file references again	2019-10-13 23:37:15 -04:00
Matthew Brown	477fa8cba8	Set file references before they’re used	2019-10-13 23:30:01 -04:00
Matthew Brown	a0d484a314	Reduce duplicate calls	2019-10-13 22:05:16 -04:00
Matthew Brown	8c6b234c2c	Improve speed of taint analysis	2019-10-13 20:10:31 -04:00
Matthew Brown	e1e2ff3e57	Improve shuffling	2019-10-13 20:09:50 -04:00
Matthew Brown	7e76d3386d	Fix phpcs issues	2019-10-13 12:38:16 -04:00
Matthew Brown	3c00f3d029	Limit taint file re-analysis	2019-10-13 12:34:40 -04:00
Matthew Brown	cd8534fb6c	Shuffle file analysis order for more even threaded workload distribution	2019-10-13 12:33:18 -04:00
Matthew Brown	d0a9bf24f8	Void-returning functions are going to be impure	2019-10-13 09:51:25 -04:00
2e3s	a658566429	Add impure functions for mcrypt and iterator_apply (#2227)	2019-10-13 09:43:25 -04:00
Matthew Brown	5918278af3	Fix cache growth thanks to array_recursive	2019-10-11 20:17:07 -04:00
Brown	09cf864d9b	Mark preg_replace_callback as sometimes-pure	2019-10-11 13:54:33 -04:00
Matthew Brown	03c39cbe7c	Fix #2223 - make sure lists are handled in more places	2019-10-10 20:16:43 -04:00
Brown	94001aad4a	Fix #2208 - handle templated property types appropriately	2019-10-04 13:51:36 -04:00
bugreportuser	d8855282c6	Add more impure functions (#2203)	2019-10-03 15:01:31 -04:00
Brown	f8f8b633b1	Suppress a bunch of PossiblyUndefinedArrayOffset issues	2019-10-01 15:44:43 -04:00
Matthew Brown	81464d8dbf	Fix #2179 - add gz* to list of impure functions	2019-09-27 09:50:33 -04:00
Matthew Brown	cbc142671d	Fix #2175 - support late-resolved empty arrays	2019-09-27 09:05:56 -04:00
Brown	2fa0e05802	Fix #2169 - always use most immediate function storage when analysing	2019-09-25 18:48:41 -04:00
Brown	648dda67ed	Fix Psalm issues	2019-09-25 13:12:29 -04:00
Brown	2d621f185a	Fix #2166 - inherit twice from docblocks	2019-09-25 12:02:59 -04:00
Matthew Brown	80059f9139	Scrub inferred mutation-free when method is overridden	2019-09-22 09:40:08 -04:00
Matthew Brown	ae46c9e132	Fix #2114 - make builtin constructors mutation free	2019-09-21 21:07:27 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Brown	0ac9108814	Fix #2139 - allow comprehension of constant ternaries	2019-09-17 11:29:41 -04:00
Brown	a0f7e73aea	Fix #2127 - improve behaviour of suppression discovery in threaded mode	2019-09-16 11:58:42 -04:00
Matthew Brown	0b4981f01b	Fix #1551 - do better at inferring class constant types	2019-09-14 14:26:31 -04:00
Matthew Brown	deb36e8b27	Allow array_map alone when it uses a closure	2019-09-09 21:28:56 -04:00
Brown	a6baa2d04c	Allow callables to be understood as pure ... Fixes #2112	2019-09-09 12:11:04 -04:00
Brown	b49444b8ad	Allow immutable objects to be cloned ... Fixes #2111	2019-09-09 11:14:40 -04:00
Brown	21aa162d0a	Make assert() pure ... Fixes #2113	2019-09-09 10:43:10 -04:00
Brown	56c884845f	Static methods inside @psalm-immutable class should be permitted ... Fixes #2109	2019-09-09 10:38:55 -04:00
Matthew Brown	6b52b84bee	Fix #2101 - use more accurate fallback when match isn’t found	2019-09-08 14:44:59 -04:00
Matthew Brown	a032978a85	Use a better check for functional purity	2019-09-08 11:49:14 -04:00
Matthew Brown	3dbfedb51a	Make purity test more strict again	2019-09-08 11:34:16 -04:00
Matthew Brown	0fc8c9a9bb	Soften definition of purity to allow functions that return by-ref output	2019-09-08 11:32:04 -04:00
Matthew Brown	8be43398f0	Add better handling of print_r	2019-09-07 13:01:36 -04:00
Brown	de5df1e36a	Warn about unnecessary use of DateTimeImmutable	2019-09-03 13:49:15 -04:00
Matthew Brown	9cbe389285	Fix #910 - dead code issues with abstract vendor method	2019-09-01 16:52:40 -04:00