Vi presenterar en algoritm för att syntetisera en kontextfri grammatik som kodar språket för giltiga programingångar från en uppsättning indataexempel och tillgång till blackbox till programmet. Vår algoritm tar upp brister i befintliga grammatikinferensalgoritmer, som både allvarligt övergeneraliserar och är oöverkomligt långsamma. Vår implementering, GLADE, utnyttjar grammatiken syntetiseras av vår algoritm för att fuzz testprogram med strukturerade ingångar. Vi visar att GLADE väsentligt ökar den inkrementella täckningen för giltiga ingångar jämfört med två baslinjefuzzers.
Till exempel presenterar REF en algoritm för att syntetisera en kontextfri grammatik från en given uppsättning ingångar.
Synthesizing program input grammars
{'venue': 'PLDI 2017', 'journal': None, 'mag_field_of_study': ['Computer Science']}