search

secure-software-engineering / tamiflex

TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
42 stars 13 forks source link

Viewing control graph and transformed classes #3

Closed jyotigajrani closed 8 years ago

jyotigajrani commented 8 years ago

I have done all the steps successfully for Tamiflex using Tutorial: https://github.com/Sable/soot/wiki/Using-Soot-and-TamiFlex-to-analyze-DaCapo

Where does the generated control graph can be seen? The tutorial says that tranformed classes are in sootified/avrora-small/ but I have checked that still the class file contains reflecsive calls (e.g. Avrora.class). How can i check that reflecsive calls have been transformed.

Thanks Jyoti Gajrani PhD scholar MNIT Jaipur (INDIA)

ericbodden commented 8 years ago

Hello. Reflective calls are not removed but augmented with "normal calls". Please take a look at our technical report for details.