Index of /~pes20/cerberus/supplementary-material-popl2019/basic_provenance_tests
Name
Last modified
Size
Description
Parent Directory
-
charon_address_guesses.h
2018-11-08 16:41
7.9K
cheri_03_ii.c
2018-11-08 16:41
186
pointer_arith_algebraic_properties_2_global.c
2018-11-08 16:41
263
pointer_arith_algebraic_properties_3_global.c
2018-11-08 16:41
326
pointer_copy_memcpy.c
2018-11-08 16:41
205
pointer_copy_user_ctrlflow_bitwise.c
2018-11-08 16:41
490
pointer_copy_user_ctrlflow_bytewise.c
2018-11-08 16:41
6.6K
pointer_copy_user_dataflow_direct_bytewise.c
2018-11-08 16:41
425
pointer_from_integer_1i.c
2018-11-08 16:41
217
pointer_from_integer_1ig.c
2018-11-08 16:41
248
pointer_from_integer_1p.c
2018-11-08 16:41
211
pointer_from_integer_1pg.c
2018-11-08 16:41
244
pointer_from_integer_2.c
2018-11-08 16:41
201
pointer_from_integer_2g.c
2018-11-08 16:41
259
pointer_offset_from_int_subtraction_auto_xy.c
2018-11-08 16:41
482
pointer_offset_from_int_subtraction_auto_yx.c
2018-11-08 16:41
482
pointer_offset_from_int_subtraction_global_xy.c
2018-11-08 16:41
480
pointer_offset_from_int_subtraction_global_yx.c
2018-11-08 16:41
480
pointer_offset_from_ptr_subtraction_auto_xy.c
2018-11-08 16:41
295
pointer_offset_from_ptr_subtraction_auto_yx.c
2018-11-08 16:41
295
pointer_offset_from_ptr_subtraction_global_xy.c
2018-11-08 16:41
293
pointer_offset_from_ptr_subtraction_global_yx.c
2018-11-08 16:41
293
pointer_offset_xor_auto.c
2018-11-08 16:41
429
pointer_offset_xor_global.c
2018-11-08 16:41
433
provenance_basic_auto_xy.c
2018-11-08 16:41
305
provenance_basic_auto_yx.c
2018-11-08 16:41
305
provenance_basic_global_xy.c
2018-11-08 16:41
303
provenance_basic_global_yx.c
2018-11-08 16:41
303
provenance_basic_using_uintptr_t_auto_xy.c
2018-11-08 16:41
530
provenance_basic_using_uintptr_t_auto_yx.c
2018-11-08 16:41
530
provenance_basic_using_uintptr_t_global_xy.c
2018-11-08 16:41
528
provenance_basic_using_uintptr_t_global_yx.c
2018-11-08 16:41
528
provenance_equality_auto_xy.c
2018-11-08 16:41
236
provenance_equality_auto_yx.c
2018-11-08 16:41
236
provenance_equality_global_fn_xy.c
2018-11-08 16:41
335
provenance_equality_global_fn_yx.c
2018-11-08 16:41
335
provenance_equality_global_xy.c
2018-11-08 16:41
288
provenance_equality_global_yx.c
2018-11-08 16:41
288
provenance_equality_uintptr_t_auto_xy.c
2018-11-08 16:41
342
provenance_equality_uintptr_t_auto_yx.c
2018-11-08 16:41
342
provenance_equality_uintptr_t_global_xy.c
2018-11-08 16:41
340
provenance_equality_uintptr_t_global_yx.c
2018-11-08 16:41
340
provenance_lost_escape_1.c
2018-11-08 16:41
618
provenance_roundtrip_via_intptr_t.c
2018-11-08 16:41
216
provenance_tag_bits_via_uintptr_t_1.c
2018-11-08 16:41
783
provenance_union_punning_2_auto_xy.c
2018-11-08 16:41
469
provenance_union_punning_2_auto_yx.c
2018-11-08 16:41
471
provenance_union_punning_2_global_xy.c
2018-11-08 16:41
469
provenance_union_punning_2_global_yx.c
2018-11-08 16:41
469
provenance_via_io_bytewise_global.c
2018-11-08 16:41
871
provenance_via_io_percentp_global.c
2018-11-08 16:41
807
provenance_via_io_uintptr_t_global.c
2018-11-08 16:41
894
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443