关键词：程序分析；现代开源程序
摘 要：This dissertation describes using program analysis to document and debug modern open sourcesystems software. We address three problems: documenting configuration, debugging configurationerrors, and improving logger configuration.Thanks to the Cloud, developers today often have access to dozens or hundreds of nodes.Managing this hardware requires a large software stack. Often, this software is open-source andcommunity developed. As a result of this development model and the complexities of distributedresource management, modern software systems can have dozens or even hundreds of configurableoptions. The open source development process makes it easy for developers to add options and easyfor documentation to become stale. We offer a static analysis to identify the options present in agiven program and to infer types for them. Our analysis is often more precise than the existinghuman-written documentation.