default search action
4th SOAP@PLDI 2015: Portland, OR, USA
- Anders Møller, Mayur Naik:
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015. ACM 2015, ISBN 978-1-4503-3585-0 - Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden:
Using targeted symbolic execution for reducing false-positives in dataflow analysis. 1-6 - Cristina Cifuentes, Andrew Gross, Nathan Keynes:
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. 7-12 - Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz:
Combining type-analysis with points-to analysis for analyzing Java library source-code. 13-18 - Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang:
Droidel: a general approach to Android framework modeling. 19-25 - Johannes Lerch, Ben Hermann:
Design your analysis: a case study on implementation reusability of data-flow functions. 26-30
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.