[LGTM] CodeQL 실습

LGTM에서 CodeQL을 실습할 수 있다.

 

기본 쿼리 구조

/**
 *
 * Query metadata
 *
 */

import /* ... CodeQL libraries or modules ... */

/* ... Optional, define CodeQL classes and predicates ... */

from /* ... variable declarations ... */
where /* ... logical formula ... */
select /* ... expressions ... */

기본적인쿼리 수행

2017년 6월 10일과 9월 28일 사이의 일 수를 계산하는 쿼리

 

where 부분은 함수 f가 7개 이상의 인수가 있는 함수로 제안한다.

Function print_rules를 클릭해보면

이렇게 찾아준다.

 

매개변수 p를 액세스되지 않는 매개변수로 제한하여 사용하지 않는 매개변수를 찾는 코드

str과 principal