[Soot-list] Using SOOT's dataflow classes for static numeric analysis that has infinite-height abstract domain and needs widening operator for termination

[Z]

Hello,

Could you tell me please, how to use SOOT's dataflow framework to infer
properties that can not be represented by the Flowset interface ?

For example,  to implement a simple numeric analysis like interval analysis
(which infers the possible interval range of each numeric variable at each
program point), it seems no more possible to use  directly the generic
ForwardAnalysis class, since the iteration strategy of the class assume
that the height of the lattice is finite, whereas in most numeric analysis,
the domain is not finite and the termination condition is ensured by a
non-trivial widening operator.

So if I understand correctly, one has to overload the doAnalysis of
FowardAnalysis for writing a static numeric analyses?

Thanks for your ideas.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120719/e07ef0ff/attachment.html