{"ref":"lawdb-attack","ref_type":"branch","master_branch":"master","description":"This is a java project helps to generate attack synthesis using SPF as a symbolic execution tool and ABC to solve string constriants.","pusher_type":"user"}
{"actor":{"display_login":"seemantasaha"}}