[Soot-list] Soot Eclipse Plug-in

[Steven Arzt]

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