apisan

Apisan : 시맨틱 크로스 체크를 통해 API 사용을 소독합니다

Apisan은 수동 노력없이 소스 코드에서 API 사용을 자동으로 유추하는 도구입니다. Apisan의 주요 아이디어는 의미 론적 제약을 고려하여 네 가지 측면 (예 : 인과 관계 및 인수의 의미 적 관계)에서 올바른 사용 패턴을 추출하는 것입니다. Apisan은 보안에 영향을 미치는 다양한 속성을 확인하도록 조정되었습니다. 우리는 Linux 커널을 포함하여 Apisan을 9,200 만 줄의 코드에 적용했으며 OpenSSL은 이전에 알려지지 않은 버그 76 개를 발견했으며 모든 버그에 대한 패치를 제공했습니다.

이 저장소에는 분석 도구 및 LLVM이 있습니다. LLVM 관련 파일은 자체 라이센스 (License.LLVM)를 따르고 MIT 라이센스의 조건에 따라 분석 도구가 제공됩니다.

사용 방법

• 우분투에서 테스트 14.04
• 설정

  $ ./setup.sh

• 기호 데이터베이스를 구축하는 방법

  $ apisan build [cmds]

• 런 './configure'

  $ apisan build ./configure
  $ apisan build make

• 체커를 실행하는 방법

  $ apisan check --db=[db] --checker=[checker]

• 예

  $ cd test/return-value
  $ ../../apisan build make
  $ ../../apisan check --checker=rvchk

Checkers (분석기/Apisan/Check)

• 리턴 값 검사기 : retval.py
• 인수 검사기 : argument.py
• 인과 관계 검사기 : 인과성 .py
• 조건 검사기 : 조건 .py
• 정수 오버플로 체커 : intovfl.py
• 형식 문자열 버그 검사기 : fsb.py

저자

• insu yun [email protected]
• changwoo min [email protected]
• xujie si [email protected]
• Yeongjin Jang [email protected]
• taesoo kim [email protected]
• Mayur naik [email protected]

출판물

 @inproceedings{yun:apisan,
  title        = {{APISan: Sanitizing API Usages through Semantic Cross-checking}},
  author       = {Insu Yun and Changwoo Min and Xujie Si and Yeongjin Jang and Taesoo Kim and Mayur Naik},
  booktitle    = {Proceedings of the 25th USENIX Security Symposium (Security)},
  month        = aug,
  year         = 2016,
  address      = {Austin, TX},
}