Detecção de conflitos semânticos usando Infer

Abstract

No desenvolvimento colaborativo de software, a integração de código entre diferentes desenvolvedores frequentemente leva a conflitos. Enquanto os conflitos textuais são bem tratados por sistemas de controle de versão como o Git, os conflitos semânticos — onde as alterações interferem no comportamento do sistema — continuam sendo um grande desafio. Esses conflitos podem ser estáticos, detectados em tempo de compilação, ou dinâmicos, emergindo apenas durante a execução. Este trabalho foca na detecção de conflitos semânticos dinâmicos usando o Infer, uma ferramenta de análise estática desenvolvida pela Meta. As abordagens atuais para detectar esses conflitos dependem da geração automatizada de testes, bem como de análises dinâmicas e estáticas, que enfrentam problemas de escalabilidade e precisão. Para melhorar a eficiência, este estudo propõe a adaptação da Análise de Taint do Infer para uma abordagem baseada em fluxo de dados na detecção de conflitos semânticos. Esse método busca aprimorar a eficiência computacional, garantindo ao mesmo tempo a identificação confiável de interferências. A técnica proposta envolve a transformação de código Java utilizando o Java Development Tools (JDT) para marcar sistematicamente modificações feitas por diferentes desenvolvedores. Essa transformação permite que o Infer rastreie o fluxo de dados entre alterações conflitantes, possibilitando a detecção de interferências. A metodologia inclui a travessia automatizada da AST, a marcação de instruções sensíveis ao fluxo de dados e a análise interprocedimental para propagar a detecção de conflitos através de chamadas de métodos e instâncias de objetos. Os resultados da abordagem adaptada baseada no Infer indicam seu potencial para detectar interferências semânticas em código mesclado. Ao equilibrar precisão e desempenho, este trabalho contribui para o avanço das estratégias de detecção de conflitos no desenvolvimento colaborativo de software, minimizando interrupções comportamentais indesejadas em bases de código integradas.