Function check_stack

src/checkers/stack_checker.rs:14–24 · view source on GitHub ↗

(
    result: AnalysisResult<StackGrowthLattice>,
    irmap: &IRMap,
    analyzer: &StackAnalyzer,
)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

run_stackFunction · 0.85

checkMethod · 0.45

no test coverage detected