SVF: interprocedural static value-flow analysis in LLVM.

Yulei Sui Jingling Xue

Published in: CC (2016)

Keyphrases

flow analysis
information flow
forensic analysis
databases
information systems
multiscale
decision support