urt-rs / docs /research /rust-exit-class.json
nmarshall's picture
gameplay: port exit class guard
69d6bf3
Raw History Blame Contribute Delete
30.7 kB
{
"limits": "Rust first-offender mode11 guard over45 original source fixtures. Safe configured count<=slice length<=64; no raw invalid-pointer ABI or transition/native side-effect claim.",
"probes": [
{
"input": {
"clients": [
{
"3096": 0,
"468": 0,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 0,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 0,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 0,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 0,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 0,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 0,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 0,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 0,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 0,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 0,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 0,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 1,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 1,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 1,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 1,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 1,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 1,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 1,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 1,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 1,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 1,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 1,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 1,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": 0
},
"source": {
"offender": 0
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067792376,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": 0
},
"source": {
"offender": 0
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067792376,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 2,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 2,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 2,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 1,
"468": 2,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 2,
"696": -1
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 2,
"696": 20
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 2,
"696": 21
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 3,
"468": 2,
"696": 2147483647
}
],
"max_clients": 1,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
}
],
"max_clients": 4,
"mode": 11
},
"rust": {
"offender": 0
},
"source": {
"offender": 0
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067792376,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 21
}
],
"max_clients": 4,
"mode": 11
},
"rust": {
"offender": 3
},
"source": {
"offender": 3
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067811384,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
}
],
"max_clients": 64,
"mode": 11
},
"rust": {
"offender": 0
},
"source": {
"offender": 0
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067792376,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
},
{
"3096": 0,
"468": 2,
"696": 20
}
],
"max_clients": 64,
"mode": 11
},
"rust": {
"offender": 3
},
"source": {
"offender": 3
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067811384,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
},
{
"input": {
"clients": [],
"max_clients": 0,
"mode": 0
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [],
"max_clients": 0,
"mode": 9
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [],
"max_clients": 0,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
}
],
"max_clients": 0,
"mode": 11
},
"rust": {
"offender": -1
},
"source": {
"offender": -1
},
"source_calls": []
},
{
"input": {
"clients": [
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
},
{
"3096": 0,
"468": 2,
"696": 21
}
],
"max_clients": 2,
"mode": 11
},
"rust": {
"offender": 0
},
"source": {
"offender": 0
},
"source_calls": [
{
"arguments": {
"8": 34641
},
"target": 7367
},
{
"arguments": {
"12": 16,
"16": 0,
"20": 2067792376,
"8": 34618
},
"target": 70458
},
{
"arguments": {
"12": 2073042944,
"8": -1
},
"target": -18
}
]
}
],
"source_report": "docs/research/qvm-exit-class.json",
"source_report_sha256": "f8bba4248e4f44ea6ab4d98b2225d4661d4d609df768d81e1d81892b4fc358de"
}