use alloc::string::String;
use libafl_bolts::Named;
use serde::{Deserialize, Serialize};
use crate::{
inputs::UsesInput,
observers::{
concolic::{serialization_format::MessageFileReader, ConcolicMetadata},
Observer,
},
};
#[derive(Serialize, Deserialize, Debug)]
pub struct ConcolicObserver<'map> {
#[serde(skip)]
map: &'map [u8],
name: String,
}
impl<'map, S> Observer<S> for ConcolicObserver<'map> where S: UsesInput {}
impl<'map> ConcolicObserver<'map> {
#[must_use]
pub fn create_metadata_from_current_map(&self) -> ConcolicMetadata {
let reader = MessageFileReader::from_length_prefixed_buffer(self.map)
.expect("constructing the message reader from a memory buffer should not fail");
ConcolicMetadata::from_buffer(reader.get_buffer().to_vec())
}
}
impl<'map> Named for ConcolicObserver<'map> {
fn name(&self) -> &str {
&self.name
}
}
impl<'map> ConcolicObserver<'map> {
#[must_use]
pub fn new(name: String, map: &'map [u8]) -> Self {
Self { map, name }
}
}