Hypercollecting semantics and its application to static analysis of information flow.
Mounir AssafDavid A. NaumannJulien SignolesEric TotelFrédéric TronelPublished in: POPL (2017)
Keyphrases
- information flow
- static analysis
- dynamic analysis
- source code
- symbolic execution
- communication networks
- flow analysis
- information flows
- logic programming
- information security
- java card
- abstract interpretation
- social networks
- regular expressions
- supply chain
- database
- dynamic aspects
- multi threaded
- flow graph
- information propagation
- test suite
- semantic information
- open source
- data mining