another potential security bug

Hi, my name is William Ie and I am currently working under Dawson Engler's mc project here in the Stanford CS dept. We are currently trying to develop security related bug-checkers, particularly regarding the capability checks done in the linux kernel. While going through the results o

[CHECKER] security rules?

Hi, my name is William Ie and I am currently working with the mc group. We are currently looking into how capability checks are used in the 2.4.3 kernel. Along the way, we found a few potential bugs that we are not too sure about. Please bear in mind our checker right now is still very very crude