Callgraph analysis in Ferrocene for denying unvalidated Rust library functionsferrous-systems.com2 pointsfanf23 months ago