85 Commits

Author	SHA1	Message	Date
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	48da7a4be8	Fix issues found with Vimeo’s code	2020-05-10 21:09:48 -04:00
Brown	28349c6423	Remove mixin_fqcln hack	2020-05-10 09:04:30 -04:00
Brown	bf5e178d16	Fix #3289 - treat property on non-generic type like actual value	2020-05-02 23:37:59 -04:00
Brown	d2d795018f	Fix #3138 - fix inherited property template type inference	2020-04-18 16:57:13 -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
Matthew Brown	de6aee32d1	Fix #3035 - improve templating for property assignments	2020-03-28 17:18:21 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -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	c986cdf12e	Allow edge-case of by-reference assignment with unitiliazed property ... Fixes #3003	2020-03-21 19:23:32 -04:00
Brown	a0da7356e9	Fix #2935 - make handling of templated properties much less hacky	2020-03-09 09:59:02 -04:00
Matthew Brown	51bfc7c619	Only emit mixed issues for MissingClassPropertyType ... Fixes #2388	2020-03-06 07:57:00 -05:00
Matthew Brown	1abece4f7c	Use more accurate types	2020-02-23 17:03:27 -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	8d7fb2b415	Add config flag to support properties without a magic getter	2020-02-02 14:23:38 -05:00
Matthew Brown	5c3ec7a531	Fix #2696 - make sure static property references are prevented in pure functions	2020-01-27 22:55:20 -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	2fb5a9d326	Few small improvements	2020-01-05 18:37:07 -05:00
Matthew Brown	d4ef5c2a4a	Fix read flags	2020-01-05 17:20:09 -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	69e6624b16	Fix #2436 - fix templating of property types inside templated functions	2019-12-08 19:25:40 -05:00
Matthew Brown	4052e6dfac	Allow isset to check for property initialisation ... Ref #2382	2019-11-28 09:12:17 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	06b64a4a01	Detect erroneous use of empty check on bools	2019-11-06 16:14:46 -05:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Brown	fef61e996e	Propagate possibly-null issues onto fetched properties	2019-08-23 13:27:38 -04:00
Matthew Brown	600999a3a8	Add better typing	2019-08-14 00:47:57 -04:00
Brown	c3949e3194	Improve taint protection for exec-related commands	2019-08-13 19:18:50 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00
Brown	37d93141c4	Only register taints on known magic properties	2019-08-06 13:05:34 -04:00
Brown	0dc6b74fb4	Add taintedness to magic property fetches	2019-08-06 12:54:12 -04:00
Matthew Brown	8f6d432dd0	Add support for magic property comprehension	2019-08-05 23:19:22 -04:00
Matthew Brown	b2c0993cdc	Add framework for taint analysis to Psalm ... Ref #611	2019-08-04 10:37:36 -04:00
Matthew Brown	f5809ec24a	Only add node references to explicit locations	2019-07-01 11:12:12 -04:00
Brown	62c37a84f2	Fix tokenising bug found while analysing Phan cc @TysonAndre	2019-06-28 12:29:39 -04:00
LeSuisse	f29826b958	Fully qualify constants and function calls (#1849) ... This should give a small performance boost. Part of #1837. The change is enforced via phpcs and can be autofixed with phpcbf.	2019-06-26 16:52:29 -04:00
Matthew Brown	31c8a2e4d7	Add offsets to type tokenisation ... Ref #1832	2019-06-22 23:30:40 -04:00
Brown	f309c755f8	Add ability to move classes	2019-06-05 08:50:24 -04:00
Matthew Brown	a9809ab28a	Add property moving & renaming	2019-06-04 00:32:19 -04:00
Matthew Brown	f5e4b9b45f	Fix #1713 - don’t crash when a property is unset	2019-05-31 19:49:24 -04:00
Matthew Brown	f961da53b7	Fix typos	2019-05-30 08:53:20 -04:00
Matthew Brown	0555bd9ff6	Prevent InternalMethod at implicit __get	2019-05-30 08:50:50 -04:00
Matthew Brown	5861476765	Don’t remove null after magic property fetch	2019-05-27 09:18:34 -04:00
Matthew Brown	790bc53bfd	Fix #1681 - interpret parent annotation properly	2019-05-25 11:51:09 -04:00
Matthew Brown	569d82641d	Ignore PossiblyNullReference on synthetic method calls	2019-05-24 14:09:01 -04:00
Brown	6ce5fefa4b	Fix #1664 - allow templated __get params	2019-05-23 12:59:09 -04:00