PPT-Merlin: Inferring Specifications for Explicit Information F

Ben Livshits Aditya Nori Sriram Rajamani Anindya Banerjee Web application vulnerabilities are a serious threat addressed by static analysis tools Microsoft CatNet

graph specification readdata1 merlin specification graph merlin readdata1 vulnerabilities cleanse readdata2 net sink writedata source inference factor constraints cat

Presentation Embed Code

<iframe width="560" height="315" src="https://www.docslides.com/embed/239930" frameborder="0" allowfullscreen></iframe>

Download Presentation

Download Presentation The PPT/PDF document "Merlin: Inferring Specifications for Exp..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.