Epitaxis: A System for Syntactic and Semantic Software Queries
đź“ś Abstract
Epitaxis is a system that permits flexible querying of software, allowing the specification of both syntactic and semantic queries. The system is designed to allow massive sets of software to be queried in realistic time, in order to find specific issues such as bugs. The system has been implemented and used on a variety of large code bases.
✨ Summary
The paper titled “Epitaxis: A System for Syntactic and Semantic Software Queries” by Klaus Havelund, Matthew Smith, and Rajeev Joshi introduces the Epitaxis system, which facilitates flexible querying of software systems to detect issues such as bugs by allowing both syntactic and semantic queries. The authors provide evidence that Epitaxis is capable of handling massive code bases with realistic performance metrics. The system aims to enhance software verification and fault detection by applying static analysis principles, contributing to improved program analysis techniques. As of the search date, there are no notable citations or direct references to this paper’s explicit impact on industry or subsequent research publicly available. Thus, it seems to have had limited influence in broader academic discourse or commercial applications, suggesting that while the methodology may be sound, its adoption and further development have not been prominent or widely recognized.