apisan

Apisan: higienizar os usos de API através da verificação cruzada semântica

O Apisan é uma ferramenta que infere automaticamente os usos corretos da API do código -fonte sem esforço manual. A idéia principal no Apisan é extrair provavelmente os padrões de uso corretos em quatro aspectos diferentes (por exemplo, relação causal e relação semântica nos argumentos), considerando restrições semânticas. O Apisan é adaptado para verificar várias propriedades com implicações de segurança. Aplicamos o Apisan a 92 milhões de linhas de código, incluindo o Linux Kernel, e OpenSSL, encontramos 76 bugs anteriormente desconhecidos e fornecemos patches para todos os bugs.

Este repositório possui ferramenta de análise e LLVM. Os arquivos relacionados ao LLVM seguem sua própria licença (License.llvm) e a ferramenta de análise é fornecida nos termos da licença do MIT.

Como usar

• Testado no Ubuntu 14.04
• Configurar

  $ ./setup.sh

• Como construir um banco de dados simbólico

  $ apisan build [cmds]

• Correr './configure'

  $ apisan build ./configure
  $ apisan build make

• Como administrar um verificador

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

• Exemplo

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

Verificadores (em Analisador/Apisan/Check)

• Valor de retorno verificador: retval.py
• Verificador de argumentos: argument.py
• Verificador de causalidade: causalidade.py
• Verificador de condição: condicional.py
• Verificador de transbordamento inteiro: Intovfl.py
• Format String Bug Checker: fsb.py

Autores

• Insu yun [email protected]
• Changwoo min [email protected]
• Xujie si [email protected]
• Yeongjin jang [email protected]
• Taesoo kim [email protected]
• Mayur Naik [email protected]

Publicações

 @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},
}