apisan

APISAN：通過語義交叉檢查對API進行消毒

APISAN是一種工具，可以在不手動努力的情況下自動從源代碼中刪除API使用情況。 Apisan中的關鍵思想是通過考慮語義限制來提取四個不同方面（例如，因果關係，因果關係和語義關係）的可能正確使用模式。 Apisan量身定制，以檢查具有安全含義的各種屬性。我們將APISAN應用於9200萬行代碼，包括Linux內核和OpenSSL，發現了76個以前未知的錯誤，並為所有錯誤提供了補丁。

該存儲庫具有分析工具和LLVM。 LLVM相關的文件遵循其自己的許可證（License.LLVM），並根據MIT許可條款提供分析工具。

如何使用

• 在Ubuntu 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

跳棋（在分析儀/阿皮桑/檢查下）

• 退貨價值檢查器：retval.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},
}