Protecting C programs from attacks via invalid pointer dereferences