148 Commits

Author	SHA1	Message	Date
Gregor Harlan	5212bd1f9c	Readonly: allow assignments in __unserialize (#3845)	2020-07-20 04:50:50 -04:00
Brown	262bb9fd89	Invalidate memoized getter method results after property assignment	2020-07-16 12:59:49 -04:00
Brown	33a834bb0b	Fix some property inference bugs	2020-07-08 14:43:36 -04:00
Brown	619c384509	Add indentation as necessary between property docblocks	2020-07-08 14:32:16 -04:00
Brown	f173ef6ef0	Add mixed types to prevent bad recommendations	2020-07-08 12:18:36 -04:00
Brown	0034f2e4bd	Don’t manipulate property storage during analysis	2020-07-07 19:32:44 -04:00
Brown	cf1a8ac5fc	Suppress taints in instance properties	2020-07-02 12:08:42 -04:00
Brown	67b2edc328	Allow more things to be suppressed with @psalm-suppress TaintedInput	2020-07-02 11:53:51 -04:00
Brown	ae7c5b095b	Fix #3712 - allow taints to be suppressed with @psalm-suppress	2020-07-01 23:23:45 -04:00
Brown	70ab4c18f4	Fix #3720 - allow literal unions in keys to map to object-like arrays	2020-07-01 18:57:19 -04:00
Brown	fca350c498	Prevent a few crashes with really bad code	2020-07-01 10:30:10 -04:00
Brown	b84cf74754	Fix #3668 - taint property types for magic properties without @property	2020-06-25 00:24:37 -04:00
Brown	8f2e28c36b	Improve tainting of specializable classes	2020-06-19 01:22:51 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	f609a01497	Move static property fetch analyzer to own class	2020-06-18 11:53:24 -04:00
Brown	953be61cf2	Allow limiting connected taint paths	2020-05-25 23:28:11 -04:00
Brown	63c3678ae5	Improve property location resolution	2020-05-22 12:33:38 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Brown	f335560b69	Allow setting property on templated type	2020-05-19 17:31:05 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Brown	2af0a17d03	Fix #3236 - allow use-checking of more methods starting with __	2020-05-12 22:39:26 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Brown	73f8f963fa	Expand out class constants as early as possible ... Fixes #3128	2020-04-12 20:38:36 -04:00
Brown	bd92ec6cd3	Detect nested issues	2020-04-09 10:42:54 -04:00
Brown	bd2104c5ba	Merge with mixed in nested arrays	2020-04-09 09:27:21 -04:00
Brown	067104e170	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
Brown	5876635d6d	Always be clonin	2020-04-01 00:45:29 -04:00
Matthew Brown	de6aee32d1	Fix #3035 - improve templating for property assignments	2020-03-28 17:18:21 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	f94ab22a5f	Be better about strict inference	2020-03-25 09:18:49 -04:00
Matthew Brown	2c0cf4030f	Detect assigning collections of mutable objects in immutable ... Fixes #2946	2020-03-15 00:21:20 -04:00
Matthew Brown	acac77b3f0	Improve message	2020-03-14 01:19:50 -04:00
Matthew Brown	0aca01faea	Improve fix to #2805	2020-03-14 01:09:12 -04:00
Matthew Brown	c5fa07920c	Fix improper property var calculation ... Ref #1332	2020-03-11 11:03:27 -04:00
Matthew Brown	1abece4f7c	Use more accurate types	2020-02-23 17:03:27 -05:00
Matthew Brown	b01bc9ab12	Fix union-of-mixed array key creation	2020-02-22 21:13:14 -05:00
Matthew Brown	4dae5b3190	Prevent more mixed array keys	2020-02-22 20:52:39 -05:00
Matthew Brown	6ad3d039df	Prevent more array<mixed,...> creation	2020-02-22 12:12:40 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -05:00
Matthew Brown	b351df0483	Fix typo	2020-01-07 01:06:51 -05:00
Matthew Brown	4e85967184	Fix tests	2020-01-05 21:58:18 -05:00
Matthew Brown	867511d7fd	Use more specific error magic properties	2020-01-05 21:07:26 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -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
Matthew Brown	068afa09d3	Add very basic implementation for class-string-map ... Fixes #1969	2019-12-27 12:49:28 -05:00
Matthew Brown	2f2cd85a6a	Identify invalid static property array assignment	2019-12-27 10:34:51 -05:00
Matthew Brown	ee35db5a3b	Refine assignment somewhat	2019-12-22 12:43:57 +00:00