Annotation-Based Static Analysis for Personal Data Protection - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Annotation-Based Static Analysis for Personal Data Protection

Kalle Hjerppe
  • Function : Author
  • PersonId : 1113495
Jukka Ruohonen
  • Function : Author
  • PersonId : 1042910
Ville Leppänen
  • Function : Author
  • PersonId : 1042912


This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software development. To this end, the paper proposes a design of annotating classes and functions that process personal data. The design serves two primary purposes: on one hand, it provides means for software developers to document their intent; on the other hand, it furnishes tools for automatic detection of potential violations. This dual rationale facilitates compliance with the General Data Protection Regulation (GDPR) and other emerging data protection and privacy regulations. In addition to a brief review of the state-of-the-art of static analysis in the data protection context and the design of the proposed analysis method, a concrete tool is presented to demonstrate a practical implementation for the Java programming language.
Fichier principal
Vignette du fichier
496005_1_En_22_Chapter.pdf (411.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03378964 , version 1 (14-10-2021)





Kalle Hjerppe, Jukka Ruohonen, Ville Leppänen. Annotation-Based Static Analysis for Personal Data Protection. 14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.343-358, ⟨10.1007/978-3-030-42504-3_22⟩. ⟨hal-03378964⟩
45 View
1 Download



Gmail Facebook X LinkedIn More