static-analysis 相关问题

“静态分析”是指用于分析任意属性的应用程序代码的软件工具(或它们的用途),例如错误(未初始化的变量,可能的SQL注入攻击,这个代码死了,参数可以为null,...... )或结构(这段代码的调用图是什么?有重复的代码吗?组件之间传递什么信息?)。

Vulkan SDK中有静态代码分析工具吗?

Vulkan SDK或其他地方有静态代码分析(GLSL 460)的工具吗?我需要从命令行启动工具并获取有关语法错误的输出(也许还有其他错误),什么都没有...

回答 0 投票 0

IAR CSTAT 分析中的 UNION 类型双关错误

我在 example.h 文件中有一个这样的类型结构: 类型定义联合{ uint16_t valNum; 结构体{ uint8_t valNumH; uint8_t valNumL; }; } 值Exp; 我在 example.c 文件中使用这个结构:

回答 1 投票 0

在空对象 base.Request.Headers 问题上调用方法的修复方法是什么?

一些静态代码分析工具在我尝试访问 ControllerBase.Request 方法时给出以下代码的错误,它说尝试访问空对象 t base.Request.Head 的方法...

回答 0 投票 0

clang-tidy 误报:stddef.h size_t

在 Windows 11 上使用 vscode 和使用 riscv32-esp-elf/esp-2022r1-11.2.0/riscv32-esp-elf/bin/riscv32-esp-elf-gcc.exe 编译的 ESP-IDF 插件,如果设置.json 有 “C_Cpp.codeAnalysis.clan...

回答 0 投票 0

如何为 C++ 代码生成调用图

我正在尝试生成调用图,用它找出所有可能执行特定功能的路径(这样我就不必手动找出所有路径,因为...

回答 9 投票 0

如何找到可能受代码更改影响的所有 ASP.NET 端点

我目前正在处理一个没有很好地进行单元测试的大型混乱代码库,我不得不对一个可能会影响许多 API 端点的方法进行小的更改。 我没有...

回答 0 投票 0

如何在 Kotlin 中计算对变量或函数的引用?

题目是关于静态编译时分析的。假设有一个文件级 const val: const val SOME_CONST_VAL = "SOME_CONST_VAL" 如何获得使用次数...

回答 1 投票 0

在条件代码块中使用变量的 Python linter

考虑以下代码: 测试变量:bool = True 如果测试变量: 富:海峡='' # 不影响 testvar 值的语句 如果测试变量: 酒吧:海峡=富 我试过的任何 linter 都会抱怨......

回答 0 投票 0

Helix QAC++ cli 项目创建

可以通过qacli创建项目Helix QAC++吗? 现在,我通过 QAC++ GUI 创建一个空项目,然后我使用 qacli sync 来同步并使用所有 cpp 文件填充项目...

回答 1 投票 0

是否有针对 Rust 的 AST 级分析/检测工具?

我需要全局分析 Rust 源代码(分析器需要查看整个程序)并相应地重写代码。基本上,我想到了 LLVM 之类的东西,但是......

回答 0 投票 0

为 Python 实施静态类型检查 [关闭]

我需要在不需要类型注释的情况下为 Python 实现静态类型检查(即使用类型推断),是否有任何指南或参考资料可以逐步解释它? 我读到了

回答 0 投票 0

使用 clang-tidy 时忽略某些文件

我正在尝试将 clang-tidy 与 cmake 集成,但是有些文件属于我想忽略的特定目标。 有没有办法让 clang-tidy 忽略 c 下的文件...

回答 3 投票 0

用于检测缺失参数名称的 Android lint 检测器

lint 检测器如何检测丢失的参数名称,在文档中他们提到了 javaEvaluator 的“computeArgumentMapping”方法,它返回 Uexpression 和 PsiParamet 的映射...

回答 0 投票 0

是否有 Python linter 来检查缺少的 `raise` 关键字?

我已经多次看到以下模式: 如果值 > MAX_VALUE: ApplicationError("值太大") # 现在值在范围内 使用价值(价值) 有一个明显但

回答 1 投票 0

Lint 以检查缺少的 `raise` 关键字

我已经多次看到以下模式: 如果值 > MAX_VALUE: ApplicationError("值太大") # 现在值在范围内 使用价值(价值) 有一个明显但

回答 0 投票 0

Eclipse CDT跨类分析

AssignmentToItselfChecker.java 捕获同一翻译单元内的自我分配。但是如果这个值通过 header 传播并且完成了相同的赋值,它就不会捕获,这是......

回答 0 投票 0

Semgrep:简单的 HTML 匹配(包括 MWE)

我知道 HTML 在 Semgrep 中是实验性的,但我希望它能在非常简单的匹配上工作(Bash 也是实验性的,它已经足够好了)。 我怎样才能匹配任何两个具有相同 I...

回答 0 投票 0

使用 c 获取用户输入的二维数组代码有什么问题

#include 主函数() { 整数 i,j,m,n; 整数 [m][n]; printf("输入矩阵的行数:"); scanf("%d", &m); printf("输入矩阵的列数:"); scanf(&q...

回答 1 投票 0

Semgrep:简单的 HTML 匹配

我知道 HTML 在 Semgrep 中是实验性的,但我希望它能在非常简单的匹配上工作(Bash 也是实验性的,它已经足够好了)。 我怎样才能匹配任何两个具有相同 I...

回答 0 投票 0

如果函数中使用了 _Nullable 参数,如何使用 clang 分析器获取有关 NullDereference 的警告

我想通过向我的函数添加 _Nullable 来检测 NullDereference 错误。 我写了 my_function();它是一个函数,如果 ptr 为 NULL,将导致 NullDerenference 错误。给一个提示......

回答 0 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.