Re-exports§
pub use crate::analysis::DeadSymbolJson;
Modules§
Structs§
- Blast
Zone Args - CfgArgs
- Cli
- Mirage - Path-Aware Code Intelligence Engine
- Coverage
Args - Cycles
Args - Diff
Args - Diff command arguments
- Dominators
Args - Frontiers
Args - Hotpaths
Args - Hot path detection arguments
- Hotspots
Args - Icfg
Args - Inter-procedural CFG arguments
- Loops
Args - Migrate
Args - Migrate database between storage backends
- Paths
Args - Patterns
Args - Slice
Args - Status
Args - Unreachable
Args - Verify
Args
Enums§
- Backend
Format - Backend format for migration
- CfgFormat
- CFG output format
- Commands
- Cycle
Type Arg - Cycle type filter for the cycles command
- Icfg
Format - ICFG output format
- Output
Format - Output format options
- Slice
Direction Arg
Functions§
- resolve_
db_ path - Resolve the database path from multiple sources