14 Commits

Author	SHA1	Message	Date
Jack Robertson	f0193f20fa	Consider print, and conditionally exit / die impure	2021-07-27 13:26:54 +01:00
Matt Brown	47bf5ed567	Fix #5918 - add new issue to detect unquoted strings	2021-06-10 17:43:04 -04:00
Bruce Weirdan	6abce3525a	Enforce use sort (#5900)	2021-06-07 22:55:21 -04:00
Matt Brown	3f7f959726	Fix #4599 - propagate taints to parent callers where necessary	2020-11-18 09:59:54 -05:00
Matt Brown	3aaa1d8447	Fix #4516 - treat exit() as the empty type	2020-11-09 08:44:03 -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
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	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
Brown	559b3d3471	Fix #3681 - taint exit like echo	2020-06-25 17:17:08 -04:00