schema=symcc-f395-evidence-v1
capability=byte-initialization-ubi-v1
paper_semantics=explicit-byte-uninit-pointer-branch-sinks-v1
jiti_uninitialized=false
explicit_stack_uninitialized=true
explicit_heap_uninitialized=true
calloc_initialized=true
byte_copy_propagation=true
ssa_propagation=true
call_tls_propagation=true
external_pointer_sink=true
realloc_tag_transaction=true
atomic_old_success_fields=true
zero_size_pointer_sink=false
argument_channel_bound=256
explicit_shadow_default_bytes=67108864
global_super_object=false
full_dfsan=false
general_libc_custom_effects=false
concurrent_shadow_linearizability=false
coverage_claim=false
vulnerability_yield_claim=false
cross_system_speedup_claim=false
targeted_llvm17=10-passed
targeted_llvm18=10-passed
python=954-passed+235-subtests
python_identity=954-of-954
full_lit=256-passed+1-existing-unsupported
mechanism_matrix=28-modes-x-11-samples
mechanism_outcomes=308-of-308
delivery_verifier=PASS