License for the Program Analyzer Generator (PAG)May 31st, 2021
FiledMay 31st, 2021This document is the research license agreement for the Program Analyzer Generator (PAG). The Program Analyzer Generator (PAG) is a tool for the generation of program analyzers.