154 Commits

Author	SHA1	Message	Date
Brown	2968b3b065	Add to StatementsAnalyzer taint object instead of Context	2020-09-20 18:42:21 -04:00
orklah	cb7065ae07	replace deprecated methods with their equivalent (#4217)	2020-09-20 08:56:49 -04:00
Brown	249903e18a	Fix style issues	2020-09-13 21:45:07 -04:00
Bruce Weirdan	689027c92d	Support multiple issue types in @psalm-suppress (#4179) ... * Accept multiple issue names in `@psalm-suppress` Fixes vimeo/psalm#1575 * Accept multiple issue types on statement docblocks as well * Proper highlighting of individual issues in compound suppressions	2020-09-13 16:41:14 -04:00
orklah	da47588f91	replace return; by return null; in every non-void method, add return null; when mising, add return types, remove redundant phpdoc (#4176)	2020-09-13 16:39:06 -04:00
Brown	ded9237176	Fix bad error flagging	2020-09-13 16:38:32 -04:00
Brown	9ed09d2679	Fix #4127 - improve error message for unused closure var	2020-09-12 17:03:11 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
orklah	73f6fcde48	Short list syntax (#4102) ... * Short list syntax * revert unrelated CS	2020-09-02 00:17:41 -04:00
Brown	6919e88423	Add performance logging under a --debug-performance flag	2020-07-30 15:30:19 -04:00
Brown	eddd7b8c11	Fix #1916 - support @var docblock annotations in more places	2020-07-26 13:23:21 -04:00
Brown	279cad3599	Fix #3755 - prevent crash when throw class not found	2020-07-07 00:29:46 -04:00
Brown	c29b3744ec	Change storage of out types	2020-06-24 11:51:31 -04:00
Brown	8f2e28c36b	Improve tainting of specializable classes	2020-06-19 01:22:51 -04:00
Brown	30907f0269	Clean up comment parsing	2020-05-28 22:14:41 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	8e5b330c5a	Break apart CallAnalyzer	2020-05-18 22:57:00 -04:00
Brown	ace049a068	Beautify BinaryOpAnalyzer	2020-05-18 18:57:09 -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	8f57d0c738	Fix #3204 - normalise function ids where possible	2020-04-20 21:38:35 -04:00
Brown	a3ae2a713b	Fix #3182 - don’t allow unnamespaced string references to functions in same context	2020-04-19 21:21:18 -04:00
Brown	e55fe0a0e8	Fix #3188 - register global variables as by-reference ones	2020-04-19 13:15:04 -04:00
m0003r	28f740fddb	@psalm-trace is now a specific low-level issue, because plain debug print breaks structured output (after #3080) (#3106)	2020-04-08 21:03:05 -04:00
m0003r	11edb22c72	Implement @psalm-trace annotation, fixes #3079 (#3080)	2020-04-06 12:42:22 -04:00
m0003r	c8e7e43bb0	Type::getString already respects maxStringLength config, there is no need to additional checks (#3069)	2020-04-05 14:27:02 -04:00
Matthew Brown	5395183837	Use more accurate means of determining whether function did return	2020-03-28 23:37:42 -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	9cd817077e	Improve fix	2020-03-17 17:34:45 -04:00
Matthew Brown	b6380ae595	Fix false-positives around unevaluated code	2020-03-15 14:43:05 -04:00
Matthew Brown	6c7f89b0ab	Fix #2920 - track unevaluated code after nested returns	2020-03-15 14:31:41 -04:00
Matthew Brown	43189b3d55	Allow types to be traversed	2020-03-14 23:54:51 -04:00
Matthew Brown	aba29f0cbf	Add slash	2020-03-13 20:28:32 -04:00
Matthew Brown	aaf74f084a	Fix #2954 - filter out used vars before checking params	2020-03-13 20:21:49 -04:00
Matthew Brown	bfb919d26a	Break out methods into their own classes	2020-03-11 23:04:52 -04:00
Matthew Brown	352bd3f5c5	Remove redundant condition	2020-03-06 15:23:11 -05:00
Brown	3f226e2e86	Fix #2867 - treat echo as impure	2020-02-24 14:38:05 -05:00
Brown	ae08552f40	Add null check	2020-02-21 16:04:18 -05:00
Brown	443558ca49	Fix #2844 - resolve constant offset references	2020-02-21 15:56:30 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Matthew Brown	8c89760ff3	Use more accurate type for large arraya ... Fixes #2690	2020-01-25 10:38:23 -05:00
Brown	c07fd13f2b	Fix #2623 - prevent crash when combining class strings in constants	2020-01-15 11:26:58 -05:00
Matthew Brown	c3edbdbc19	Allow checking $_SESSION for null without altering type	2020-01-14 21:51:04 -05:00
Brown	1ccababcb7	Track list-ness of constant arrays ... Fixes #2621	2020-01-14 12:13:41 -05:00