[Soot-list] Interpreter for Soot & How to profile edge count for whole program

[Ben Holland]

I've built something like this before using Soot and another tool called
Atlas. The code is public, but not very clean/reliable at this time and
it's not using an official branch of Soot. Anyway, the idea is relatively
simple. Soot lets you insert statements before/after statements. You can
use this to insert counters before each statement in your control flow
graph. A similar example for counting GOTOs is included with Soot:
https://github.com/Sable/soot/wiki/Adding-profiling-instructions-to-applications.
Each edge in a control flow graph is a transition from one node to another
in the control flow graph, so if you were to track the sequence that nodes
were visited you could easily correlate that to an edge and keep counters
for each edge. The trick will be to implement it so it's not tracking too
much at a time. You only need to the node which node was the previous node
to infer the edge, so you should only have to track one item at a time,
otherwise, you will be adding a lot of overhead in your instrumentation.

On Sat, Nov 3, 2018 at 2:30 PM Zhou, Tong <tz at gatech.edu> wrote:

> Hi,
>
>
> Is there any existing project that builds an interpreter on top of Jimple
> or Shimple? I am currently trying to profile the dynamical basic block
> counts of a program using an instrumentation-based approach (insert code
> that increments a counter) but couldn't find a way instrument the library
> classes (java.lang.xxx etc). So I was thinking if there's such an
> interpreter that works on Soot's IR, certain profiling would be quite easy
> to do in such an interpreter. If no such thing exists, can someone shed
> some light on how to profile the dynamical basic block counts of an
> entire program including libraries? Thanks a lot! Any comment is
> appreciated.
>
>
> Tong
> _______________________________________________
> 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: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20181103/f312c0e6/attachment.html>