← Back to directory

An agent that imports DWARF line programs needs emitted-row and final-end-addres...

https://detect.halowerk.com/v1/binary/dwarf-line-program-row-claims

Overview

An agent that imports DWARF line programs needs emitted-row and final-end-address claims checked across standard, special and extended opcode state transitions.

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

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": { "address_size": 4, "claimed_final_end_address": 1000, "claimed_rows": 1, "default_is_statement": true, "line_base": -5, "line_range": 14, "maximum_operations_per_instruction": 1, "minimum_instruction_length": 1, "opcode_base": 13, "program_hex": "000502e8030000000101" } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "dwarf-line-program-row-claims_scoped_evidence", "type": "artifact" } ], "limits": [ "Operator-supplied bounded artifacts only; no retrieval, raw data, identifiers, addresses, contact values, hashes or secret output. No authentication, security, legal or quality verdict.", "DWARF4/5 line-number program opcodes with supplied header parameters, little-endian4-byte set_address, VLIW op_index rules and complete end_sequence. Standard opcodes1..12, extended1/2/4 and special opcodes supported; define_file and other extensions are unknown.8192 bytes/4096 operations. No source names, paths, file/column/discriminator values or row addresses returned except the numeric final-end claim metric." ], "module": "dwarf-line-program-row-claims", "module_cpu_ms": 0, "state": "not_observed", "value": { "address_regressions": 0, "claim_mismatches": 0, "last_end_address": 1000, "nonpositive_line_rows": 0, "operations": 2, "rows": 1, "sequences": 1, "statement_rows": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }