ubsan « Feature « test - ~cnx/klee - KLEE fork for patch differentiation testing

Mode	Name	Size
-rw-r--r--	ubsan_alignment-assumption.c	643	log plain blame
-rw-r--r--	ubsan_alignment-assumption_with_offset.c	646	log plain blame
-rw-r--r--	ubsan_alignment-type-mismatch.c	659	log plain blame
-rw-r--r--	ubsan_array_bounds.c	682	log plain blame
-rw-r--r--	ubsan_bool.c	585	log plain blame
-rw-r--r--	ubsan_builtin.c	565	log plain blame
-rw-r--r--	ubsan_enum.cpp	704	log plain blame
-rw-r--r--	ubsan_float_cast_overflow.c	668	log plain blame
-rw-r--r--	ubsan_float_divide_by_zero.c	664	log plain blame
-rw-r--r--	ubsan_implicit_integer_sign_change.c	732	log plain blame
-rw-r--r--	ubsan_implicit_signed_integer_truncation.c	748	log plain blame
-rw-r--r--	ubsan_implicit_unsigned_integer_truncation.c	760	log plain blame
-rw-r--r--	ubsan_integer_divide_by_zero.c	609	log plain blame
-rw-r--r--	ubsan_nonnull_attribute.c	727	log plain blame
-rw-r--r--	ubsan_null.c	619	log plain blame
-rw-r--r--	ubsan_nullability_arg.c	667	log plain blame
-rw-r--r--	ubsan_nullability_assign.c	694	log plain blame
-rw-r--r--	ubsan_nullability_return.c	721	log plain blame
-rw-r--r--	ubsan_pointer_overflow-applying_nonzero_offset_to_nonnull_pointer.c	689	log plain blame
-rw-r--r--	ubsan_pointer_overflow-applying_nonzero_offset_to_null_pointer.c	688	log plain blame
-rw-r--r--	ubsan_pointer_overflow-applying_zero_offset_to_null_pointer.c	680	log plain blame
-rw-r--r--	ubsan_pointer_overflow-pointer_arithmetic.c	691	log plain blame
-rw-r--r--	ubsan_return.cpp	531	log plain blame
-rw-r--r--	ubsan_returns_nonnull_attribute.c	733	log plain blame
-rw-r--r--	ubsan_shift_base.c	1074	log plain blame
-rw-r--r--	ubsan_shift_exponent.c	749	log plain blame
-rw-r--r--	ubsan_signed_integer_overflow.c	1042	log plain blame
-rw-r--r--	ubsan_unreachable.c	539	log plain blame
-rw-r--r--	ubsan_unsigned_integer_overflow.c	1058	log plain blame
-rw-r--r--	ubsan_unsigned_shift_base.c	792	log plain blame
-rw-r--r--	ubsan_vla_bound.c	629	log plain blame