License for the Program Analyzer Generator (PAG)Research License Agreement • April 6th, 2023
Contract Type FiledApril 6th, 2023This 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.