01whole.pdf (13.44 MB)
Web interface for the program analyser Skink
thesisposted on 2022-03-28, 12:25 authored by Arvin Matvosian
Development of software in this day and age across a wide range of technologies, from embedded closed systems to vital, complex, globally interconnected systems, at some point or another suffer from unforeseen outcomes in the use of these systems. Software bugs and errors are an unfortunate reality in the software development process that are prone to exist due to the difficulty in producing perfect programs. Software verification systems often become incredibly complex, require a large amount of time, resources and knowledge to install and operate. As such it is not always easily accessible to most developers who want to check their work. The goal of this project is to implement an easy to use web interface for an existing C program analysis tool called Skink, that does not require any installation or the use of complex software or software verification knowledge, that will provide software verification feedback to the user.