An offline SystemV AMD64 compiler-call fixture author needs exact eightbyte clas...

{ "body": { "artifact": { "amd64_abi": { "arguments": [ 0, 0, 0, 0, 0, 3, 1 ], "claim": 0, "return_type": 3, "types": [ { "align": 8, "count": 0, "element": -1, "fields": [], "kind": 0, "nontrivial": false, "size": 8 }, { "align": 8, "count": 0, "element": -1, "fields": [], "kind": 2, "nontrivial": false, "size": 8 }, { "align": 1, "count": 0, "element": -1, "fields": [], "kind": 0, "nontrivial": false, "size": 1 }, { "align": 8, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 0 }, { "offset": 8, "type": 1 } ], "kind": 8, "nontrivial": false, "size": 16 }, { "align": 1, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 2 }, { "offset": 1, "type": 0 } ], "kind": 8, "nontrivial": false, "size": 9 }, { "align": 16, "count": 0, "element": -1, "fields": [], "kind": 0, "nontrivial": false, "size": 16 }, { "align": 16, "count": 0, "element": -1, "fields": [], "kind": 3, "nontrivial": false, "size": 16 }, { "align": 16, "count": 0, "element": -1, "fields": [], "kind": 4, "nontrivial": false, "size": 16 }, { "align": 4, "count": 0, "element": -1, "fields": [], "kind": 1, "nontrivial": false, "size": 4 }, { "align": 8, "count": 0, "element": -1, "fields": [], "kind": 6, "nontrivial": false, "size": 16 }, { "align": 8, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 0 }, { "offset": 8, "type": 0 }, { "offset": 16, "type": 0 } ], "kind": 8, "nontrivial": false, "size": 24 }, { "align": 8, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 0 } ], "kind": 8, "nontrivial": true, "size": 8 }, { "align": 16, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 7 }, { "offset": 0, "type": 0 } ], "kind": 9, "nontrivial": false, "size": 16 }, { "align": 16, "count": 0, "element": -1, "fields": [], "kind": 7, "nontrivial": false, "size": 32 }, { "align": 4, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 8 }, { "offset": 4, "type": 8 } ], "kind": 8, "nontrivial": false, "size": 8 }, { "align": 4, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 8 }, { "offset": 4, "type": 8 }, { "offset": 8, "type": 8 }, { "offset": 12, "type": 8 } ], "kind": 8, "nontrivial": false, "size": 16 }, { "align": 8, "count": 3, "element": 0, "fields": [], "kind": 10, "nontrivial": false, "size": 24 }, { "align": 8, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 14 }, { "offset": 8, "type": 0 } ], "kind": 8, "nontrivial": false, "size": 16 }, { "align": 4, "count": 0, "element": -1, "fields": [], "kind": 5, "nontrivial": false, "size": 8 }, { "align": 16, "count": 0, "element": -1, "fields": [], "kind": 11, "nontrivial": false, "size": 16 }, { "align": 4, "count": 0, "element": -1, "fields": [ { "offset": 0, "type": 8 }, { "offset": 4, "type": 18 } ], "kind": 8, "nontrivial": false, "size": 12 } ], "variadic": false } } }, "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": "amd64-sysv-aggregate-argument-register-assignment", "state": "not_observed", "value": { "argument_rows": [ { "argument": 0, "invisible_reference": false, "locations": [ [ 0, 0, 0, 0 ] ], "object_classes": [ 1 ], "on_stack": false, "passing_classes": [ 1 ], "stack_alignment": 0, "stack_size": 0, "type": 0 }, { "argument": 1, "invisible_reference": false, "locations": [ [ 0, 0, 1, 0 ] ], "object_classes": [ 1 ], "on_stack": false, "passing_classes": [ 1 ], "stack_alignment": 0, "stack_size": 0, "type": 0 }, { "argument": 2, "invisible_reference": false, "locations": [ [ 0, 0, 2, 0 ] ], "object_classes": [ 1 ], "on_stack": false, "passing_classes": [ 1 ], "stack_alignment": 0, "stack_size": 0, "type": 0 }, { "argument": 3, "invisible_reference": false, "locations": [ [ 0, 0, 3, 0 ] ], "object_classes": [ 1 ], "on_stack": false, "passing_classes": [ 1 ], "stack_alignment": 0, "stack_size": 0, "type": 0 }, { "argument": 4, "invisible_reference": false, "locations": [ [ 0, 0, 4, 0 ] ], "object_classes": [ 1 ], "on_stack": false, "passing_classes": [ 1 ], "stack_alignment": 0, "stack_size": 0, "type": 0 }, { "argument": 5, "invisible_reference": false, "locations": [ [ 0, 0, 5, 0 ], [ 1, 1, 0, 0 ] ], "object_classes": [ 1, 2 ], "on_stack": false, "passing_classes": [ 1, 2 ], "stack_alignment": 0, "stack_size": 0, "type": 3 }, { "argument": 6, "invisible_reference": false, "locations": [ [ 0, 1, 1, 0 ] ], "object_classes": [ 2 ], "on_stack": false, "passing_classes": [ 2 ], "stack_alignment": 0, "stack_size": 0, "type": 1 } ], "claim_matches": true, "gpr_arguments_used": 6, "hidden_sret_pointer": false, "return_classes": [ 1, 2 ], "return_locations": [ [ 0, 0, 0, 0 ], [ 1, 1, 0, 0 ] ], "return_mode": 1, "stack_argument_count": 0, "stack_arguments_left_to_right": [], "stack_push_order": [], "statistic": 0, "type_classes": [ [ 1 ], [ 2 ], [ 1 ], [ 1, 2 ], [ 7 ], [ 1, 1 ], [ 4, 5 ], [ 2, 3 ], [ 2 ], [ 2, 2 ], [ 7 ], [ 1 ], [ 1, 2 ], [ 6 ], [ 2 ], [ 2, 2 ], [ 7 ], [ 2, 1 ], [ 2 ], [ 2, 3 ], [ 2, 2 ] ], "variadic_al_lower_bound": -1, "variadic_al_upper_bound": -1, "vector_arguments_used": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }