GitHub repository: JuanmaCopia/spf-pli
Primary language: Java
Description: PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints