AttributeError를 정적 분석으로 미리 파악할 수 있는 방법이 있을까요?

안녕하세요! 강의 잘 수강하고 있습니다. 런타임 전에 미리 에러를 확인할 수 있는 방법이 있을까요?
AttributeError를 보다가 들었던 생각입니다. 다른 정적 타입 언어에서는 모듈이나 클래스에 없는 속성을 사용하면 컴파일 단계에서 에러를 발생해서 실수를 막아주는데요. AttributeError를 보면 런타임에서 에러가 발생하게 될 것 같습니다. EAFP 에서 런타임 에러가 발생하면 그 때가서 수정하라고 가이드했다고 하셨지만, 이렇게 사용하면 서비스 안정성이 떨어질 것 같습니다. 런타임 전에 미리 에러를 확인할 수 있는 방법이 있을까요? 방법이 있다면 실무에서는 정적 분석으로 미리 이런 에러를 방지하는 경우가 많은가요?