[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Currently, the only options available are related to the widening operators.
Function | algo | Comments |
widening | <=0 | CH78 standard widening (Cousot & Halbwachs, POPL'1978). |
>0 | BHRZ03 widening (Bagnara, Hill, Ricci & Zafanella, SAS'2003) | |
widening_threshold | <=0 | standard widening with threshold |
=1 | standard widening with threshold, intersected by the bounding box of the convex hull pof the two arguments | |
<=0 | standard widening with threshold | |
=1 | standard widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed) | |
=2 | BHRZ03 widening with threshold | |
=3 | BHRZ03 widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed) |