Macquarie University
01whole.pdf (13.44 MB)

Web interface for the program analyser Skink

Download (13.44 MB)
posted 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.


Table of Contents

1. Introduction -- 2. Background literature and related works -- 3. Experimental procedures -- 4. Results -- 5. Discussion -- 6. Conclusions -- 7. Future work -- 8. Abbreviations -- Appendices -- Bibliography.


Empirical thesis. Bibliography: pages 75-76

Awarding Institution

Macquarie University

Degree Type

Thesis bachelor honours


BSc (Hons), Macquarie University, Faculty of Science and Engineering, School of Engineering

Department, Centre or School

School of Engineering

Year of Award


Principal Supervisor

Franck Cassez


Copyright Arvin Matvosian 2017. Copyright disclaimer:




1 online resource (xii, 76 pages diagrams, tables)

Former Identifiers


Usage metrics

    Macquarie University Theses