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

[Elena Sherman]

So what essentially you will be doing statically is interpreting your
program on the concrete input. Unfortunately, program interpretation has a
far greater overhead than a run-time overhead of any coverage tools. Some
coverage tools instrument the program on-the fly and others directly in
class files itself. I guess the cheapest way to do the coverage is to track
executed bytecode inside JVM (like Jikes RVM).


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

> 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/20140417/4866cd25/attachment.html