基于数据流分析,通过路径遍历检查c/c++代码中存在的安全漏洞。