On 2014-01-18 11:41, Daniel Murphy wrote:The code that detects the null dereference is in the optimizer.Why is it located there?
It's probably flow sensitive and only the optimizer builds a CFG.
On 2014-01-18 11:41, Daniel Murphy wrote:The code that detects the null dereference is in the optimizer.Why is it located there?
It's probably flow sensitive and only the optimizer builds a CFG.