(Solved): Topic: Data flow anomaly: states of program variables.Refference Book: Software Testing and Quality ...

3. Consider the following code. The transition diagram on the right describes how the state of a variable change given a certain operation. 1 int VarTypes (int $x$, int $y$ ) int i: int *iptr; $i=x$; iptr $=\mathrm{malloc}(\mathrm{sizeof}(\mathrm{int}))$; iptr = malloc(sizeof (int)); *iptr $=1+x$ if $(?iptr>y)$ return $(x)$; else i 1ptr $=\mathrm{malloc}(\mathrm{sizeof}($ int $))$; -iptr $=x+y$; \} return (*iptr); - What is the state of the variable iptr at line 6 ? $\text{ Abnomal }y$ - What is the state of the variable iptr at line 7 ? - What is your conclusion? the grach Car be se presunted