Add support for variadic functions to InfoFlowAnalysis.h and add extern semantics for vasprintf