Index of /~pes20/cerberus/supplementary-material-popl2019/basic_provenance_tests

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]charon_address_guesses.h2018-11-08 16:41 7.9K 
[TXT]cheri_03_ii.c2018-11-08 16:41 186  
[TXT]pointer_arith_algebraic_properties_2_global.c2018-11-08 16:41 263  
[TXT]pointer_arith_algebraic_properties_3_global.c2018-11-08 16:41 326  
[TXT]pointer_copy_memcpy.c2018-11-08 16:41 205  
[TXT]pointer_copy_user_ctrlflow_bitwise.c2018-11-08 16:41 490  
[TXT]pointer_copy_user_ctrlflow_bytewise.c2018-11-08 16:41 6.6K 
[TXT]pointer_copy_user_dataflow_direct_bytewise.c2018-11-08 16:41 425  
[TXT]pointer_from_integer_1i.c2018-11-08 16:41 217  
[TXT]pointer_from_integer_1ig.c2018-11-08 16:41 248  
[TXT]pointer_from_integer_1p.c2018-11-08 16:41 211  
[TXT]pointer_from_integer_1pg.c2018-11-08 16:41 244  
[TXT]pointer_from_integer_2.c2018-11-08 16:41 201  
[TXT]pointer_from_integer_2g.c2018-11-08 16:41 259  
[TXT]pointer_offset_from_int_subtraction_auto_xy.c2018-11-08 16:41 482  
[TXT]pointer_offset_from_int_subtraction_auto_yx.c2018-11-08 16:41 482  
[TXT]pointer_offset_from_int_subtraction_global_xy.c2018-11-08 16:41 480  
[TXT]pointer_offset_from_int_subtraction_global_yx.c2018-11-08 16:41 480  
[TXT]pointer_offset_from_ptr_subtraction_auto_xy.c2018-11-08 16:41 295  
[TXT]pointer_offset_from_ptr_subtraction_auto_yx.c2018-11-08 16:41 295  
[TXT]pointer_offset_from_ptr_subtraction_global_xy.c2018-11-08 16:41 293  
[TXT]pointer_offset_from_ptr_subtraction_global_yx.c2018-11-08 16:41 293  
[TXT]pointer_offset_xor_auto.c2018-11-08 16:41 429  
[TXT]pointer_offset_xor_global.c2018-11-08 16:41 433  
[TXT]provenance_basic_auto_xy.c2018-11-08 16:41 305  
[TXT]provenance_basic_auto_yx.c2018-11-08 16:41 305  
[TXT]provenance_basic_global_xy.c2018-11-08 16:41 303  
[TXT]provenance_basic_global_yx.c2018-11-08 16:41 303  
[TXT]provenance_basic_using_uintptr_t_auto_xy.c2018-11-08 16:41 530  
[TXT]provenance_basic_using_uintptr_t_auto_yx.c2018-11-08 16:41 530  
[TXT]provenance_basic_using_uintptr_t_global_xy.c2018-11-08 16:41 528  
[TXT]provenance_basic_using_uintptr_t_global_yx.c2018-11-08 16:41 528  
[TXT]provenance_equality_auto_xy.c2018-11-08 16:41 236  
[TXT]provenance_equality_auto_yx.c2018-11-08 16:41 236  
[TXT]provenance_equality_global_fn_xy.c2018-11-08 16:41 335  
[TXT]provenance_equality_global_fn_yx.c2018-11-08 16:41 335  
[TXT]provenance_equality_global_xy.c2018-11-08 16:41 288  
[TXT]provenance_equality_global_yx.c2018-11-08 16:41 288  
[TXT]provenance_equality_uintptr_t_auto_xy.c2018-11-08 16:41 342  
[TXT]provenance_equality_uintptr_t_auto_yx.c2018-11-08 16:41 342  
[TXT]provenance_equality_uintptr_t_global_xy.c2018-11-08 16:41 340  
[TXT]provenance_equality_uintptr_t_global_yx.c2018-11-08 16:41 340  
[TXT]provenance_lost_escape_1.c2018-11-08 16:41 618  
[TXT]provenance_roundtrip_via_intptr_t.c2018-11-08 16:41 216  
[TXT]provenance_tag_bits_via_uintptr_t_1.c2018-11-08 16:41 783  
[TXT]provenance_union_punning_2_auto_xy.c2018-11-08 16:41 469  
[TXT]provenance_union_punning_2_auto_yx.c2018-11-08 16:41 471  
[TXT]provenance_union_punning_2_global_xy.c2018-11-08 16:41 469  
[TXT]provenance_union_punning_2_global_yx.c2018-11-08 16:41 469  
[TXT]provenance_via_io_bytewise_global.c2018-11-08 16:41 871  
[TXT]provenance_via_io_percentp_global.c2018-11-08 16:41 807  
[TXT]provenance_via_io_uintptr_t_global.c2018-11-08 16:41 894  

Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443