Static Interval Analysis of Java Programs Using the Framework Põder
Name
Andre Sinisalu
Abstract
Static program analysis is a method for studying program’s behaviour with the intent of detecting bugs or verifying code quality. The main goal of this thesis is to create an interval analysis module in the framework Põder, which could be used for detecting bugs and inefficiencies in the usage of integer variables in Java programs. The reader is first given an overview of static analysis, the mathematical lattice theory and Java Virtual Machine (JVM) bytecode. After that, the interval analysis module will be created based on the previously described theory. The module will be tested with a test program suite proving that the module can successfully be used for detecting bugs related to the usage of integer variables.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Kalmer Apinis
Defence year
2019