MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / edges

Method edges

src/analysis/pointsto/mod.rs:299–308  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

297 }
298
299 fn edges(&self) -> Vec<(ConstraintNode<'tcx>, ConstraintNode<'tcx>, ConstraintEdge)> {
300 let mut v = Vec::new();
301 for edge in self.graph.edge_references() {
302 let source = self.graph.node_weight(edge.source()).cloned().unwrap();
303 let target = self.graph.node_weight(edge.target()).cloned().unwrap();
304 let weight = *edge.weight();
305 v.push((source, target, weight));
306 }
307 v
308 }
309
310 /// *lhs = ?
311 /// ?--|store|-->lhs

Callers 1

analyzeMethod · 0.80

Calls 1

node_weightMethod · 0.80

Tested by

no test coverage detected