ByteCodeDL

Bytecodedl

Uma ferramenta de análise estática declarativa para Datalog baseado em Bytecode JVM como CodeQL

Por que bytecodedl

O nome bytecodedl evoluiu a partir de codeql. O ByteCode corresponde ao código e DL corresponde a QL. É uma ferramenta de análise estática declarativa, principalmente para compensar o arrependimento de que o CodeQL não possa analisar diretamente o bytecode.

Este projeto tem dois propósitos principais:

1. O objetivo do ensino é ajudá -lo a começar com a análise estática. Este projeto demonstrará como implementar alguns algoritmos de análise estática através do Datalog. Comparado com a análise estática imperativa, esse método é muito mais simples. Depois de aprender os princípios básicos, você também pode fazer as regras.
2. Para melhorar a eficiência da escavação, os pesquisadores de segurança geralmente não podem obter o código -fonte. Na maioria dos casos, eles só podem analisar o pacote JAR e, em seguida, analisar o código descompilado através da Idea. A eficiência é relativamente baixa. Espero que a função de pesquisa, a função de análise de gráficos de chamadas e a função de análise de manchas fornecidas pelo BYTECODEDL possam melhorar a eficiência da escavação para os pesquisadores de segurança.

Instalar

1. baixar ou construir fuligem-fact-gerador.jar
2. Instale suflê
3. Instale neo4j

Docker

Você pode usar o Docker que construímos como o Docker-compose.yml

Características

• Função de pesquisa
• Análise de gráfico de chamada
  • Cha
  • Simples-cha
  • RTA
• Análise de Ponteiro
  • Análise de ponteiro independente do contexto
  • Análise do ponteiro sensível para pontos de chamada de contexto de primeira ordem
  • Análise do ponteiro sensível ao objeto de contexto de primeira ordem
  • Análise de ponteiro sensível ao tipo de contexto de primeira ordem
  • Disponível para análise de ponteiro sensível ao contexto
• Análise de mancha
  • PTainta independente de contexto
  • PTAINT sensível ao contexto
• Sarif de saída
• Implementar Jackee
• Otimização de desempenho

Uso

Veja a pasta Docs

Apoiar

Que problemas encontrados durante o uso podem ser feitos através

• E -mail: [email protected]
• Github: Edição/discussão
• Telegram: bytecodedl

Três maneiras de nos comentar

Plugin

• IDEIA
  • ByteCodedl Helper Bdlh
  • Plugin de idioma de dados Intellij-Datalog

Reconhecimento

• Graças aos dois professores Li Yue e Tan Tian, ​​da Universidade Nanyang, que introduziram o campo da análise estática por meio do curso de análise do programa que eles ofereceram.
• Graças ao DOOP, a fuligem-generator.jar é fornecida.