1510 Commits

Author	SHA1	Message	Date
Matt Brown	4e5111f1a8	Fix #4472 - if something flows into a byref var it’s used	2020-11-17 15:30:53 -05:00
Matt Brown	43af3b1a57	Break out TaintedInput issues into a lot of separate ones	2020-11-17 12:44:31 -05:00
Matt Brown	42802e11d1	Allow PHP major version to determine substr return type	2020-11-16 16:31:33 -05:00
Dusk	0fe3e1f83b	Allow named arguments to variadic functions (#4575) ... Closes #4563	2020-11-16 15:49:27 -05:00
orklah	6f8b463860	Detect trying to access to a list with a negative offset (#4552)	2020-11-15 20:26:50 -05:00
Matt Brown	26b4cd1fb9	Fix #4529 - allow unsetting with complex array key	2020-11-14 08:57:25 -05:00
Matt Brown	086237aab7	Fix #4544 - improve handling of get_class in match	2020-11-13 11:55:42 -05:00
Matt Brown	5a62dc5c40	Fix #4540 - use correct method when simulating property setting	2020-11-12 23:56:29 -05:00
Matt Brown	556fb12966	Move mutation checks to more appropriate place	2020-11-12 23:54:50 -05:00
Matt Brown	2f7bf2a144	Bind lower bounds to upper bounds as well when no upper bound can be inferred ... Ref #4485	2020-11-11 17:46:09 -05:00
Matt Brown	a8d7248c31	Fix #4524 - do better template param inheritance	2020-11-11 13:25:17 -05:00
Matt Brown	5ad1e80e99	Fix #4527 - improve interpolated string types	2020-11-11 00:38:26 -05:00
Matt Brown	46ebca4497	Fix coalesce operation tainting	2020-11-10 14:36:36 -05:00
Matt Brown	a82a9558d2	Experiment with refactor	2020-11-10 12:50:17 -05:00
Matt Brown	b731b53d5e	Add debug stuff for code complexity	2020-11-10 12:49:42 -05:00
Matt Brown	81babf2430	Clone to prevent incorrect references	2020-11-10 09:01:46 -05:00
Matt Brown	e27cbfba57	Reduce size of data flow graph when analysing array assignments	2020-11-09 22:44:36 -05:00
Adrien LUCAS	4cb8e86737	Add a proxy capability to the flow annotation (#4495) ... * Add a `passthru` capability to the flow annotation * Fix passthru-calls type * Fix types and rename to proxy * Allow to proxy a method Co-authored-by: Matthew Brown <github@muglug.com>	2020-11-09 15:22:35 -05:00
Matt Brown	e97a9c86eb	Fix #4517 - track type contradiction issues in match expressions	2020-11-09 10:00:53 -05:00
Matt Brown	3aaa1d8447	Fix #4516 - treat exit() as the empty type	2020-11-09 08:44:03 -05:00
Matt Brown	683546e024	Fix #4519 - prevent crash with empty match	2020-11-09 08:36:59 -05:00
Matt Brown	8799e1a337	Break apart complex method	2020-11-09 00:58:45 -05:00
Matt Brown	0be4f2fedf	Fix/ignore reflection bugs	2020-11-08 14:27:37 -05:00
Matt Brown	20e37d8cb6	Add a comment to show workings	2020-11-08 13:08:45 -05:00
Matt Brown	24c9702aa5	Remove unused imports	2020-11-08 12:31:21 -05:00
Matt Brown	6da0905478	Separate out good from the bad	2020-11-08 12:29:23 -05:00
Matt Brown	b635353cf4	Fix redundant thing	2020-11-08 10:18:32 -05:00
Matt Brown	dccf236d16	Fix #4503 - don’t ignore assertions on possibly-null mixed	2020-11-08 10:06:39 -05:00
Matt Brown	b8f5d16e9f	Consolidate similar functionality	2020-11-07 00:58:20 -05:00
Matt Brown	bb5b5142d6	Add more info to mic drop code	2020-11-06 21:36:38 -05:00
Matt Brown	45b3dce631	Break apart IfElseAnalyzer	2020-11-06 21:01:17 -05:00
Matt Brown	3359e7699a	Rename IfAnalyzer	2020-11-06 20:51:14 -05:00
Axel H	271e0d86be	Fix type inference when unpacking typed iterables (#4487) ... * Add test for unpacking typed iterables * Fix type inference when unpacking typed iterables into arrays * Fix possibly undefined array offset	2020-11-06 17:24:01 -05:00
Matt Brown	9daa534656	Ensure we flush out re-assigned vars also referenced ... Fixes #4488	2020-11-06 12:51:41 -05:00
Matt Brown	6b06ecec39	Fix #4491 - support assertions in new calls	2020-11-06 11:55:19 -05:00
Matthew Brown	1c66646e72	Fix formatting	2020-11-05 19:23:54 -05:00
Matt Brown	d47d817843	Fix #4479 - use correct keys in message	2020-11-05 10:13:08 -05:00
Matt Brown	b3ff107c20	Add functions	2020-11-04 23:34:38 -05:00
Matt Brown	3bde327f1b	Break up CommentAnalyzer	2020-11-04 23:25:08 -05:00
Matt Brown	f3c6d70a9b	Use more accurate type for div of ints	2020-11-04 22:39:27 -05:00
Matt Brown	eacc05e73f	Fix #2132 - get value of literal int division	2020-11-04 22:32:33 -05:00
Matt Brown	3e9c5d3600	Add support for @return never	2020-11-04 12:30:02 -05:00
Matt Brown	b5a3f45d52	Remove use of PHP 7.2 function	2020-11-04 11:02:34 -05:00
Matt Brown	91d9dc3759	Fix overeager inference	2020-11-03 16:44:24 -05:00
Matt Brown	b35db3e523	Reorganise things a little	2020-11-03 16:15:54 -05:00
Matt Brown	3d4e77beb6	Fix int-mask-of expansion	2020-11-02 00:40:36 -05:00
Matt Brown	09228131d8	Use falsy value	2020-11-01 22:57:30 -05:00
Matt Brown	6922caf9f6	Fix #4466 use better differentiation for class_exists second param	2020-11-01 13:14:17 -05:00
Matt Brown	966b139504	Fix dupe semicolons	2020-11-01 11:42:09 -05:00
Matt Brown	024d93b7fd	Fix #4467 - variables are only the same if they were set in the same location	2020-11-01 11:26:42 -05:00