Sudeep Kanav

@tautschnig @kfriedberger do you think we should add the files [test27-1.c](c/ldv-regression/test27-1.c) and [test27-2.c](c/ldv-regression/test27-2.c) for memory safety check?