Prüft behauptete Drop-Aufrufe innerhalb eines anonymen Rust-Aggregats nach Teilm...

{ "body": { "artifact": { "rust_drop": { "claim": 1, "events": [ { "node": 1, "op": "move" }, { "op": "scope_end" } ], "nodes": [ { "has_drop": false, "parent": -1 }, { "has_drop": true, "parent": 0 }, { "has_drop": true, "parent": 0 } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and scalar claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "rust-partial-move-drop-obligations", "state": "not_observed", "value": { "claim_matches": true, "custom_drop_calls_in_tracked_scope": 1, "drop_call_node_order": [ 2 ], "fully_initialized_nodes_remaining": 0, "moved_values_outside_tracked_scope": 1, "statistic": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }