Notícias
- Análise de segurança de software de novo curso para análise e verificação do código de aprendizado com SVF para diversão e experiência!
- O SVF agora suporta LLVM-16.0.0 com ponteiros opacos (contribuídos por Xiao Cheng).
- Modernize o cmake da SVF (contribuído por Johannes).
- A SVF agora suporta LLVM -3.0.0 (agradeça a Shengjie Xu por sua ajuda!).
- O agrupamento de objetos publicado em nosso artigo Oopsla está agora disponível no SVF
- Pontos consumidos por hash-sts publicados em nosso artigo SAS já estão disponíveis no SVF
- Análise de software de aprendizagem ou ensino? Confira o ensino SVF!
- A SVF agora suporta LLVM-12.0.0 (graças a Xiyu Yang por sua ajuda!).
- O VSFS publicado em nosso artigo do CGO já está disponível no SVF
- O Typechlone publicado em nosso artigo da Ecoop já está disponível no SVF
- A SVF agora usa um único script para sua construção. Basta digitar
source ./build.sh em seu terminal, é isso! - O SVF agora suporta LLVM-10.0.0!
- Agradecemos a Bsauce por escrever um manual de usuário de SVF (link1 e link2) em chinês
- A SVF agora suporta LLVM-9.0.0 (obrigado por Uoungyoung Lee por sua ajuda!).
- A SVF agora suporta um conjunto de análises de ponteiro sensível ao campo.
- Use o SVF como um LIB externo para seu próprio projeto (contribuído por Hongxu Chen).
- O SVF agora suporta LLVM-7.0.0.
- O SVF agora suporta o Docker. Experimente SVF no Docker!
- O SVF agora suporta LLVM-6.0.0 (contribuído por Jack Anthony).
- O SVF agora suporta LLVM-4.0.0 (contribuído por Jared Carlson. Obrigado Jared e Will por suas discussões aprofundadas sobre a atualização do SVF!)
- O SVF agora suporta análises para programas C ++.
Documentação
O SVF é uma ferramenta de análise de fluxo de valor estático para linguagens baseadas em LLVM. SVF (CC'16) é capaz de executar
- AE ( Execução Resumo ): Execução cruzada (ICSE'24), Análise Typestate (FSE'24);
- WPA ( Análise inteira do programa ): sensível ao campo (SAS'19), análise sensível ao fluxo (CGO'21, OOPSLA'21);
- DDA ( análise orientada pela demanda ): análise sensível ao fluxo e sensível ao contexto (FSE'16, TSE'18);
- MSSA ( Construção da Memória SSA de Formulário ): Regiões de Memória, Efeitos Laterais, Formulário SSA (JSS'18);
- Saber ( verificação de erro da memória ): vazamentos de memória e free duplo (ISSTA'12, TSE'14, ICSE'18);
- MTA ( Análise de programas multithread ): fluxos de valor para programas multithread (CGO'16);
- CFL ( Análise de Atocabilidade livre de contexto ): solucionador de CFL padrão, gráfico e gramática (OOPSLA'22, PLDI'23);
- SVFIR e MemoryModel ( SVFIR ): SVFIR, Abstração da memória e estrutura de dados de pontos (SAS'21);
- Gráficos: gerando uma variedade de gráficos , incluindo gráfico de chamada, ICFG, gráfico de hierarquia de classes, gráfico de restrição, gráfico de fluxo de valor para análises estáticas e incorporação de código (OOPSLA'20, TOSEM'21)
Lançamos o código-fonte da SVF com a esperança de beneficiar a comunidade de código aberto. Você é gentilmente solicitado a reconhecer o uso da ferramenta, referindo -se ou citando publicações relevantes acima.
O documento doxygen da SVF está disponível aqui.
| Sobre SVF | Guia de configuração | Guia do usuário | Guia do desenvolvedor |
|---|
 |  |  |  |
| Apresentando SVF - o que faz e como o projetamos | Um guia de configuração passo a passo para construir SVF | Opções da linha de comando para executar o SVF, obter saídas de análise e testar SVF com um exemplo ou ptaben | Documentação técnica detalhada e como escrever suas próprias análises no SVF ou usar o SVF como um LIB para sua ferramenta e o curso no SVF |
