static-analysis
-
for循环中的隐式内存别名
-
Java 流式传输来自 PMD 的循环异常警告
-
`auto *x = new some_struct{};` 是一个未初始化的变量吗？
-
如何配置 ESLint 以捕获未声明的局部变量
-
如何使用烟灰分析 .class 文件？
-
有没有办法阻止使用依赖项提供的特定功能？
-
GoCILint，标记错误分配给空白标识符
-
为什么 linters 选择无用的转义字符？
-
ESLint - 帮助识别缩进子规则
-
程序分析的精确性
-
PHPStan: 属性 with generic class does not specify its types: TKey, T
-
Python mypy 检查 TypeVar(bound=Union[A, B]) 的 return 类型不会出错，而 TypeVar(A, B) 会出错
-
难以理解带有 --py2 标志的 mypy 中 str() 的行为
-
如何在方法调用时查找方法参数的类型？
-
linters 配置文件应该在 .gitignore 中吗？
-
使用 SAST 工具时，为什么我们必须对编译语言（例如 C/C++）使用 "build wrapper"？
-
如何禁用氡高圈复杂度检查？
-
如何将 frama-c CLI 代码映射到原始的 c 语句？以及如何找到 frama-c 的 api 的文档？
-
Scala：创建一个特征，强制 类 重新实现某些方法
-
如何处理核心指南检查器关于 gsl::at 的静态分析警告？