Dirty Pipe: A Critical Linux Kernel Vulnerability