Sign in

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.

Johannes SpäthKarim AliEric Bodden
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • flow analysis
  • sensitive data
  • information flow
  • data storage
  • data sets
  • database systems
  • management system
  • computer systems
  • privacy preserving
  • malicious users