[Soot-list] about Heros

[Eric Bodden]

Hello.

We have one very specific IDE instance here:
https://github.com/secure-software-engineering/SPLlift/blob/develop/cide-spl-ui/src/soot/spl/ifds/SPLIFDSSolver.java

It's described in this paper:
SPLlift ¨C Statically Analyzing Software Product Lines in Minutes
Instead of Years (Eric Bodden, Mira Mezini, Claus Brabrand, T¨¢rsis
Tol¨ºdo, M¨¢rcio Ribeiro, Paulo Borba), In ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI 2013), 2013. (To
appear.)
http://www.bodden.de/pubs/bmb+13spllift.pdf

Cheers,
Eric

On 29 March 2013 07:18, Marc-Andre Laverdiere-Papineau
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> 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
>>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
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