Computing Program Functions

Document Type

Conference Proceeding

Publication Date

1-1-2022

Abstract

Extracting the function of a program from a static analysis of its source code is a valuable capability in software engineering, but it has proved to be an elusive goal, due primarily to the difficulty of deriving the function of iterative statements. Several automated tools obviate this difficulty by unrolling the loops; but this is clearly an imperfect solution, especially in light of the fact that loops capture most of the computing power of a program, are the locus of most of its complexity, and the source of most of its faults. In this paper we discuss the design and ongoing implementation of an automated tool for deriving the function of a program in three steps: first, the source code is mapped onto an abstract syntax tree (AST), using standard parsing technology; then each node of the AST is mapped onto an equation between pre and post states; finally, these equations are submitted to a symbolic computation engine that extracts the final program state as a function of its initial state. Loop functions are derived by pattern matching against semantic recognizers, which capture the requisite programming knowledge and domain knowledge.

Identifier

85134056393 (Scopus)

ISBN

[9781450392877]

Publication Title

Proceedings IEEE ACM 10th International Conference on Formal Methods in Software Engineering Formalise 2022

External Full Text Location

https://doi.org/10.1145/3524482.3527655

First Page

102

Last Page

112

Grant

1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS