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

[onlyeric23]

Because this is the limitation. I'm not trying debug my program but finding
a general approach to get the coverage. The reason is I don't want any
run-time overhead. Forgot to mention this, sorry.

misgood


2014-04-18 11:45 GMT+08:00 Elena Sherman <elenasherman at boisestate.edu>:

> 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/20140418/ada40c8d/attachment.html