Struct ProgramDescription

pub struct ProgramDescription {
    pub controllers: HashMap<DefId, SPDG>,
    pub type_info: HashMap<DefId, TypeDescription>,
    pub instruction_info: HashMap<GlobalLocation, InstructionInfo>,
    pub def_info: HashMap<DefId, DefInfo>,
    /* private fields */
}

The annotated program dependence graph.

Fields

controllers: HashMap<DefId, SPDG>

Entry points we analyzed and their PDGs

type_info: HashMap<DefId, TypeDescription>

Metadata about types

instruction_info: HashMap<GlobalLocation, InstructionInfo>

Metadata about the instructions that are executed at all program locations we know about.

def_info: HashMap<DefId, DefInfo>

Metadata about the DefIds

Implementations

impl ProgramDescription

pub fn canonical_write(&self, path: impl AsRef<Path>) -> Result<(), Error>

Write self using the configured serialization format

pub fn canonical_read( path: impl AsRef<Path>, ) -> Result<ProgramDescription, Error>

Read self using the configured serialization format

impl ProgramDescription

pub fn all_nodes(&self) -> HashSet<GlobalNode>

Gather all data sources that are mentioned in this program description.

Essentially just self.controllers.flat_map(|c| c.keys())

pub fn all_call_sites(&self) -> HashSet<CallString>

Gather all CallStrings that are mentioned in this program description.

Trait Implementations

impl Debug for ProgramDescription

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProgramDescription

fn deserialize<__D>( __deserializer: __D, ) -> Result<ProgramDescription, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProgramDescription

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.