PHP 코드용 정적 분석기 PHPStan 1.0 출시

확인된 근본적인 문제의 예:

• 인스턴스 오브(instanceof), 캐치(catch), 타입힌트(typehints) 및 기타 언어 구성에 사용되는 클래스의 존재.
• 호출된 메서드와 함수의 존재 여부와 가용성, 그리고 전달된 인수의 수.
• 메서드가 반환 표현식에 정의된 것과 동일한 유형의 데이터를 반환하는지 확인합니다.
• 액세스되는 속성의 존재 및 가시성, 속성에 사용된 선언된 데이터 유형 및 실제 데이터 유형을 확인합니다.
• 문자열 형식화 블록의 sprintf/printf 호출에 전달된 매개변수 수가 정확합니다.
• 분기 연산자와 루프로 형성된 블록을 고려한 변수의 존재.
• 항상 false를 반환하는 다양한 유형과 피연산자를 사용하는 데이터에 대한 쓸모 없는 유형 캐스팅(예: "(string) 'foo'") 및 엄격한 테스트("===" 및 "!==").

PHPStan 1.0의 주요 혁신 사항:

• 다양한 유형의 매개변수에 대한 함수의 수신을 구성하기 위한 "혼합" 유형의 사용을 확인하는 "9" 검사 수준이 구현되었습니다. 레벨 XNUMX는 "mixed" 유형의 값을 다른 유형으로 전달하고, "mixed" 유형의 메서드를 호출하고, 해당 속성이 존재하지 않을 수 있으므로 해당 속성에 액세스하는 등 "mixed"의 안전하지 않은 사용을 식별합니다.
• @phpstan-pure 및 @phpstan-impure 주석을 사용하여 동일한 함수 호출에 대해 반환 값이 동일한지 여부를 제어합니다.
• @throws 주석을 사용하여 try-catch-finally 구문의 유형 분석을 수행합니다.
• 정의되었지만 사용되지 않은 내부(비공개) 속성, 메서드 및 상수 식별.
• array_map 및 usort와 같은 배열 함수에 호환되지 않는 콜백을 전달합니다.
• 누락된 유형 힌트 주석에 대한 유형 검사입니다.
• PHPDoc과 호환되는 유형 선언을 만들어 오류 메시지의 유형을 PHPDoc에서 사용할 수 있도록 했습니다.

출처 : opennet.ru