An offline ELF load-image fixture author needs exact file-origin versus zero-tai...

{ "body": { "artifact": { "elf_load": { "claim": 0, "entry": 4, "file": [ 10, 11, 12, 13 ], "headers": [ { "align": 4, "filesz": 2, "flags": 5, "memsz": 4, "offset": 0, "type": 1, "vaddr": 4 } ], "lowest_mapped_page": 16, "page_size": 4 } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "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": "elf-load-segment-file-zero-memory-map", "state": "not_observed", "value": { "claim_matches": true, "conflicting_memory_bytes": 0, "entry_declared_executable": true, "entry_mapped": true, "file_backed_memory_bytes": 2, "header_violations": [], "image": [ [ 16, [ 0 ], false, 1, false, 5, 5 ], [ 17, [ 1 ], false, 1, false, 5, 5 ], [ 18, [], true, 1, false, 5, 5 ], [ 19, [], true, 1, false, 5, 5 ] ], "load_bias": 12, "load_segment_count": 1, "mapped_memory_bytes": 4, "runtime_entry": 16, "statistic": 0, "zero_demand_memory_bytes": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }