Skip to main content
SpringerLink
Log in

Bug Analysis of Android Applications Based on JPF

  • Conference paper
  • First Online:
Smart Computing and Communication (SmartCom 2016)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10135))

Included in the following conference series:

Abstract

Smart phones have occupied an irreplaceable place in our daily life. As software in mobile systems is a far cry from software in traditional computer operating systems, we can’t directly use existing technologies to verify the correctness and reliability of mobile applications. JPF (Java Pathfinder) is a tool to make model detection of Java programs, but it doesn’t support the detection of Android programs. This paper proposes a method which can make JPF support Android in bug detection, especially in the detection of no sleep bugs of energy leak. Using this tool, we analyzed ten open-source Android applications and successfully detected common bugs and no sleep bugs of energy leak, which means we have made progress in enhancing detection speed and in lowering down misjudgement rate.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Jindal, A., Pathak, A., Hu, Y.C., Midkiff, S.: On death, taxes, and sleep disorder bugs in smartphones. In: Proceedings of the Workshop on Power-Aware Computing and Systems, pp. 1–5. ACM (2013)

    Google Scholar 

  2. Qiu, M., Zhong, M., Li, J., Gai, K., Zong, Z.: Phase-change memory optimization for green cloud with genetic algorithm. IEEE Trans. Comput. 64(12), 3528–3540 (2015)

    Article  MathSciNet  Google Scholar 

  3. Gai, K., Qiu, M., Zhao, H.: Cost-aware multimedia data allocation for heterogeneous memory using genetic algorithm in cloud computing. IEEE Trans. Cloud Comput. (2016)

    Google Scholar 

  4. Pathak, A., et al.: What is keeping my phone awake? characterizing and detecting no-sleep energy bugs in smartphone apps. In: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. ACM (2012)

    Google Scholar 

  5. Pathak, A., Charlie Hu, Y., Zhang, M.: Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices. In: Proceedings of the 10th ACM Workshop on Hot Topics in Networks. ACM (2011)

    Google Scholar 

  6. Gottschalk, M., et al.: Removing energy code smells with reengineering services. In: Beitragsband der 42. Jahrestagung der Gesellschaft für Informatik e.v, pp. 441–455 (2012)

    Google Scholar 

  7. Liu, Y., Xu, C., Cheung, S.C.: Where has my battery gone? finding sensor related energy black holes in smartphone applications. In: proceedings of IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE (2013)

    Google Scholar 

  8. Zhang, L., et al.: Adel: an automatic detector of energy leaks for smartphone applications. In: Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. ACM (2012)

    Google Scholar 

  9. Enck, W., et al.: TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: OSDI, vol. 10 (2010)

    Google Scholar 

  10. Jindal, A., et al.: Hypnos: understanding and treating sleep conflicts in smartphones. In: Proceedings of the 8th ACM European Conference on Computer Systems. ACM (2013)

    Google Scholar 

  11. Cai, S., Sun, H., Gu, S., Ming, Z.: Learning concept hierarchy from folksonomy. In: Proceedings of Eighth Web Information Systems, Applications Conference, pp. 47–51. IEEE Computer Society (2011)

    Google Scholar 

  12. Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. Int. J. Softw. Tools Technol. Transf. 2(4), 366–381 (2000)

    Article  MATH  Google Scholar 

  13. Vekris, P., et al.: Towards verifying android apps for the absence of no-sleep energy bugs. In: Proceedings of the 2012 USENIX Conference on Power-Aware Computing and Systems. USENIX Association (2012)

    Google Scholar 

  14. van der Merwe, H., van der Merwe, B., Visser, W.: Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6), 1–5 (2012)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shenzhen University, Shenzhen City, Guangdong Province, China

    Libin Wu, Yahui Lu, Jing Qi, Shubin Cai, Bo Deng & Zhong Ming

  2. Engineering Research Center of Mobile Internet Application Middleware, Shenzhen, Guangdong Province, China

    Libin Wu, Yahui Lu, Jing Qi, Shubin Cai, Bo Deng & Zhong Ming

Authors
  1. Libin Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yahui Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jing Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shubin Cai
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bo Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Zhong Ming
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shubin Cai .

Editor information

Editors and Affiliations

  1. Pace University, New York, New York, USA

    Meikang Qiu

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Wu, L., Lu, Y., Qi, J., Cai, S., Deng, B., Ming, Z. (2017). Bug Analysis of Android Applications Based on JPF. In: Qiu, M. (eds) Smart Computing and Communication. SmartCom 2016. Lecture Notes in Computer Science(), vol 10135. Springer, Cham. https://doi.org/10.1007/978-3-319-52015-5_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-52015-5_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-52014-8

  • Online ISBN: 978-3-319-52015-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation