GitHub repository: seemantasaha/AttackSynthesis
Primary language: Java
Created: 2018-03-12T23:22:58Z
Description: This is a java project helps to generate attack synthesis using SPF as a symbolic execution tool and ABC to solve string constriants.