Sui Y, Xue J. SVF: interprocedural static value-flow analysis in LLVM[C]//Proceedings of the 25th international conference on compiler construction. 2016: 265-266.
http://svf-tools.github.io/SVF/
https://yuleisui.github.io/publications/cc16.pdf
https://yuleisui.github.io/publications/SVF_EUROLLVM2016.pdf