cclyzerpp

cclyzer ++

O CCLYZER ++ é uma análise de ponteiro global precisa e escalável para o código LLVM. A saída do CCLYZER ++ pode ser usada para uma variedade de tarefas de análise de programas, incluindo:

• Criação de callgraphs com manuseio preciso de chamadas de função indireta e chamadas de método virtual
• Análise precisa de controle interprocedural e fluxo de dados
• Respondendo às consultas de maio-alias e não-alias

O CCLYZER ++ é sensível ao campo e da matriz, realiza a construção de call-gnaph on-the-fly e suporta muitas configurações diferentes de sensibilidade ao contexto, incluindo a sensibilidade do cálculo do k . Possui análises baseadas em subconjunto (estilo Andersen) e unificação (estilo Steensgaard). O CCLYZER ++ é escrito no Datalog Soufflé e, portanto, é altamente paralelo. O CCLYZER ++ foi derivado do CCLYZER.

Consulte a documentação para obter mais informações sobre o CCZLYER ++, incluindo exemplos de sua saída. A documentação também está disponível online.

Se você usar o CCLYZER ++ em seu próprio trabalho, inclua as seguintes citações:

• Langston Barrett e Scott Moore. "CCLYZER ++: Análise de ponteiro escalável e precisa para LLVM." https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras e Yannis Smaragdakis. "Pontos sensíveis à estrutura para análise para C e C ++". Em Análise estática: 23º Simpósio Internacional, SAS 2016, Edimburgo, Reino Unido, 8 a 10 de setembro de 2016, Proceedings 23, pp. 84-104. Springer Berlin Heidelberg, 2016.

Agradecimentos

Este material é baseado no trabalho apoiado pela Força Aérea dos Estados Unidos e pela Agência de Projetos de Pesquisa Avançada de Defesa (DARPA) sob o contrato nº FA8750-19-C-0004. Quaisquer opiniões, descobertas e conclusões ou recomendações expressas neste material são as do (s) autor (s) e não refletem necessariamente as opiniões da Força Aérea dos Estados Unidos ou da DARPA. Aprovado para liberação pública, distribuição ilimitada.