github / github/codeql

CPP:Some questions about Control flow analyse and query time

未关闭
#10,411 7 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
question
主要语言
CodeQL
星标
10.1k
派生
2.1k
平均合并
2 天 15 小时
30 天内合并 PR
141

描述

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)

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。