Struct SqliteRouter 

pub struct SqliteRouter { /* private fields */ }

SQLite backend router

Trait Implementations

impl BackendRouter for SqliteRouter

fn open(db_path: &Path) -> Result<Self>

fn status(&self) -> Result<DatabaseStatus>

fn load_cfg(&self, function_id: i64) -> Result<Cfg>

fn resolve_function(&self, name_or_id: &str) -> Result<i64>

fn get_function_name(&self, function_id: i64) -> Option<String>

fn get_function_file(&self, function_id: i64) -> Option<String>

fn function_exists(&self, function_id: i64) -> bool

fn enumerate_paths( &self, function_id: i64, max_paths: usize, ) -> Result<Vec<ExecutionPath>>

fn get_cfg_blocks(&self, function_id: i64) -> Result<Vec<CfgBlockInfo>>

fn get_dominators(&self, _function_id: i64) -> Result<DominatorTree>

fn get_loops(&self, _function_id: i64) -> Result<Vec<NaturalLoop>>

fn find_unreachable( &self, _within_functions: bool, ) -> Result<Vec<UnreachableCode>>

fn get_patterns(&self, _function_id: i64) -> Result<Vec<BranchPattern>>

fn get_frontiers(&self, _function_id: i64) -> Result<DominanceFrontiers>

fn find_cycles(&self) -> Result<Vec<CallCycle>>

fn get_blast_zone( &self, _function_id: i64, _block_id: Option<i64>, ) -> Result<BlastZone>

fn slice( &self, _symbol: &str, _direction: SliceDirection, ) -> Result<SliceResult>

fn get_hotspots(&self) -> Result<Vec<Hotspot>>

fn get_hotpaths(&self, _function_id: Option<i64>) -> Result<Vec<HotPath>>

fn verify_path(&self, _path_id: &str) -> Result<PathVerification>

fn get_icfg(&self, function_id: i64) -> Result<InterProceduralCfg>

fn get_call_graph(&self) -> Result<CallGraph>