GitHub repository: oberoisecurity/ghidra-processor-module-verifier
Primary language: C++
Description: Automatic verification of processor modules