46 Commits

Author	SHA1	Message	Date
Joe Hoyle	a3dcc52e9a	Track references on global variables (#5122) ... * Track references on global variables Add global type references to the type map, and fix up unused detection on global variables. * Add null assertions * PHPCS	2021-01-28 18:58:02 -05:00
Matt Brown	724b25b918	Change control_flow_graph to data_flow_graph	2020-10-13 17:28:12 -04:00
Matt Brown	516141a380	Rename ControlFlowGraph to more appropriate DataFlowGraph	2020-10-13 16:49:03 -04:00
orklah	62e79fb7ea	param types (#4313)	2020-10-12 15:46:47 -04:00
Matt Brown	14efde286f	4.x - refactor unused variable detection ... This turns unused variable detection into an explicit control-flow problem, where before we had a more simplistic mark-and-sweep algorithm	2020-09-30 12:28:13 -04:00
Brown	19f88a2e31	Add improvements from unused variable checks	2020-09-28 00:45:02 -04:00
Brown	da65a4327f	Move taint graph functionality into its own object	2020-09-25 00:37:40 -04:00
Brown	56cddd16bf	Rename TaintGraph to ControlFlowGraph because it’s about to do more	2020-09-20 23:59:52 -04:00
Brown	0f6a271858	Improve file-based suppression of taints	2020-09-20 19:37:25 -04:00
Brown	2968b3b065	Add to StatementsAnalyzer taint object instead of Context	2020-09-20 18:42:21 -04:00
Brown	abb9502921	Rename Taint object to TaintGraph	2020-09-20 18:27:02 -04:00
orklah	1a1b88bb5e	add visibilities to constants (#4219)	2020-09-20 12:54:46 -04:00
Brown	f4c2edf40b	Fix #4132 - ignore purity of $this when checking for initialisation	2020-09-04 16:46:20 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Brown	6103cf0f51	Fix ImpureVariable test	2020-08-23 22:07:02 -04:00
Brown	10f7031080	Prevent use of $this in pure functions	2020-08-23 18:37:46 -04:00
Matthew Brown	ef0486ce35	Add some pure annotations	2020-08-23 13:52:31 -04:00
kesselb	aaba3a08ec	Add option to supress a referenced but undefined global variable. (#3827)	2020-07-16 09:49:59 -04:00
Brown	67b2edc328	Allow more things to be suppressed with @psalm-suppress TaintedInput	2020-07-02 11:53:51 -04:00
Brown	7f05b3c530	Add $_REQUEST as a taint source ... Ref #3636	2020-06-22 17:16:15 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	562a7c1ca4	Track taints from all tainted arrays	2020-06-18 13:45:58 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Brown	c212c03e40	Don’t stop analysing when encountering an UndefinedGlobalVariable ... Fixes #3366	2020-05-14 22:51:51 -04:00
Matthew Brown	1abece4f7c	Use more accurate types	2020-02-23 17:03:27 -05:00
Brown	821f3528d2	Fix #701 - indicate issues fixable with Psalter	2019-12-02 15:24:01 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Matthew Brown	94d4b876ba	Fix #2177 - mark variables in try block as potentially undefined	2019-11-09 12:25:30 -05:00
Matthew Brown	d0f6f85dba	Fix #1899 - detect dead code after array assignment	2019-07-04 16:38:31 -04:00
Brown	5c76b3c82d	Fix #1888 - add go-to-variable	2019-07-01 18:48:33 -04:00
Matthew Brown	f5809ec24a	Only add node references to explicit locations	2019-07-01 11:12:12 -04:00
LeSuisse	f29826b958	Fully qualify constants and function calls (#1849) ... This should give a small performance boost. Part of #1837. The change is enforced via phpcs and can be autofixed with phpcbf.	2019-06-26 16:52:29 -04:00
Brown	0e4c8ce482	Split apart TypeCoercion issues, allowing more granular issue filtering	2019-04-25 18:02:19 -04:00
bugreportuser	e31cfa503d	Allow reconciling superglobal types	2019-03-16 12:49:38 -04:00
bugreportuser	0e9fb04f06	Define globals in more places	2019-03-11 15:53:21 -04:00
bugreportuser	b34dbe26e2	Allow setting superglobal types	2019-03-06 15:59:41 -05:00
bugreportuser	056e5a5b1e	Allow setting globals in config	2019-03-06 15:59:41 -05:00
Matthew Brown	472cdf6bea	Fix #1379 - allow @param-out to change type	2019-03-03 15:11:09 -05:00
Matthew Brown	3ad1abece4	Add generation of json artifacts	2019-02-24 01:33:25 -05:00
Matthew Brown	12f1ffca11	Fix issue reconciling mixed vars inside loop	2019-02-18 11:39:05 -05:00
Matthew Brown	545c7e3cba	Fix #1211 - allow docblocks to override foreach type earlier	2019-01-19 11:31:51 -05:00
Matthew Brown	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Matthew Brown	4d79b61e93	Change _checker to _analyzer	2018-11-12 11:20:59 -05:00
Matthew Brown	4688b25fd9	Move internal classes to own namespace	2018-11-12 11:20:59 -05:00