Hypercollecting semantics and its application to static analysis of information flow

DOI10.1145/3009837.3009889zbMath1380.68113arXiv1608.01654OpenAlexW3099266052MaRDI QIDQ5370922

Éric Totel, David A. Naumann, Julien Signoles, Mounir Assaf, Frédéric Tronel

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.01654

zbMATH Keywords

static analysisabstract interpretationinformation flowhyperproperties

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Constraint-based relational verification ⋮ Sound symbolic execution via abstract interpretation and its application to security ⋮ Constructive Galois Connections

This page was built for publication: Hypercollecting semantics and its application to static analysis of information flow