841 Commits

Author	SHA1	Message	Date
Brown	1c42875179	Support lowercase-string and warn about unnecessary calls to strtolower	2020-02-13 16:38:58 -05:00
Philip Hofstetter	395cf587d3	add plugin hook to be called after every function call ... compared to AfterFunctionCallAnalysisInterface which gets only called after a call to a function declared within the project, a plugin implementing AfterEveryFunctionCallAnalysisInterface will get called for every function call, including calls of PHP builtins. On the other hand, this interface doesn't allow modification of the code nor tweaking the return type, but it's still useful for accounting purposes and for depreacting calls to PHP builtins this fixes #2804	2020-02-13 09:10:24 -05:00
Matthew Brown	7d88100ad3	Docblock-provided type is not inferred	2020-02-12 11:34:54 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Brown	89a0b101e4	Fix #2784 - no crash when get_class arg is mixed	2020-02-10 14:44:33 -05:00
Matthew Brown	3559fdd6b3	Fix #2742 - prevent paradoxes in assert calls	2020-02-09 11:42:41 -05:00
Matthew Brown	4de6f5c4ec	Fix #2442 - using asserting after a MixedAssignment removes that error	2020-02-08 23:01:45 -05:00
Matthew Brown	5f4d797fe1	Fix #2772 - add support for multiple array_map function param inference	2020-02-08 12:17:57 -05:00
Brown	dcc855de95	Fix #2739 - specify wildcards in constants	2020-02-07 10:54:57 -05:00
Matthew Brown	966336a475	Improve byref array handling	2020-02-06 23:52:27 -05:00
Brown	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
Brown	54efbbe831	Fix bad assertion	2020-02-06 16:32:26 -05:00
Brown	9af12932b5	Add slash	2020-02-06 15:09:34 -05:00
Brown	6116b457ed	Port over more fixes from template match refactor	2020-02-06 15:07:57 -05:00
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -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	43c7b00cd0	Fix #2734 - allow is_a to operate on templated class-strings	2020-02-02 12:26:28 -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
Brown	3b6f53a356	Revert "Fix #2724 - make sure behaviour is not dependent on array type" ... This reverts commit 1df03b0ff2.	2020-01-31 17:25:15 -05:00
Brown	1df03b0ff2	Fix #2724 - make sure behaviour is not dependent on array type	2020-01-31 16:46:05 -05:00
Brown	66227f9b7f	Fix #2727 - callable arg checks should obey ignore_falsable_return	2020-01-31 13:58:56 -05:00
Brown	b46f219c51	Do better inference for array_map return type	2020-01-30 17:43:13 -05:00
Brown	9405314222	Always Be Cloning	2020-01-30 17:22:40 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Matthew Brown	989123f82e	Fix line length	2020-01-29 22:31:23 -05:00
Matthew Brown	933dff9e20	Fix #2712 - allow __toString to have more specific type	2020-01-29 22:28:40 -05:00
Matthew Brown	2aebc522f1	Fix #2705 - mark by-ref args as used if not variables already	2020-01-29 21:46:30 -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
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Brown	c3a989f6a8	Fix bad var	2020-01-24 15:44:18 -05:00
Brown	c09f97ed6e	Fix #2691 - allow list to be a callable maybe	2020-01-24 15:09:06 -05:00
Brown	38e9e8ba87	Register methods as used	2020-01-24 14:53:32 -05:00
Brown	548c9f7e65	Remove unused var	2020-01-24 14:09:25 -05:00
Brown	9f077f5aec	Fix formatting	2020-01-24 14:08:01 -05:00
Brown	53b0650c6c	Fix #2688 - foreach loop evaluation should allow changing loop var	2020-01-24 13:55:30 -05:00
Brown	faf6afdce8	Support call_user_func evaluation ... Fixes #726	2020-01-24 13:34:50 -05:00
Brown	34d73e7243	Fix #2685 - always evaluate $a++ in unknown call	2020-01-24 10:32:28 -05:00
Brown	0ffb833bf3	Fix #2677 - use better assertion for null coalesce	2020-01-23 14:52:35 -05:00
Brown	da43b8188f	Fix #2632 - detect invalid by-ref assignments in pure functions	2020-01-23 14:21:34 -05:00
Brown	0ac20e76c4	Fix #2631 - evaluate purity of uasort closure	2020-01-23 13:49:15 -05:00
Brown	e68ca6a20b	Fix #2661 - catch invalid array_push on property	2020-01-22 09:57:59 -05:00
Brown	36f5c51f01	Allow unpacking of list args with known elements	2020-01-21 10:13:37 -05:00
Matthew Brown	1c8af2fdc7	Fix #2658 - catch exceptions thrown inside catch	2020-01-17 12:05:37 -05:00
Matthew Brown	b582c49f51	Fix #2645 - add workarounds for some edgecases	2020-01-17 10:25:05 -05:00
Matthew Brown	471d7610f0	Fix #2644 - improve type inference of autoloaded constants	2020-01-17 09:52:43 -05:00
Matthew Brown	4a03c4aedd	Fix impossible isset checks	2020-01-14 21:54:02 -05:00
Matthew Brown	c3edbdbc19	Allow checking $_SESSION for null without altering type	2020-01-14 21:51:04 -05:00
Brown	0f6b61d62d	Clone isset type before contradicting	2020-01-14 18:28:32 -05:00