Struct DiscoveryQueue 

pub struct DiscoveryQueue { /* private fields */ }

The pending-discovery queue and durable outcome state.

Implementations

impl DiscoveryQueue

pub fn insert(&mut self, discovery: Discovery) -> bool

Record a discovery unless this exact key already has a terminal outcome.

pub fn drain(&mut self) -> Vec<Discovery>

pub fn iter(&self) -> impl Iterator<Item = &Discovery> + '_

pub fn is_empty(&self) -> bool

pub fn pending_len(&self) -> usize

pub fn mark_lifted(&mut self, key: DiscoveryKey)

pub fn mark_failed(&mut self, key: DiscoveryKey, reason: impl Into<String>)

pub fn mark_skipped(&mut self, key: DiscoveryKey, reason: impl Into<String>)

pub fn state(&self, key: &DiscoveryKey) -> Option<&DiscoveryState>

pub fn states( &self, ) -> impl Iterator<Item = (&DiscoveryKey, &DiscoveryState)> + '_

pub fn lifted_seeds(&self) -> Vec<CodeSeed>

Every code address this queue lifted successfully, as a portable CodeSeed. Exported from one analysis run and replayed into the next (via Context::seed_code) so the lifter reaches jump-table targets in its first pass instead of waiting for the analysis fixpoint to discover them round by round.

Trait Implementations

impl Clone for DiscoveryQueue

fn clone(&self) -> DiscoveryQueue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiscoveryQueue

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

Formats the value using the given formatter.

impl Default for DiscoveryQueue

fn default() -> DiscoveryQueue

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DiscoveryQueue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for DiscoveryQueue

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

where __S: Serializer,

Serialize this value into the given Serde serializer.