[Soot-list] Soot Eclipse Plug-in

[Steven Arzt]

Hi Eric,

You have more experience with the Eclipse plugin for Android and also with
software product lines. What's the status of the plugin and how can it best
be used here?

Best regards,
  Steven

-----Ursprüngliche Nachricht-----
Von: Vitor Rodrigues [mailto:vitor at di.unito.it] 
Gesendet: Montag, 1. Februar 2016 15:04
An: Steven Arzt
Cc: soot-list at cs.mcgill.ca; Ferruccio Damiani
Betreff: Re: AW: [Soot-list] Soot Eclipse Plug-in

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