Title:
Program Analysis: An Exploration Of Relational Verification
Program Analysis: An Exploration Of Relational Verification
Authors
Ryan, Nicholas K.
Authors
Advisors
Harris, William R.
Advisors
Associated Organizations
Organizational Unit
Organizational Unit
Organizational Unit
Series
Collections
Supplementary to
Permanent Link
Abstract
Program analysis is a quickly growing field.
We attempt to tackle new problems regarding program equivalence, concurrent programs, and information flow.
As these problems have not been addressed at the same level we desire, there are no adequate testing suites.
Previous tests for program analysis generally consisted of `toy programs' which was not a trend we wanted to follow.
As such we began exploring new resources for testing such as coding practice problems, industry code, and related academic research.
We found many unique testing materials which satisfy many program analysis problems as the code we analyzed was `real-world' code.
By `real-world' we mean code which was not written purely for testing.
This code was written to solve a problem in industry or research with no knowledge of our analysis.
In the end we hope to provide a database of benchmarks which can be used for future projects by the program analysis community.
Sponsor
Date Issued
2016-07-18
Extent
Resource Type
Text
Resource Subtype
Undergraduate Thesis