소스 코드 정적 분석에 관한 설명으로 틀린 것은?

1. 1

   프로그램을 실행하지 않고 제어·데이터 흐름과 규칙 위반을 검사할 수 있다.

   오답 이유정적 분석은 실제 실행 없이 구문·제어흐름·데이터흐름 모델을 분석한다.
2. 2

   코딩 표준 위반과 일부 보안 취약 패턴을 자동 탐지할 수 있다.

   오답 이유규칙 엔진은 위험 API·null 흐름·주입 가능성·스타일 위반 등을 탐지할 수 있다.
3. 3

   반드시 별도의 전용 하드웨어 회로에서만 수행할 수 있고 소프트웨어 분석기는 사용할 수 없다.

   정답 근거정적 분석은 소프트웨어로 널리 구현되므로 전용 하드웨어만 가능하다는 단정은 사실이 아니다.
4. 4

   모든 실행 입력의 실제 동작을 완전 증명하는 데에는 한계가 있다.

   오답 이유경로 폭증·동적 입력·반사 등의 이유로 모든 런타임 동작을 완전 판정하기는 어렵다.