Struct AnalysisRunner

pub struct AnalysisRunner { /* private fields */ }

A type responsible for caching CFGs and running analysis passes over all functions and templates.

Implementations

impl AnalysisRunner

pub fn new(curve: Curve) -> Self

pub fn with_libraries(self, libraries: &[PathBuf]) -> Self

pub fn with_files(self, input_files: &[PathBuf]) -> (Self, ReportCollection)

pub fn file_library(&self) -> &FileLibrary

pub fn template_names(&self, user_input_only: bool) -> Vec<String>

pub fn function_names(&self, user_input_only: bool) -> Vec<String>

pub fn analyze_templates<W: LogWriter + ReportWriter>( &mut self, writer: &mut W, user_input_only: bool, )

pub fn analyze_functions<W: LogWriter + ReportWriter>( &mut self, writer: &mut W, user_input_only: bool, )

pub fn take_template(&mut self, name: &str) -> Result<Cfg, AnalysisError>

pub fn take_function(&mut self, name: &str) -> Result<Cfg, AnalysisError>

pub fn replace_template(&mut self, name: &str, cfg: Cfg) -> bool

pub fn replace_function(&mut self, name: &str, cfg: Cfg) -> bool

Trait Implementations

impl AnalysisContext for AnalysisRunner

fn is_template(&self, name: &str) -> bool

Returns true if the context knows of a template with the given name. This method does not compute the CFG of the template which saves time compared to AnalysisContext::template.

fn is_function(&self, name: &str) -> bool

Returns true if the context knows of a function with the given name. This method does not compute the CFG of the function which saves time compared to AnalysisContext::function.

fn template(&mut self, name: &str) -> Result<&Cfg, AnalysisError>

Returns the CFG for the template with the given name.

fn function(&mut self, name: &str) -> Result<&Cfg, AnalysisError>

Returns the CFG for the function with the given name.

fn underlying_str( &self, file_id: &FileID, file_location: &FileLocation, ) -> Result<String, AnalysisError>

Returns the string corresponding to the given file ID and location.

impl Default for AnalysisRunner

fn default() -> AnalysisRunner

Returns the “default value” for a type.