Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


Jialun_Thesis.pdf (726.07 KB)

ETD Abstract Container

Abstract Header

Enabling Static Program Analysis Using A Graph Database

Liu, Jialun
http://orcid.org/0000-0002-1169-5333
http://rave.ohiolink.edu/etdc/view?acc_num=wright1610231896170855

Abstract Details

2020, Master of Science (MS), Wright State University, Computer Science.
This thesis presents the design, the implementation, and the evaluation of a database-oriented static program analysis engine for the PHP programming language. This engine analyzes PHP programs by representing their semantics using a graph-based data structure, which will be subsequently stored into a graph database. Such scheme will fundamentally facilitate various program analysis tasks such as static taint analysis, visualization, and data mining. Specifically, these complex program analysis tasks can now be translated into built-in declarative graph database operations with rich features. Our engine fundamentally differs from other existing static program analysis systems that mainly leverage intermediate representation (IRs) to perform analysis. Specifically, our engine leverages the graph-based output of the “Uchecker” system; it translates the output into graph files with the form of CSV and then directly inserts them into a graph database. Our engine offers several unique advantages. First, static program analysis tasks could now be implemented using database queries. Second, our engine supports interactive program analysis through the graph database. Third, through our designed query templates, our engine can perform fine-grained program analysis such as data flow analysis on selected variables. We have applied our engine to analyze PHP programs collected from public program repositories such as GitHub and WordPress, where the experimental results have demonstrated the great effectiveness and efficiency of our system.
Junjie Zhang, Ph.D. (Advisor)
Meilin Liu, Ph.D. (Committee Member)
Bin Wang, Ph.D. (Committee Member)
60 p.
Computer Engineering; Computer Science
Graph Database; Static Analysis

Recommended Citations

Citations

  • Liu, J. (2020). Enabling Static Program Analysis Using A Graph Database [Master's thesis, Wright State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=wright1610231896170855

    APA Style (7th edition)

  • Liu, Jialun. Enabling Static Program Analysis Using A Graph Database. 2020. Wright State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=wright1610231896170855.

    MLA Style (8th edition)

  • Liu, Jialun. "Enabling Static Program Analysis Using A Graph Database." Master's thesis, Wright State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1610231896170855

    Chicago Manual of Style (17th edition)

wright1610231896170855
1,533
© 2020, some rights reserved.Creative Commons License Enabling Static Program Analysis Using A Graph Database by Jialun Liu is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. Based on a work at etd.ohiolink.edu.
This open access ETD is published by Wright State University and OhioLINK.