Semantic Code Analysis

Wilson, Walter G.; John, Chester C.

Semantic Code Analysis

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 520-524.

Abstract

Logic progr~mming is applied to code analysis in a large IBM development center. It allows general queries about unmodified assembler programs, including data and control flow analysis. It saved weeks of time over the span of a few months. Unmodified assembler listings are converted into PROLOG clausal notation. The operational semantics of the code is captured partly by analysis rules and partly by interactive dialog . Some implicit relations, such as control flow, are made explicit, for efficiency in subsequent queries. These queries are not restricted. They may encompass anything that is provable from the axioms representing the assembler code. The system proved its potential as substantial foundation for software development assistance.

Walter G. Wilson, and Chester C. John. 1983. Semantic Code Analysis. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 520–524. https://ijcai.org/proceedings/1983/124

@inproceedings{ijcai1983p124,
  title     = {Semantic Code Analysis},
  author    = {Wilson, Walter G. and John, Chester C.},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {520--524},
  year      = {1983},
  note      = {Logic Programming},
  url       = {https://ijcai.org/proceedings/1983/124},
}

TY  - CPAPER
TI  - Semantic Code Analysis
AU  - Wilson, Walter G.
AU  - John, Chester C.
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 520
EP  - 524
UR  - https://ijcai.org/proceedings/1983/124
ER  -