Links for information-flow-analysis