github / github/codeql

CPP:Some questions about Control flow analyse and query time

Aperta
#10,411 7 commenti 0 reazioni 0 assegnatari Vedi su GitHub
question
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

I just start learning Codeql, and I want to analyze Data flow and Control flow of a program. Now I learn **_getASuccessor_** and Global DataFlow analyze. And I have some questions:

1. Is there any way (api)to do global control flow analysis? I find that **_getASuccessor_** can only get reachability within A function. How to know if a node in a function can reach node in some other functions?
2. I write a function to do global control flow analysis, but the query takes a long long time to run.... It's a function that recursively calls getASuccessor, I wonder why it's taking so long.....getASuccessor?or recursive?Is there any way to do this faster?
Part of the code:
![image](https://user-images.githubusercontent.com/39425646/190085957-8c6fc4b6-b5f7-4ee9-964e-fe0dc004a9eb.png)

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.