Annotation-Based Static Analysis for Personal Data Protection
- 6 March 2020
- book chapter
- Published by Springer Nature
- p. 343-358
Abstract
No abstract availableKeywords
All Related Versions
This publication has 29 references indexed in Scilit:
- Equifax and the Latest Round of Identity Theft RouletteComputer, 2017
- Moving Fast with Software Verification2015
- FlowDroidACM SIGPLAN Notices, 2014
- Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities2011
- Compositional shape analysis by means of bi-abductionACM SIGPLAN Notices, 2009
- Using Static Analysis to Find BugsIEEE Software, 2008
- Security metrics for source code structures2008
- Static analysis for securityIEEE Security & Privacy, 2004
- Modular Static Program Analysis2002
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977