[Soot-list] about Heros

[Zhang Yufeng]

Yes, it works well, from more than one minute to several seconds.
Thank you for your help.
By the way, is there an example of the IDE problem?
Yufeng

2013-03-29 



*******************************************
Yufeng Zhang
National Laboratory for Parallel and Distributed Processing
The National University of Defense Technology
ChangSha, China
Email: yuffonzhang at 163.com   
Mailing Address: No. 47 Yan Wachi Street, Changsha, 
Hunan, P.R. China, 410073
*******************************************



发件人： Eric Bodden 
发送时间： 2013-03-28  13:17:01 
收件人： Zhang Yufeng 
抄送： bodden 
主题： Re: about Heros 
 
Hi Yufeng.
In the future could you please ask these kinds of questions through
the Soot mailing list? This would allow others to see the response
there fore future reference.
Soot has an option -no-bodies-for-excluded, which allows you to
exclude the Java runtime library from analysis. Depending on your use
case this might be unsound but it should allow the analysis to
terminate in a few seconds. Please let me know if that works.
http://www.bodden.de/2010/06/04/soot-no-jdk/
Cheers,
Eric
On 28 March 2013 12:18, Zhang Yufeng <yuffonzhang at 163.com> wrote:
> Hi Eric,
> Thank you for reading my mail.
> I want to use Heros in my project.
> Since I am new to soot, so I have several questions about heros.
>
> 1. I use heros (IFDS framework) to analyze a very small class, with only a
> simple (int method(int a, int b) {return a + b} )
>
> But heros need more than 2 minutes on my notebook (i7 core).
> I checked the result of solver.dumpResults(), and found that the csv file is
> more than 200M large.
> In the file, the results of analysi on many third-party library classes are
> included.
> How can I remove this part?
>
> 2. Is there an example of IDE problem?
>
> Thank you very much.
> Yufeng
-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130329/b97f2a4d/attachment.html