Static File Path Analysis for Reliable Resource Locating

dc.contributor.advisorWang, Xiaoyin
dc.contributor.authorRodriguez, Rodney Xavier
dc.contributor.committeeMemberNiu, Jianwei
dc.contributor.committeeMemberSlavin, Rocky
dc.contributor.committeeMemberLama, Palden
dc.contributor.committeeMemberMeng, Na
dc.date.accessioned2024-02-12T19:51:35Z
dc.date.available2024-02-12T19:51:35Z
dc.date.issued2022
dc.descriptionThis item is available only to currently enrolled UTSA students, faculty or staff. To download, navigate to Log In in the top right-hand corner of this screen, then select Log in with my UTSA ID.
dc.description.abstractModern software systems are becoming more complex as their growing software dependencies and resources continue to inflate with each advancement; often requiring a vast collection of third-party API references, OS level dependencies, configuration files, and much more. Maintaining all of these resources can be a difficult task, especially when software supports multiple system configurations and a wide range of dependency versions. Multiple potential issues arise when software refers to these resources, such as: invalid or out-of-date URLs, file path errors, or invalid file manipulations in scripts. We are able to use static analysis to observe the flow of resources and determine the validity of operation upon these resources. This dissertation introduces an analysis framework that abstracts possible values of resource path references which can be used to help software developers maintain different types of resource referencing code. By utilizing the results produced by our framework it is possible to ensure successful execution, code transplantation, identify dependency issues and warn against potential errors. This dissertation also describes how we applied our framework to summarize the network behaviors of applications, support repairing of errors in Dockerfiles, and summarize a file system state resulting from shell script execution.
dc.description.departmentComputer Science
dc.format.extent91 pages
dc.format.mimetypeapplication/pdf
dc.identifier.isbn9798438750253
dc.identifier.urihttps://hdl.handle.net/20.500.12588/5138
dc.languageen
dc.subjectabstract interpretation
dc.subjectautomata
dc.subjectdocker
dc.subjectstatic analysis
dc.subject.classificationComputer science
dc.subject.classificationComputer engineering
dc.subject.classificationInformation technology
dc.subject.classificationInformation science
dc.titleStatic File Path Analysis for Reliable Resource Locating
dc.typeThesis
dc.type.dcmiText
dcterms.accessRightspq_closed
thesis.degree.departmentComputer Science
thesis.degree.grantorUniversity of Texas at San Antonio
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Rodriguez_utsa_1283D_13599.pdf
Size:
510.03 KB
Format:
Adobe Portable Document Format