[Soot-list] Intra-procedural Interval Analysis

[Aleksandar Dimovski]

Dear all,


I would like to ask whether there exists an implementation for
intra-procedural Interval analysis in SOOT framework, where for every
variable a lower and an upper bound for its possible values are tracked. I
cannot find it in soot.toolkits.scalar.ForwardFlowAnalysis. Maybe the
closest to it is Parity Analysis.


You can also refer to me some other similar intra-procedural analysis that
tracks for each variable property from some very rich lattice (with large
height).


Thank you in advance,

Aleksandar Dimovski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20151118/9469f1a6/attachment-0001.html