Hypercollecting Semantics and its Application to Static Analysis of Information Flow.
Mounir AssafDavid A. NaumannJulien SignolesEric TotelFrédéric TronelPublished in: CoRR (2016)
Keyphrases
- information flow
- static analysis
- dynamic analysis
- flow analysis
- source code
- social networks
- communication networks
- abstract interpretation
- regular expressions
- java card
- information flows
- symbolic execution
- information security
- multi threaded
- flow graph
- logic programming
- supply chain
- dynamic aspects
- query language
- matching algorithm
- object oriented