Ayudante: identifying undesired variable interactions

摘要: A common programming mistake is for incompatible variables to interact, e.g., storing euros in a variable that should hold dollars, or using an array index with the wrong array. This paper proposes novel approach identifying undesired interactions between program variables. Our uses two different mechanisms identify related Natural language processing (NLP) identifies names may have semantics. Abstract type inference (ATI) interact each other. Any discrepancies these indicate error. We implemented our tool called Ayudante. evaluated Ayudante open-source programs: Exim mail server and grep. Although programs been extensively tested deployment years, Ayudante’s first report grep revealed mistake.