Hello.
After changing Soot/abc to the Java7Frontend I am having the problems
that all numerical constants in processed Java source code get
interpreted as having the value 0.
The problem seems to be due to the field
abc.ja.cjp.jrag.NumericLiteral.digits never being assigned a value. It
is initialized to "" but then never changed afterwards. In particular
the method IntegerLiteral.buildIntegerLiteral(..) seems never to be
called. I am afraid I don't quite understand the changes to literals
between the 1.5 and 7 frontends, so it's hard for me to debug this.
Does anyone have any idea what could be causing this?
Eric
--
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
Received on Sun Jan 13 2013 - 12:10:23 CET