Abstract
Program analysis is the process of gathering deeper insights about a source code and analysing them to resolve software problems of arbitrary complexity. The key challenge in program analysis is to keep it fast, precise and straightforward. This research focuses on three key objectives to achieve an efficient program analysis: (i) expressive data representation, (ii) optimised data structure and (iii) fast data processing mechanisms. State of the art technologies such as Resource Description Framework (RDF) as data representation format, triplestores as the storage & processing layer, and datalog to represent program analysis rules are considered in our research. diagram(BDD) to be embedded in the triplestore. Additionally, an ontology is being designed to standardise the definitions of concepts and representation of the knowledge in the program analysis domain.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 13th IEEE International Conference on eScience, eScience 2017 |
| Publisher | IEEE |
| Pages | 440-441 |
| Number of pages | 2 |
| ISBN (Electronic) | 9781538626863 |
| DOIs | |
| Publication status | Published - 14 Nov 2017 |
| Event | 13th IEEE International Conference on eScience, eScience 2017 - Auckland, New Zealand Duration: 24 Oct 2017 → 27 Oct 2017 |
Conference
| Conference | 13th IEEE International Conference on eScience, eScience 2017 |
|---|---|
| Country/Territory | New Zealand |
| City | Auckland |
| Period | 24/10/17 → 27/10/17 |
Keywords
- declarative program analysis
- incremental program analysis
- semantics and graph based program analysis
ASJC Scopus subject areas
- Agricultural and Biological Sciences (miscellaneous)
- Biochemistry, Genetics and Molecular Biology (miscellaneous)
- Computer Networks and Communications
- Computer Science Applications
- Computers in Earth Sciences
- Social Sciences (miscellaneous)