Program Analysis: An Exploration Of Relational Verification

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.Undergraduat