Prüft den behaupteten erreichten C++-Catch-Frame und die determinate Destruktorr...

{ "body": { "artifact": { "cpp_unwind": { "claim": 0, "frames": [ { "handlers": [ 0 ], "objects": [ { "escaping_destructor_throw": false, "id": 0 } ] }, { "handlers": [], "objects": [ { "escaping_destructor_throw": false, "id": 1 }, { "escaping_destructor_throw": false, "id": 2 } ] } ], "thrown_type": 1, "types": [ { "parent": null, "public_base": true }, { "parent": 0, "public_base": true } ] } } }, "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": "cpp-exception-unwind-handler-selection", "state": "not_observed", "value": { "claim_matches": true, "destruction_order": [ 2, 1, 0 ], "destructor_trace_determinate": true, "reached_handler_frame_index": 0, "reached_handler_index": 0, "statistic": 0, "termination_required": false }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }