[Soot-list] Phatom Methods problem

[Eric Bodden]

Hi Vasco.

Soot only models methods/classes as phantom methods/classes when the
code for the respective classes cannot be found. For your particular
example, this means that for some reason the class
java.lang.AbstractStringBuilder is not available on the classpath that
you provide to Soot.

Having said that, by default phantom references are actually disabled.
Normally Soot only enables them when you use -allow-phantom-refs. What
does your command line look like?

Eric

On 21 March 2011 11:48, Vasco Pessanha <coreanu_ at hotmail.com> wrote:
> Hi,
>
> I'm building a framework that analyses Java ByteCode in order to detect
> errores such as Dataraces using Soot.
> When I was testing my framework with the code of a program that uses the
> java.lang.StringBuffer, I noticed that my program didn't analyse the Java
> Bytecode of some methods.
> This class has an "append" method that calls the same method on another
> Abstract Class called java.lang.AbstractStringBuilder that has all the code.
> With some debugging I noticed that my framework doesn't analyse this because
> the method append of the second class is "Phantom" (maybe because it is an
> abstract class).
>
> Does everybody know how can I reach the code of that phantom method?
>
> Thanks,
> Vasco
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt