← Back to directory

An offline C++ polymorphic-inheritance fixture author needs the target SUBOBJECT...

https://detect.halowerk.com/v1/F-A-NIGHT-OS-CPP-CAST/cpp-polymorphic-subobject-dynamic-cast

Overview

An offline C++ polymorphic-inheritance fixture author needs the target SUBOBJECT or null/illformed result for source-subobject-specific downcasts/crosscasts, including repeated and virtual base sharing, without addresses.

Protocol x402 (POST)
Price $0.0030
Payment Asset USD Coin
Payment Network eip155:8453
Category uncategorized
Provider detect
Source bazaar
Indexed 2026-11-02 17:26:25

Health

Status unknown
Latency (p50) —
Uptime (30d) —
Reliability Score —
Last Checked Never
Last Healthy Never
Consecutive Failures 0

x402 Payment Validation

Payment Requirements —
Asset Verified —
Facilitator —

Input Schema

{ "body": { "artifact": { "cpp_dynamic_cast": { "claim": 3, "classes": [ { "bases": [] }, { "bases": [ { "class": 0, "virtual": false } ] }, { "bases": [ { "class": 1, "virtual": false } ] } ], "most_derived": 2, "queries": [ { "source_class": 0, "source_occurrence": 0, "target_class": 1 }, { "source_class": 0, "source_occurrence": 0, "target_class": 2 }, { "source_class": 2, "source_occurrence": 0, "target_class": 0 } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer 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-polymorphic-subobject-dynamic-cast", "state": "not_observed", "value": { "cast_statuses": [ 1, 1, 1 ], "claim_matches": true, "source_objects": [ 0, 0, 2 ], "statistic": 3, "subobject_base_edges": [ [], [ [ 0, 0 ] ], [ [ 1, 0 ] ] ], "subobject_classes": [ 0, 1, 2 ], "subobject_count": 3, "target_objects": [ 1, 2, 0 ] }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }