The SourceGraph Program

Miljenovic, Ivan Lazar (2010). The SourceGraph Program. In: PEPM '10: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Madrid, Spain, (151-154). 18-19 January, 2010. doi:10.1145/1706356.1706384

Author Miljenovic, Ivan Lazar
Title of paper The SourceGraph Program
Conference name ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Conference location Madrid, Spain
Conference dates 18-19 January, 2010
Proceedings title PEPM '10: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Journal name Pepm '10: Proceedings of the 2010 Acm Sigplan Workshop On Partial Evaluation and Program Manipulation
Place of Publication New York, N.Y. U.S.A.
Publisher Assoc for Computing Machinery
Publication Year 2010
Sub-type Fully published paper
DOI 10.1145/1706356.1706384
ISBN 9781605587271
Start page 151
End page 154
Total pages 3
Collection year 2011
Language eng
Abstract/Summary As software has increased in size and complexity, a range of tools has been developed to assist programmers in analysing the structure of their code. One of the key concepts used for such analysis is the concept of a call graph, which is used to represent which entities in a code base call other entities. However, most tools which use call graphs are limited to either visualisation for documentation purposes (such as Doxygen) or for dynamic analysis to find areas to optimise in the software using profiling tools such as gprof. SourceGraph is a new tool which takes a different approach to software analysis using call graphs, for projects written in Haskell. It creates a static call graph directly from the source code and then uses it to perform static analysis using graph-theoretic techniques with the aim of helping the programmer understand how the different parts of their program interact with each other. Whilst still a work in progress, it can already be used to find possible problems in the code base such as unreachable areas and cycles or cliques in the function calls as well as other useful information. SourceGraph thus provides programmers not only with various ways of visualising their software, but helps them to understand what their code is doing and how to improve it. Copyright © 2010 ACM.
Subjects 0105 Mathematical Physics
Keyword Software Analysis
Static Analysis
Call Graph
Graph Theory
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

Document type: Conference Paper
Collections: School of Mathematics and Physics
Official 2011 Collection
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Sun, 18 Apr 2010, 00:07:00 EST