Skip to main content
Springer Nature Link
Log in

An Integration of Several Different Data Flow Analysis Techniques

  • Conference paper
Trustworthy Computing and Services (ISCTCS 2012)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 320))

Included in the following conference series:

  • 3192 Accesses

Abstract

This paper describes a tool which integrates three different kinds of data flow analysis techniques: null pointer dereference analysis, integer variables differences analysis and single linked list analysis. Each one of them can share and exchange program information with the other two. And also users can add properties manually to enhance the processing capabilities. Through the demonstration in the case study section, we can see that our tool achieves the goal to connect these three analysis techniques and can explore more insightful program information with the artificial help.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers-Principles, Techniques and Tools, 2nd edn. Addison Wesley (2007)

    Google Scholar 

  2. Khedker, U.P., Sanyal, A., Karkare, B.: Data Flow Analysis Theory and Practice. CRC Press (2009)

    Google Scholar 

  3. Allen, F.E., Cocke, J.: A program data flow analysis procedure. Communication of the ACM 19(3), 137–147 (1976)

    Article  MATH  Google Scholar 

  4. Kildall, G.A.: A unified approach to global program optimization. In: Record of the ACM Symposium on Principles of Programming Languages, New York, pp. 194–206 (1973)

    Google Scholar 

  5. Hsieh, C.S.: A fine- grained data- flow analysis framework. Acta Informatica 34(9), 653–665 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  6. Khedler, U.P., Dhamdhere, D.M.: A generalized theory of bit vector data flow analysis. ACM TOPLAS 16(5), 1472–1511 (1994)

    Article  Google Scholar 

  7. Liu, X., Wu, Y., Li, M., Zeng, X.: A Study of Data- flow Analysis Framework Based on Lattice. Computer Engineering and Applications 21(1), 48–51 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Nanjing University, Nanjing, China

    Yuchen Xing, Hanfei Wang & Jianhua Zhao

Authors
  1. Yuchen Xing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hanfei Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianhua Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Beijing University of Posts and Telecommunications, Beijing, China

    Yuyu Yuan  & Xu Wu  & 

  2. The School of Telecommunications Engineering, Beijing University of Posts and Telecommunications Beijing, P. O. Box 128, 100876, Beijing, China

    Yueming Lu

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xing, Y., Wang, H., Zhao, J. (2013). An Integration of Several Different Data Flow Analysis Techniques. In: Yuan, Y., Wu, X., Lu, Y. (eds) Trustworthy Computing and Services. ISCTCS 2012. Communications in Computer and Information Science, vol 320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35795-4_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35795-4_58

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35794-7

  • Online ISBN: 978-3-642-35795-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics