📄️ DT Doctor
DT Doctor is a static analysis tool that helps diagnose Devicetree-related build errors.
📄️ ECLAIR Manager
BUGSENG ECLAIR is a certified static analysis tool for software verification, focused on MISRA, BARR-C and AUTOSAR C compliance, software metrics, and the automatic detection of critical software errors.