profiles/heimdall-wasm-host/x86_64-glibc.probe.json
{
"workload": "heimdall-wasm-host",
"arch": "x86_64",
"libc": "glibc",
"runs": [
{
"name": "a_guest_with_a_wrong_signature_is_not_loaded",
"error_path": true,
"exit": "exit 3"
},
{
"name": "deep_recursion_overflows_the_stack",
"error_path": true,
"exit": "exit 4"
},
{
"name": "good_input_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "infinite_loop_hits_the_wall_clock",
"error_path": true,
"exit": "exit 4"
},
{
"name": "infinite_loop_runs_out_of_fuel",
"error_path": true,
"exit": "exit 4"
},
{
"name": "malformed_input_traps_the_guest",
"error_path": true,
"exit": "exit 4"
},
{
"name": "many_files_hit_the_file_count_limit",
"error_path": true,
"exit": "exit 4"
},
{
"name": "memory_bomb_hits_the_memory_limit",
"error_path": true,
"exit": "exit 4"
},
{
"name": "tampered_input_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_single_bomb_lying_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_single_bomb_ratio_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_single_manychunk_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_single_openzl_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_single_stored_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_single_tampered_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n1_bomb_lying_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n1_bomb_ratio_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n1_manychunk_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n1_openzl_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n1_stored_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n1_tampered_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n8_bomb_lying_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n8_bomb_ratio_is_refused",
"error_path": true,
"exit": "exit 4"
},
{
"name": "verify_bundle_split_n8_manychunk_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n8_openzl_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n8_stored_is_accepted",
"error_path": false,
"exit": "exit 0"
},
{
"name": "verify_bundle_split_n8_tampered_is_refused",
"error_path": true,
"exit": "exit 4"
}
],
"calls": [
{
"syscall": "access",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "arch_prctl",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "brk",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "clock_nanosleep",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "clone",
"args": {
"0": "0x3d0f00"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "close",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "exit",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "exit_group",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "fstat",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "fsync",
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "futex",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "getdents64",
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "getrandom",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "gettid",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "lseek",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "madvise",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mkdir",
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mmap",
"args": {
"2": "0x0"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mmap",
"args": {
"2": "0x1"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mmap",
"args": {
"2": "0x3"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mmap",
"args": {
"2": "0x5"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mprotect",
"args": {
"2": "0x0"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mprotect",
"args": {
"2": "0x1"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mprotect",
"args": {
"2": "0x3"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mprotect",
"args": {
"2": "0x5"
},
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "mremap",
"runs": [
"deep_recursion_overflows_the_stack",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "munmap",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "openat",
"args": {
"2": "0x80000"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "openat",
"args": {
"2": "0x90800"
},
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "openat",
"args": {
"2": "0xa00c1"
},
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "openat",
"args": {
"2": "0xa0800"
},
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "poll",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "prctl",
"args": {
"0": "0xf"
},
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "pread64",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "prlimit64",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "read",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "rseq",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "rt_sigaction",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "rt_sigprocmask",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "rt_sigreturn",
"runs": [
"deep_recursion_overflows_the_stack",
"malformed_input_traps_the_guest"
]
},
{
"syscall": "sched_getaffinity",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "sched_yield",
"runs": [
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "set_robust_list",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "set_tid_address",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "sigaltstack",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "statx",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
},
{
"syscall": "write",
"runs": [
"a_guest_with_a_wrong_signature_is_not_loaded",
"deep_recursion_overflows_the_stack",
"good_input_is_accepted",
"infinite_loop_hits_the_wall_clock",
"infinite_loop_runs_out_of_fuel",
"malformed_input_traps_the_guest",
"many_files_hit_the_file_count_limit",
"memory_bomb_hits_the_memory_limit",
"tampered_input_is_refused",
"verify_bundle_single_bomb_lying_is_refused",
"verify_bundle_single_bomb_ratio_is_refused",
"verify_bundle_single_manychunk_is_accepted",
"verify_bundle_single_openzl_is_accepted",
"verify_bundle_single_stored_is_accepted",
"verify_bundle_single_tampered_is_refused",
"verify_bundle_split_n1_bomb_lying_is_refused",
"verify_bundle_split_n1_bomb_ratio_is_refused",
"verify_bundle_split_n1_manychunk_is_accepted",
"verify_bundle_split_n1_openzl_is_accepted",
"verify_bundle_split_n1_stored_is_accepted",
"verify_bundle_split_n1_tampered_is_refused",
"verify_bundle_split_n8_bomb_lying_is_refused",
"verify_bundle_split_n8_bomb_ratio_is_refused",
"verify_bundle_split_n8_manychunk_is_accepted",
"verify_bundle_split_n8_openzl_is_accepted",
"verify_bundle_split_n8_stored_is_accepted",
"verify_bundle_split_n8_tampered_is_refused"
]
}
]
}