github / github/codeql

CPP:Some questions about Control flow analyse and query time

Abierto
#10,411 7 comentarios 0 reacciones 0 asignados Ver en GitHub
question
Lenguaje dominante
CodeQL
Estrellas
10.1k
Forks
2.1k
Merge medio
2 d 15 h
PR fusionados (30 d)
141

Descripción

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)

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.