<div dir="ltr">Hello everyone,<br><br>suppose I have an array, which has some uninitialized elements like in the following example:<br><br>int array[4];<br>array[0] = array[1] = array[2] = 0;<br>for (int i = 0; i < 4; ++i) {<br>  // read array[i] here<br>}<br><br>In my checker, I want to get all the values for i, which lead to uninitialized reads. In the example that would be 3.<br>Dumping the ProgramState shows me that value:<br> (i,0,direct) : 3 S32b<br>But how can I get it in my code?<br><br>Thanks, Tom<br><br></div>