BSides Cleveland C 03 Automating Windows Kernel Analysis With Symbolic Execution Spencer McIntyre