[Soot-list] Soot dataflow analysis from commandline?
Willy Sun
sunfanyun at gmail.com
Tue Aug 1 02:26:14 EDT 2017
So did u find any solution for dumping the cfgs with the in and out sets
from soot along the way? If yes, could you share your method ? Thanks!
Mike Shah於 2017年3月14日星期二 UTC+8上午3時14分25秒寫道:
>
> Ah excellent, I was able to get soot to work from the command line.
>
> As far as performing a data flow analysis from the command line, are there
> any examples for dumping the cfgs with the in and out sets from soot along
> the way? I don't want to duplicate work. But if I am otherwise constrained
> to the eclipse plugin, I will find a way to make that work.
>
> Thanks,
> Mike
>
> _______________________________
> Mike Shah
> Ph.D. Candidate
> Tufts Graduate Student Council President
> ase.tufts.edu/gsc
> http://michaeldshah.net
> https://twitter.com/MichaelShah
>
> On Mon, Mar 13, 2017 at 5:31 AM, Arzt, Steven <steve... at sit.fraunhofer.de
> <javascript:>> wrote:
>
>> Hi,
>>
>>
>>
>> If you implement your own data flow analysis, you have to create your own
>> main() method that registers your custom phase into Soot and then calls
>> Soot’s normal main() method. You can find this as “MyMain” in the example
>> on the page that you mentioned. This is the program that you can then
>> launch from the command line.
>>
>>
>>
>> Best regards,
>>
>> Steven
>>
>>
>>
>> *From:* Soot-list [mailto:soot-lis... at cs.mcgill.ca <javascript:>] *On
>> Behalf Of *Mike Shah
>> *Sent:* Sunday, March 12, 2017 9:50 PM
>> *To:* soot... at cs.mcgill.ca <javascript:>
>> *Subject:* [Soot-list] Soot dataflow analysis from commandline?
>>
>>
>>
>> Are there any examples of running soot as a dataflow analysis tool from
>> the commandline?
>>
>>
>>
>> I cannot seem to get the plugin installed on the latest eclipse tool, and
>> would like to just run my dataflow analysis from the commandline.
>>
>>
>>
>> I am trying to use the GuaranteedDefs example from the tutorial.
>>
>>
>> https://github.com/Sable/soot/wiki/Implementing-an-intra-procedural-data-flow-analysis-in-Soot
>>
>>
>>
>> I'm assuming I can just dump out the tags as xml--but an example would be
>> helpful!
>>
>>
>>
>> Thanks!
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20170731/e20a4066/attachment.html>
More information about the Soot-list
mailing list