DriverBuddyReloaded – IDA script for reverse engineering Windows drivers
voidsec.com