General

Profile

David Ramos

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 0 1 1

Activity

10/19/2014

02:26 PM Linux kernel client Bug #9749: kcephfs: kernel divide-by-zero crash in __validate_layout (fs/ceph/ioctl.c)
This bug appears to be exploitable by unprivileged local users and will cause a machine-wide DoS. Is there some reaso... David Ramos

10/11/2014

10:33 PM Linux kernel client Bug #9749 (Resolved): kcephfs: kernel divide-by-zero crash in __validate_layout (fs/ceph/ioctl.c)
Our UC-KLEE tool discovered a Linux kernel divide-by-zero crash in the Ceph
client driver. I found the bug on kernel...
David Ramos

Also available in: Atom