static analysis tool1 sparse : kernel static analysis tool 커널 코드를 보다 보니 이상한 문법의 코드가 있어서 확인해보았다. 203 static int expand_fdtable(struct files_struct *files, int nr) 204 __releases(files->file_lock) 205 __acquires(files->file_lock) 206 { expand_fdtable() 함수를 보면, 파라미터 정의 다음 줄에 __releases / __acquires 라는 함수 비슷한 것이 정의되어있다. 이를 찾아보면 include/linux/compiler.h 파일에 다음과 같이 정의되어 있다. 6 #ifdef __CHECKER__ 7 # define __user __attribute__((noderef, address_space(1))) 8 # .. 2013. 2. 12. 이전 1 다음