Tamiflex now supports reflective field accesses

[Eric Bodden]

Hi all.

Just to let you know. The HEAD version in mercurial now supports field
accesses through Field.set* and Field.get* methods. This supports
static analyses that are field sensitive.

Thanks to Andreas Sewe for extending the Play-Out Agent! The agent
will now log these accesses like all other reflective method calls.
The Booster is also now capable of "materializing" these accesses into
regular field accesses, making the resulting programs sound for field
sensitive analyses.

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