pub fn get_stubbed_variadic_symbols(
) -> BTreeMap<&'static str, (usize, AccessPattern)>Expand description
Return a map that maps names of stubbed variadic symbols to a tuple consisting of:
- the index of the format string parameter of the symbol
- the access pattern that the called symbols uses to access its variadic parameters.
Note that the access pattern may vary between variadic parameters,
e.g. some parameters may only be read and not derefenced by a call to
printf. But we still approximate all accesses by the the maximal possible access to these parameters.