01Identification of panic-prone code patterns that cause node DoS
02Verification of 'verify-first, write-last' state storage safety
03Review of dispatchable origin checks and privilege escalation risks
04Validation of Substrate weight calculations and fee logic
050 GitHub stars
06Automated detection of arithmetic overflows and unsafe math operations