160 Commits

Author	SHA1	Message	Date
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	98ce590e9d	Remove some redundant calls	2020-08-28 12:48:33 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Saif Eddin G	5a20092fbd	add pure-callable type (#4066)	2020-08-26 16:51:22 -04:00
Brown	988e17f11d	Make clause fully immutable	2020-08-26 15:35:29 -04:00
Brown	4e10a0ed6f	Fix #4036 - add immutable annotations automatically too	2020-08-24 19:29:00 -04:00
Matthew Brown	ef0486ce35	Add some pure annotations	2020-08-23 13:52:31 -04:00
Matthew Brown	9418be79cc	Restrict pure annotation addition a little more	2020-08-23 13:34:32 -04:00
Brown	67f9adb33c	Allow adding pure annotations to functions ... Ref #4036	2020-08-23 10:28:26 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	26a61c47c0	Prevent mixed erasure in get_class call	2020-07-16 13:56:42 -04:00
Brown	ea82cdc6ea	Fix #3726 - infer generic template from class-string	2020-07-02 01:11:46 -04:00
Brown	ae7c5b095b	Fix #3712 - allow taints to be suppressed with @psalm-suppress	2020-07-01 23:23:45 -04:00
Brown	13fc8a75fd	Allow taints to flow where no return type exists ... Fixes #3652	2020-06-23 15:52:19 -04:00
Brown	e8be2c500e	Support taint flows in more functions	2020-06-22 17:53:03 -04:00
Brown	02e8313c39	Allow taintedness to propagate to some stubbed methods	2020-06-21 18:07:39 -04:00
Brown	dc83c2e2fc	Add annotation for taint sources	2020-06-21 00:58:56 -04:00
Brown	f21d3a8346	Remove html and sql taints for simple preg_replace patterns	2020-06-20 23:11:42 -04:00
Ilija Tovilo	2f646d29db	Fix #3607 - constant string class reference with leading backslash (#3612)	2020-06-19 18:02:39 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	03e9649d49	Fix tainting of function calls absent taintable params	2020-06-15 20:59:48 -04:00
Matthew Brown	081a284759	Fix #3567 - remember which variables a callable sets byref in use	2020-06-14 11:58:50 -04:00
Matthew Brown	a49a0e5650	Fix #3551 - count method can be impure	2020-06-14 11:06:53 -04:00
Brown	a4aa44494f	Fix #3519 - prevent empty callable string	2020-06-04 15:40:53 -04:00
Brown	ecb179c784	Migrate min/max function calls back to CallMap	2020-05-26 12:28:56 -04:00
Brown	953be61cf2	Allow limiting connected taint paths	2020-05-25 23:28:11 -04:00
Brown	118b700436	Simplify sink mapping for internal calls	2020-05-25 13:10:06 -04:00
Brown	63c3678ae5	Improve property location resolution	2020-05-22 12:33:38 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -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	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Brown	111303d913	Add non-empty-lowercase-string type	2020-05-15 10:18:05 -04:00
Brown	0d5d7c8938	Add null check	2020-05-11 11:56:07 -04:00
Brown	291018034b	Remove unnecessary PHP code	2020-05-11 11:36:50 -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	2d5c2a9dd1	Fix #3324 - prevent crash asserting on possibly-undefined variable	2020-05-08 14:21:10 -04:00
Matthew Brown	da5e8a4324	Increase type coverage for projects that use assert after mixed	2020-05-02 14:55:30 -04:00
Brown	07e5250292	Fix #3273 - add support for func_num_args() in conditional type	2020-05-01 16:02:53 -04:00
Brown	a402d4598b	Define with single argument should not trigger a notice ... Fixes #3254	2020-04-28 14:43:12 -04:00
Brown	f91e94b64e	Make sure to remember correct positions of @var references	2020-04-27 00:05:20 -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	5ad55ae693	Fix type inference on simple conditional function calls	2020-03-29 10:42:57 -04:00
Matthew Brown	e85d22f004	Fix #3033 - allow __invoke on unions with non-objects	2020-03-28 23:41:05 -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	951b943c38	Fix #2981 - check that class exists before making it a phantom	2020-03-17 15:04:50 -04:00
Matthew Brown	c6a5781e78	Break apart FunctionCallAnalyzer::analyze method	2020-03-12 11:05:50 -04:00
Brown	ea0a670230	Flesh out class constants in function call return type ... Fixes #2884	2020-02-26 17:28:44 -05:00