after iteration 1:<br>
<font color='#555555'>a->{x}
x->{}
b->{x}
</font><p>
after iteration 2:<br>
<font color='#555555'>a->{x}
x->{}
b->{x}
</font><p>
<form action='.' method=post>
<table><tr><td>
<font color='#224488'>Program statements</font><br>
<textarea cols=30 rows=15 name=constraints>a = &x
b = a
</textarea>
</td><td>
<font color='#224488'>Points-to information</font><br>
<textarea readonly cols=30 rows=15 name=pointsto>a->{x}
x->{}
b->{x}
</textarea>
</td></tr></table>
<br>
<input type=Submit value='Compute Andersen points-to'>
</form>
<p><br><br><font color=darkgrey>This is an online calculator of Andersen's points-to analysis information, developed as part of <a href='../jan14/'>CS6843 Program Analysis course</a>.</font><br>