Contract security: automated vulnerability scanning, reentrancy/overflow detection, access control analysis, exploit pat