{"type":"ScholarlyArticle","title":"Semantic Code Analysis","authors":[{"name":"Walter G. Wilson","slug":"walter-g-wilson","given":"Walter G.","family":"Wilson","affiliation":""},{"name":"Chester C. John","slug":"chester-c-john","given":"Chester C.","family":"John","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/124","pdf":"https://ijcai.org/proceedings/1983/0124.pdf","markdown":"https://ijcai.org/proceedings/1983/124.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/124","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":124,"pages":{"first":520,"last":524},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}