Mohammad Rifat Arefin

Toward Inferring Accurate Context-free Grammars for Big Languages in a Black-box Setting

Black-box context-free grammar inference is crucial for program analysis, reverse engineering, program understanding, fuzzing, and security. But existing approaches such as Arvada, TreeVada, Kedavra, and Cucio struggle with scalability, accuracy, and grammar readability, especially on larger languages. To address this...