161 Commits

Author	SHA1	Message	Date
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	81f513bb4c	Fix #2358 - always analyse new XXX(...) in unknown method calls	2019-11-18 16:14:21 -05:00
Matthew Brown	5fabf41c8e	Check for not-callable return value	2019-11-14 07:57:22 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Joram Schrijver	c97ba8f713	Implement type-checking and forbidding for print (#2314) ... * Add type-checking for print * Allow print to be forbidden	2019-11-08 07:01:34 -05:00
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -05:00
Brown	3e98c800ec	Fix #2309 - prevent closure-inferred generic template params overwriting parent ones	2019-11-06 13:13:02 -05:00
Brown	a8ed6ba9c4	Fix #2308 - prevent specialisation from bound params	2019-11-06 11:20:51 -05:00
Brown	1f42843d42	Fix #2296 - use case insensitive closure ids	2019-11-04 14:48:02 -05:00
Matthew Brown	8f421dc0bb	Refactor template calculation out from Psalm\Type\Union	2019-11-03 21:27:40 -05:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Matthew Brown	9115ffd237	Fix #2215 - refine closure type if it doesn’t clash	2019-10-15 20:34:41 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	8c6b234c2c	Improve speed of taint analysis	2019-10-13 20:10:31 -04:00
Matthew Brown	7857b07f91	Fix list-could-be-array issue	2019-10-11 08:24:35 -04:00
Matthew Brown	03c39cbe7c	Fix #2223 - make sure lists are handled in more places	2019-10-10 20:16:43 -04:00
Brown	54d5a25077	Remove known array offsets after altering array	2019-10-09 10:36:55 -04:00
Brown	b75720c32b	Add more list types	2019-10-09 10:04:34 -04:00
Brown	16c33d1565	Add support for list type ... Fixes #2209	2019-10-08 18:44:46 -04:00
Brown	d225374d6d	Fix #2156 - do better inference after isset	2019-10-01 19:31:08 -04:00
Brown	f8f8b633b1	Suppress a bunch of PossiblyUndefinedArrayOffset issues	2019-10-01 15:44:43 -04:00
Matthew Brown	9f10564184	Add another array addition check	2019-10-01 09:13:31 -04:00
Matthew Brown	95c7b986c2	Fix formatting	2019-10-01 08:46:37 -04:00
Matthew Brown	2ffdf1bacc	Fix undefined numeric offset	2019-10-01 08:45:36 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Brown	944531b73b	fix #2125 - Don’t assume function args are necessarily authoratative	2019-09-11 13:52:58 -04:00
lhchavez	ae2c6715a7	Allow @psalm-assert to propagate member assertions to the caller's context (#2100) ... This change injects method call assertions that involve member variables to the caller context by replacing `$this->` with the lhs of the member call. Fixes: #2099	2019-09-05 21:00:02 -04:00
Brown	22ba3ada7b	Fix #2081 - allow Assert::true to replace assert() calls	2019-08-29 11:53:36 -04:00
Brown	4db8ca6a1d	Cleanup extra issues from recent fixes	2019-08-27 14:16:34 -04:00
Matthew Brown	03f59ae05e	Check other arguments of array_unshift/array_push ... Ref #2052	2019-08-25 23:52:38 -04:00
Brown	f00ee740c0	Analyse encapsulated string when method not known ... Ref #2052	2019-08-23 10:59:59 -04:00
Matthew Brown	738ba81185	Fix #2046 - trigger PossiblyNullArgument when in union with mixed	2019-08-22 23:26:04 -04:00
Brown	e25ce152d6	Fix #2014 - prevent unusedvariable false positive when redefined in assignment ||	2019-08-15 09:43:43 -04:00
Brown	3d01708c6c	Improve backtrace of property-involved issues	2019-08-14 11:47:58 -04:00
Brown	e92896f145	Fix taint records	2019-08-14 09:52:59 -04:00
Matthew Brown	600999a3a8	Add better typing	2019-08-14 00:47:57 -04:00
Brown	d6e084ec9c	Remove false-positive for callmap function arg	2019-08-13 14:53:31 -04:00
Brown	b5614d03f8	Add detection for unused function calls	2019-08-13 13:15:23 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00
Brown	669b50e8b4	Fix erroneous callable parsing	2019-08-12 15:04:43 -04:00
Brown	d5e2c323d3	Add support for pure-ish instance methods	2019-08-08 14:17:34 -04:00
Brown	14b37b95af	Fix potential recursion	2019-08-06 17:29:44 -04:00
Brown	17753865f3	Add detection to mixed params	2019-08-06 10:33:21 -04:00
Brown	6eb62591ab	Specialise calls when functions are pure	2019-08-05 18:33:33 -04:00
Matthew Brown	b2c0993cdc	Add framework for taint analysis to Psalm ... Ref #611	2019-08-04 10:37:36 -04:00
Brown	352f18b169	Register so it doesn’t get removed	2019-07-24 17:41:13 -04:00
Brown	5770a6c904	Add support for compact	2019-07-24 17:24:23 -04:00
Brown	c283f0877d	Analyse binary ops always	2019-07-22 18:04:52 -04:00
Matthew Brown	76508e6d64	Improve behaviour of templated template assertions ... Fixes #1956	2019-07-21 01:40:19 -04:00
Brown	7f0dcae0b2	Always evaluate property calls on mixed methods	2019-07-12 14:39:06 -04:00