142 Commits

Author	SHA1	Message	Date
Brown	fc8212e207	Fix static call specialisation via annotation	2020-06-22 18:40:43 -04:00
Brown	02e8313c39	Allow taintedness to propagate to some stubbed methods	2020-06-21 18:07:39 -04:00
Brown	07adecc6eb	Use correct method id when creating taints	2020-06-21 02:06:08 -04:00
Brown	dc83c2e2fc	Add annotation for taint sources	2020-06-21 00:58:56 -04:00
Brown	8edee96d8d	Fix taint regression	2020-06-20 18:10:01 -04:00
Brown	80ed1daf33	Allow static method mixin to invoke instance method	2020-06-20 18:05:35 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	5617e9d7c9	Fix array_values call	2020-06-09 19:06:08 -04:00
Brown	286a8f911a	Add support for static mixin calls ... Fixes #3552	2020-06-09 18:39:52 -04:00
Brown	d04e21ee5a	Define mixin declaring classname	2020-05-26 23:32:07 -04:00
Brown	953be61cf2	Allow limiting connected taint paths	2020-05-25 23:28:11 -04:00
Brown	be847472a2	Fix #3453 - allow conditional return types on instance methods	2020-05-25 09:39:30 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Brown	8e5b330c5a	Break apart CallAnalyzer	2020-05-18 22:57:00 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -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	07e5250292	Fix #3273 - add support for func_num_args() in conditional type	2020-05-01 16:02:53 -04:00
Brown	f91e94b64e	Make sure to remember correct positions of @var references	2020-04-27 00:05:20 -04:00
Brown	52c0346b65	Fix #3213 - make sure static is bound from a static call with set class	2020-04-22 11:34:46 -04:00
Brown	edb07952fc	Static call inside throw does not violate purity	2020-04-18 12:43:51 -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	194f02507d	Allow conditional types to reference class constants	2020-03-29 13:37:37 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Brown	cc548a45fa	Improve detection of unused classes	2020-03-28 14:45:58 -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	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