Dexpler: Converting android dalvik bytecode to jimple for static analysis with soot

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012

Volumn , Issue , 2012, Pages 27-38

  Bartel, Alexandre ^a   Klein, Jacques ^a   Monperrus, Martin ^b  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b UNIV LILLE   (France)

Author keywords

Android; Dalvik bytecode; Jimple; Soot; Static analysis

Indexed keywords

ANDROID; BYTECODES; FLOW ANALYSIS; INTERNAL REPRESENTATION; JIMPLE;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; ROBOTS; SOOT;

STATIC ANALYSIS;

EID: 84863492870     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2259051.2259056     Document Type: Conference Paper

References (23)

1. B. Bellamy, P. Avgustinov, O. de Moor, and D. Sereni. Efficient local type inference. In G. E. Harris, editor, OOPSLA, pages 475-492. ACM, 2008. ISBN 978-1-60558-215-3.
2. Ben Gruver, et al. Smali: An assembler/disassembler for android's dex format. http://eode.google.eom/p/smali/Last accessed: March 20, 2012.
3. P. Cousot and R. Cousot. An abstract interpretation-based framework for software watermarking. ACM SIGPLAN Notices, 39(1):173-185, Jan. 2004. ISSN 0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic).
4. M. Dahm. Byte code engineering. In Proceedings of Java-Informations-Tage (JIT'99), pages 267-277, Dusseldorf, Deutchland, Sept. 1999. ISBN 3-540-66464-5.
5. A. Desnos and G. Gueguen. Android: From reversing to decompilation. In Blackhat, 2011.
6. W. Enck, D. Octeau, P. McDaniel, and S. Chaudhuri. A study of android application security. In Proceedings of the 20th USENIX Security Symposium, San Francisco, CA, aug 2011.
7. W. Enck, D. Octeau, P. McDaniel, and S. Chaudhuri. A study of android application security. In Proc. USENIX Security'11, pages 21-21, Berkeley, CA, USA, 2011.
8. L.-A. Fredlund. Guaranteeing correctness properties of a java card applet. Electr. Notes Theor. Comput. Sci, 113:217-233, 2005. (Pubitemid 40073314)
9. IBM. The T.J. Watson Libraries for Analysis (Wala). http://wala. sourceforge.net Last accessed: March 20, 2012.
10. Jonathan Meyer, Daniel Reynaud. Jasmin. http://jasmin.sourceforge.net.
11. P. Lam, E. Bodden, O. Lhotak, and L. Hendren. The Soot framework for Java program analysis: a retrospective. In Cetus Users and Compiler Infastructure Workshop (CETUS 2011), Oct. 2011. URL http://www.bodden.de/pubs/lblh11soot.pdf.
12. J. Meyer and T. Downing. Java Virtual Machine. O'Reilly, 1997.
13. R. Milner. A theory of type polymorphism in programming. JCSS, 17:348-375, 1978.
14. G. Paller. Dedexer. http://dedexer.sourceforge.net/Last accessed: March 20, 2012.
15. G. Paller. Dalvik opcodes. http://pallergabor.uw.hu/androidblog/dalvik- opcodes.html Last accessed: March 20, 2012.
16. Panxiaobo, et al. Dex2jar: Tools to work with android.dex and java.class files. http://code.google.com/p/dex2jar/Last accessed: March 20, 2012.
17. M. Schnefeld. Reconstructing dalvik applications. In Confidence, 2009.
18. M. Sosonkin, G. Naumovich, and N. Memon. Obfuscation of design intent in object-oriented applications. In M. Yung, editor, Proceedings of the 2003 ACM workshop on Digital rights management (DRM-03), pages 142-153, New York, Oct. 27 2003. ACM Press. (Pubitemid 40681750)
19. J. Tiuryn. Type inference problems: A survey. In MFCS, pages 105-120, 1990.
20. R. Vallee-Rai, L. Hendren, V. Sundaresan, E. G. Patrick Lam, and P. Co. Soot - a java optimization framework. In Proceedings of CASCON1999, pages 125-135, 1999.
21. A. Varma and S. S. Bhattacharyya. Java-through-C compilation: An enabling technology for java in embedded systems. In DATE, pages 161-167. IEEE Computer Society, 2004. ISBN 0-7695-2085-5.
22. E. Yahav and G. Ramalingam. Verifying safety properties using separation and heterogeneous abstractions. ACM SIG- PLAN Notices, 39(6):25-34, May 2004. ISSN 0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic).
23. C. Zhang, D. Yan, J. Zhao, Y. Chen, and S. Yang. BPGen: an automated breakpoint generator for debugging. In J. Kramer, J. Bishop, P. T. Devanbu, and S. Uchitel, editors, ICSE (2), pages 271-274. ACM, 2010. ISBN 978-1-60558-719-6.