An offline protected-mode emulator fixture author needs exact segment-register l...

{ "body": { "artifact": { "x86_segment": { "cases": [ { "access": true, "bytes": 1, "cpl": 3, "descriptor": { "base": 4096, "big": true, "dpl": 3, "granularity": false, "limit": 255, "present": true, "system": false, "type": 2 }, "offset": 255, "selector": 11, "stack": false, "table_limit": 15, "write": false }, { "access": true, "bytes": 2, "cpl": 3, "descriptor": { "base": 4096, "big": true, "dpl": 3, "granularity": false, "limit": 255, "present": true, "system": false, "type": 2 }, "offset": 255, "selector": 11, "stack": false, "table_limit": 15, "write": false } ], "claim": 1 } } }, "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": "x86-protected-segment-load-access-exception", "state": "not_observed", "value": { "architectural_faults": 1, "claim_matches": true, "rows": [ { "access_succeeded": true, "effective_limit": 255, "error_code": 0, "exception_vector": 0, "fault_stage": 0, "index": 0, "linear_first": 4351, "linear_last": 4351, "load_succeeded": true, "usable": true }, { "access_succeeded": false, "effective_limit": 255, "error_code": 0, "exception_vector": 13, "fault_stage": 8, "index": 1, "linear_first": null, "linear_last": null, "load_succeeded": true, "usable": true } ], "statistic": 1, "successful_accesses": 1, "successful_loads": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }