[Soot-list] about Heros

[Marc-Andre Laverdiere-Papineau]

Hello,

I don't remember any IDE example, but there are some IFDS samples in 
src/soot/jimple/toolkits/ide/exampleproblems/

Regards,

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 13-03-28 12:18 PM, Zhang Yufeng wrote:
> 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 <mailto: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
> .
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>