SootUp

Biblioteca de fuligem

Este é o lar do projeto de fuligem . Uma revisão completa da boa e antiga estrutura de análise estática.

O que é fuligem

• Transforma JVM bytecode (e outras entradas!) Para a representação intermediária Jimple.
• Fornece geração de Classhierarchy
• Geração de callgraph com diferentes algoritmos/precisões
• Análise de fluxo de dados interprocedural com a estrutura IDE/IFDS ativada por Heros
• Aplica transformações simples na recuperação de um corpo de métodos (consulte BodyInterceptor )
• Fornece análise e serialização do Jimple IR.

Começando

Exemplos de documentação e uso estão disponíveis em exemplos. Verifique os javadocs. Você tem perguntas? Sinta -se à vontade para iniciar uma discussão.

Melhorias de fuligem

(Comparado à sua fuligem antecessora.)

• Nova API aprimorada (sem globais/singletons)
• Arquitetura totalmente paralelagável
• Ativa o carregamento preguiçoso das classes (sem carga intercalada de classes usadas/dependentes)
• Falha na estratégia precoce - validação de entrada ao construir/construir objetos
• Atualizada (ou seja, Java8!) Frontend de código de origem (cuidado: não é possível lidar com entradas de Try-Catch, ainda!)!)
• Suporte completo do Java 21 para bytecode
• Múltiplas visualizações (não mais cena estática)
• Imutáveis ​​objetos e gráficos de infravermelho Jimple

Sinta -se à vontade para melhorar a fuligem!

Contribuindo

Para feedback e solicitações de recursos, melhor crie problemas apropriados.
Para perguntas e esclarecimentos, use as discussões.

Publicações

O artigo de fuligem explica mais detalhes e a decisão de design por trás da fuligem.
A pré -impressão também está disponível.

Se você usar fuligem em seu trabalho de pesquisa, fique à vontade para citar a seguinte:

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

Apoiadores

O desenvolvimento da fuligem é financiado pelo apoio generoso da Fundação de Pesquisa Alemã (DFG) e do Instituto Heinz Nixdorf (HNI).

Torne -se um patrocinador!