Four Languages and Lots of Macros: Analyzing Autotools Build Systems
Build systems are crucial for software system development, however there is a lack of tool support to help with their high maintenance overhead. GNU Autotools are widely used in the open source community, but users face various challenges from its hard to comprehend nature and staging of multiple code generation steps, often leading to low quality and error-prone build code. In this paper, we present a platform, AutoHaven, to provide a foundation for developers to create analysis tools to help them understand, maintain, and migrate their GNU Autotools build systems. Internally it uses approximate parsing and symbolic analysis of the build logic. We illustrate the use of the platform with two tools: ACSense helps developers to better understand their build systems and ACSniff detects build smells to improve build code quality. Our evaluation shows that AutoHaven can support most GNU Autotools build systems and can detect build smells in the wild.
this URL might only work when visiting from a http://www.sigplan.org/ URL.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00
|Four Languages and Lots of Macros: Analyzing Autotools Build Systems|
Jafar M. Al-Kofahi Iowa State University, USA, Suresh Kothari Iowa State University, USA, Christian Kästner Carnegie Mellon University, USADOI Authorizer link
|Avoiding Useless Mutants|
Leonardo Fernandes Federal University of Pernambuco, Brazil, Márcio Ribeiro Federal University of Alagoas, Brazil, Luiz Carvalho Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Brazil, Melina Mongiovi Federal University of Campina Grande, Brazil, Andre Santos , Ana Cavalcanti University of York, UK, Fabiano Ferrari Federal University of São Carlos, Brazil, José Carlos Maldonado University of São Paulo, BrazilDOI Authorizer link
|Silverchain: A Fluent API Generator|
Tomoki Nakamaru University of Tokyo, Japan, Kazuhiro Ichikawa University of Tokyo, Japan, Tetsuro Yamazaki University of Tokyo, Japan, Shigeru Chiba University of Tokyo, JapanDOI Authorizer link
|Parser Generation by Example for Legacy Pattern LanguagesShort paper|
Vadim Zaytsev Raincode Labs, BelgiumDOI Authorizer link