Retargeting Android applications to Java bytecode

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012

Volumn , Issue , 2012, Pages

  Octeau, Damien ^a   Jha, Somesh ^b   McDaniel, Patrick ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b University of Wisconsin Madison   (United States)

Author keywords

Android; Dalvik bytecode; Dalvik retargeting

Indexed keywords

ANDROID; BYTECODES; CONSTRAINT SOLVING; DALVIK RETARGETING; INTERMEDIATE REPRESENTATIONS; JAVA BYTE CODES; JAVA CLASS FILES; JAVA SOURCE; OPCODES; PROGRAM ANALYSIS; TOOL USE; TRANSLATION RULES;

COMMERCE; COMPUTER AIDED SOFTWARE ENGINEERING; ROBOTS;

JAVA PROGRAMMING LANGUAGE;

EID: 85081771834     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2393596.2393600     Document Type: Conference Paper

References (38)

1. dex2jar. https://code.google.com/p/dex2jar/.
2. Jad java decompiler download mirror. http://http://www.varaneckas.com/ jad.
3. Android apps on the Android market, March 15, 2012. http://www.appbrain. com/stats/number-of-android-apps, 2012.
4. I. Asrar. Android.counterclank found in official android market. http://www.symantec.com/connect/blogs/androidcounterclank-found-official- android-market/.
5. B. Bellamy, P. Avgustinov, O. de Moor, and D. Sereni. Efficient local type inference. In Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 475-492, 2008.
6. C. Cifuentes. Interprocedural data flow decompilation. Journal of Programming Languages, 4:77-99, 1996.
7. E. Dupuy. Jd java decompiler. http://java.decompiler.free.fr/.
8. W. Enck, P. Gilbert, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth. Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In Proc. of the 9th USENIX conf. on OS design and implementation, 2010.
9. W. Enck, D. Octeau, P. McDaniel, and S. Chaudhuri. A study of android application security. In Proceedings of the 20th USENIX conference on Security, pages 21-21, 2011.
10. E. Gagnon, L. J. Hendren, and G. Marceau. Efficient inference of static types for java bytecode. In SAS'00, pages 199-219, 2000.
11. Gartner. Gartner says android to command nearly half of worldwide smartphone operating system market by year-end 2012. http://www.gartner.com/it/ page.jsp?id=1622614, April 2011.
12. Google. Dalvik vm: Code and documentation. http://code.google.com/p/ dalvik/.
13. J. Hamada. New android threat gives phone a root canal. http://www.symantec.com/connect/blogs/new-android-threat-gives-phone-root-canal, March 2011.
14. HP-Fortify. Source Code Analyzer (SCA). https://www.fortify.com/products/ hpfssc/source-code-analyzer.html.
15. IBM. Wala: T.J. watson libraries for analysis. http://wala.sourceforge. net/wiki/index.php/Main-Page, October 2011.
16. R. T. Johnson. Verifying Security Properties using Type-Qualifier Inference. PhD thesis, EECS Department, University of California, Berkeley, Jan 2007.
17. Kaspersky Lab. First SMS Trojan detected for smartphones running Android. http://www.kaspersky.com/about/news/virus/2010/First-SMS-Trojan-detected-for- smartphones-running-Android, Aug. 2010.
18. D. Kellogg. In U.S. Market, New Smartphone Buyers Increasingly Embracing Android. http://blog.nielsen.com/nielsenwire/online-mobile/in-u-s-market-new- smartphone-buyers-increasingly-embracing-android/, Sep. 2011.
19. T. B. Knoblock and J. Rehof. Type elaboration and subtype completion for java bytecode. ACM Trans. Program. Lang. Syst., 23:243-272, March 2001.
20. J. Lim and T. Reps. A system for generating static analyzers for machine instructions. In Proc. International Conference on Compiler Construction (CC), 2008.
21. T. Lindholm and F. Yellin. Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd edition, 1999.
22. P. McDaniel and W. Enck. Not So Great Expectations: Why Application Markets Haven't Failed Security. IEEE Security & Privacy Magazine, 8(5):76-78, September/October 2010.
23. J. Meyer, D. Reynaud, and I. Kharon. Jasmin home page. http://jasmin.sourceforge.net/, 2004.
24. J. Miecznikowski and L. Hendren. Decompiling java using staged encapsulation. In WCRE '01: Proc. of the 8th Working Conf. on Reverse Engineering. IEEE Computer Society.
25. J. Miecznikowski and L. J. Hendren. Decompiling java bytecode: Problems, traps and pitfalls. In CC '02: Proc. of the 11th International Conference on Compiler Construction, pages 111-127, London, UK, 2002. Springer-Verlag.
26. G. Morrisett, D. Walker, K. Crary, and N. Glew. From system f to typed assembly language. In The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998.
27. A. C. Myers. Jflow: practical mostly-static information flow control. In Proc. of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1999.
28. N. A. Naeem and L. Hendren. Programmer-friendly decompiled java. In ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension, pages 327-336. IEEE Computer Society, 2006.
29. D. Octeau, W. Enck, and P. McDaniel. The ded Decompiler. Technical Report NAS-TR-0140-2010, Network and Security Research Center, Department of Computer Science and Engineering, Pennsylvania State University, University Park, PA, USA, Sep. 2010.
30. D. Octeau, S. Jha, and P. McDaniel. Retargeting Android Applications to Java Bytecode. Technical Report NAS-TR-0150-2011, NSRC, Dept. of CSE, Pennsylvania State University, Sep. 2011.
31. D. Octeau, P. McDaniel, and W. Enck. ded: Decompiling Android Applications. http://siis.cse.psu.edu/ded/, 2011.
32. D. Octeau, P. McDaniel, and S. Jha. Dare: Dalvik retargeting. http://siis.cse.psu.edu/dare/, 2012.
33. Oracle. Maxine vm. https://wikis.oracle.com/display/MaxineVM/Home, 2004.
34. T. A. Proebsting and S. A. Watterson. Krakatoa: Decompilation in java (does bytecode reveal source?). In 3rd USENIX Conference on Object-Oriented Technologies and Systems, 1997.
35. N. Ramsey and J. Davidson. Specifying instruction semantics using λ-RTL. Unpublished manuscript, 1999.
36. J. Rehof and T. A. Mogensen. Tractable constraints in finite semilattices. In Science of Computer Programming, pages 285-300. Springer-Verlag, 1996.
37. R. Vallee-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing java bytecode using the soot framework: Is it feasible? In International Conference on Compiler Construction, LNCS 1781, pages 18-34, 2000.
38. H. van Vliet. Mocha, the java decompiler. http://www.brouhaha.com/~eric/ software/mocha/, 2001.