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 records( &self, ) -> impl Iterator<Item = (&DiscoveryKey, &Discovery, &DiscoveryState)> + '_

Every discovery ever recorded, with its current outcome. Unlike iter this includes drained (lifted, failed, skipped) items, so it is the complete history of what was found and how.

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.