[Soot-list] using ForwardFlowAnalysis to find abstract program coverage?

[Elena Sherman]

Why do you need a static analysis to find the program coverage? Why can't
you run your program on the specific input value and use coverage tools
like EclEmma ?

Elena Sherman


On Thu, Apr 17, 2014 at 9:29 PM, onlyeric23 <onlyeric23 at gmail.com> wrote:

> Hi all,
>
> I am trying to find the program coverage for some specific input value,
> and I found that there is an abstract class called FlowAnalysis might help
> me to achieve this.
>
> I'd look some implementation for, and found that those are working on
> compiler optimization or else. Most related work is NullnessAnalysis, but
> still not suitable for my purpose. And using keywords like "interval
> domain", "data value analysis" can't get any search result from this mail
> list (I may not using Google correctly).
>
> Data flow analysis needs lots of background knowledge which I don't have.
> Implementation by myself might be too heavy, and lead a different way of my
> current study. Is there any simple example in SOOT, or a general algorithm
> to achieve this?
>
> Best regards,
>
> misgood
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140417/9043efa7/attachment.html