github / github/codeql

Java codeql requires Precise data-flow for collections and Field-sensitive data-flow analysis capabilities

Aberta
#9,597 3 comentários 0 reações 0 responsáveis Ver no GitHub
question
Linguagem predominante
CodeQL
Estrelas
10.1k
Forks
2.1k
Merge médio
2d 15h
PRs com merge (30d)
141

Descrição

Like this issus:https://github.com/github/codeql/pull/3366

Java codeql engine cannot model data flow through collections precisely. Example:
```
class Demo
{
private static final String PSFS = "1111";
void M1(source)
{
Obj obj = new Obj();
obj.setA(source);
obj.setB(PSFS);
Sink(obj.getA()); // vul
Sink(obj.getB()); // not vul
}
}
```
codeql marked obj is tainted,not obj.A

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.