DriverBuddy is an IDA Python script to assist with the reverse engineering of Windows kernel drivers. - View it on GitHub