Struct WholeProgramAlias 

pub struct WholeProgramAlias {
    pub func_summaries: HashMap<String, FuncAliasSummary>,
    pub global_points_to: HashMap<u32, PointsToSet>,
}

Whole-program alias summary

Fields

func_summaries: HashMap<String, FuncAliasSummary>

global_points_to: HashMap<u32, PointsToSet>

Implementations

impl WholeProgramAlias

pub fn new() -> Self

pub fn add_func_summary(&mut self, summary: FuncAliasSummary)

pub fn get_func_summary(&self, func: &str) -> Option<&FuncAliasSummary>

pub fn add_global_points_to(&mut self, var: u32, pts: PointsToSet)

pub fn func_count(&self) -> usize

Trait Implementations

impl Debug for WholeProgramAlias

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WholeProgramAlias

fn default() -> WholeProgramAlias

Returns the “default value” for a type.