01whole.pdf (13.44 MB)
Download file

Web interface for the program analyser Skink

Download (13.44 MB)
thesis
posted on 28.03.2022, 12:25 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.

History

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.

Notes

Empirical thesis. Bibliography: pages 75-76

Awarding Institution

Macquarie University

Degree Type

Thesis bachelor honours

Degree

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

Department, Centre or School

School of Engineering

Year of Award

2017

Principal Supervisor

Franck Cassez

Rights

Copyright Arvin Matvosian 2017. Copyright disclaimer: http://mq.edu.au/library/copyright

Language

English

Extent

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

Former Identifiers

mq:70382 http://hdl.handle.net/1959.14/1263206

Usage metrics

Keywords

Exports