[Soot-list] Soot Eclipse Plug-in

[Vitor Rodrigues]

Hi Steven,

The context of our research is Software Product Lines, where there is a 
infinite number of programs that can be generated from a feature model. Our 
goal is "lift" the data-flow analysis of single-program (null dereference) to a 
family of all possible programs at static-time.

In principle, we will have to extend the prototype developed by Tal Lev-Ami, 
Neil Immerman and Mooly Sagiv. To have a intuition on how Soot works, we have 
to run the existent analysis (PHASE = jap.npc). In 
https://github.com/Sable/soot/wiki/Running-Soot-as-Eclipse-Plugin, it explains 
that we can:
- Use a Jimple editor with syntax highlighting
- View attribute information at source and IR levels
- Develop analyses with an interactive control flow graph

These tools would be very interesting to use for single programs and, _maybe_, 
it could also help to extend the existent abstract interpreter. Let's say that 
the Eclipse plug-in would be the first experience with Soot.

Best, Vitor

On Monday, February 01, 2016 02:37:01 PM Steven Arzt wrote:
> Hi Vitor,
> 
> The Eclipse plugin for Soot hasn't seen so much attention lately (i.e., in
> the last couple of years). What exactly is the motivation to use the Eclipse
> plugin instead of the command-line interface or the Soot API?
> 
> Best regards,
>   Steven
> 
> -----Ursprüngliche Nachricht-----
> Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA]
> Im Auftrag von Vitor Rodrigues
> Gesendet: Montag, 1. Februar 2016 14:06
> An: soot-list at CS.McGill.CA
> Betreff: [Soot-list] Soot Eclipse Plug-in
> 
> Dear all,
> 
> I'm having trouble in the installation of Soot inside Eclipse (the command-
> line soot works fine). So first I tried to use the "update repository" using
> Eclipse Mars (version 4.5.1) and JRE 1.7, but there are errors at the end
> of this process and the Soot "View" is never visible.
> 
> Then I tried to compile Soot and its Eclipse Plugin from source and it
> worked.
> I just had to change this line in file "SootThread.java":
> 
> setCfgList(soot.Scene.v().getPkgList());
> 
> into:
> 
> setCfgList(new ArrayList(soot.Scene.v().getPkgList()));
> 
> After generating  "soot-plugin.jar", I copied the entire directory
> "ca.mcgill.sable.soot/" to my eclipse plugins directory. After restarting
> Eclipse, the Soot "View" is still not available.
> 
> For our research at the University of Torino, the use of the Eclipse is very
> important in the context of  the work entitled "Abstraction of Shape
> Analysis with Fast and Precise Transformers" by Tal L., Neil I. and Mooly
> S.
> 
> Specifically, we are interested in checking the "absence of
> null-dereferences", using both an abstraction and concretization functions
> in abstract interpretation.
> 
> Best regards,
> Vitor Rodrigues
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list