“静态分析”是指用于分析任意属性的应用程序代码的软件工具（或它们的用途），例如错误（未初始化的变量，可能的SQL注入攻击，这个代码死了，参数可以为null，...... ）或结构（这段代码的调用图是什么？有重复的代码吗？组件之间传递什么信息？）。
Psalm 或 PHPStan 规则强制更新 DocBlocks？
有没有办法告诉 Psalm 或 PHPStan 确保任何更新的方法也得到更新的 DocBlocks？ 这是软件开发团队面临的常见挑战。 DocBlock 将在
类型提示 Python 继承“[child] 的基类相互不兼容”
我正在尝试学习如何使用基类和继承。我收到类型检查错误，但代码正在按预期运行。我是否有类型检查器问题、类型提示问题或含义...
有办法禁用此检查吗？我知道，这可能是一个糟糕的设计，但我仍然想禁用它。
我有一个庞大的 C 代码库，其中包含 >100 个二进制文件、>3000 个文件和 > 30 个库。积累了很多死代码，我正在寻找识别和删除这些代码的方法。 ...
有没有办法在 Go 中进行 linting 时阻止使用包中的特定函数
在使用 golangci-lint 或 go/analysis 等进行静态分析时，是否有一种半简单的方法可以阻止使用特定 Go 包中的特定函数（即 fmt.Sprintf）。 说...
我正在尝试构建一个 linter，它能够检查是否从一组函数 B 中调用了特定函数 A，并报告任何不调用 A（直接或间接）的函数 B'。 我是我们...
我有一个js文件，本来是ts文件，但是用vite运行时出现问题，所以改成了js。 但是，现在它是一个 js 文件，它仍然显示打字稿错误 ts(7006) &...
我正在 Symfony 6 应用程序中试验 PHP 枚举，我认为我找到了一个非常好的用例。一切正常，但 phpstan 一直抱怨我返回的类型。 ------ --...
按照主要 clang 静态分析器网页 (http://clang-analyzer.llvm.org/scan-build.html) 的指示... 我有一个小 C 文件，其中充满了严重的错误（badcode.c）： int main(...
我已经努力寻找一个Python的静态数据流图生成器很长一段时间了。 这是我的理想： 给定一个小的 python 脚本 example.py（用 Python3 编写），返回一些代表...
例如我有这样的功能： 从“@aws-sdk/client-ec2”导入 * 作为 EC2； const ec2 = new EC2.EC2({ 区域: "us-west-2" }); 导出异步函数 getInfra() { 常量
在下面的Python代码中，TruckDriver类继承自Driver类，Truck类继承于Vehicle类。 Truck 类的 driver 属性是 TruckDriver ty...
我想知道是否可以像使用 Roslyn 为 C# / VB# 添加自定义代码分析器一样为 F# 添加自定义代码分析器？我可以利用一些框架/项目来做到这一点吗？ 另外，我想要...
我有一个程序，可以在收到消息时从库接收回调调用。回调的签名为 void on_message(const MyLargeObject &my_large_object); 我的反应代码...
我创建了一个flutter IOS项目（默认页面为空）， 准备IPA， 然后提交给MobSF Static分析。 在不添加任何内容的情况下，我遇到了两个高度严重的问题。 1. 二进制让你...
在不编译代码的情况下，我希望GCC或Clang报告警告。 是否可以运行编译器仅进行静态分析？ 我找不到一种方法来传递编译器警告标志并告诉它......
Pylint 和 ruff 不会抱怨带有文档字符串的函数中无用（不必要）的返回
在 pylint 文档中我们读到： 当在以下位置找到单个“return”或“return None”语句时发出 函数或方法定义的结尾。这个声明可以安全地被 删除是因为...
在激活了 PHPTools 的 VS 中，我有以下代码部分： foreach ($row['bgcolor'] as &$colBgColor) { $colBgColor = 颜色::COLOR_HEADER; } 在 VS 错误列表中，我收到以下警告： PHP...
CodeChecker 警告：自最新分析以来文件内容已更改或丢失
我使用 Codechecker 在本地执行了静态分析。 现在我想使用以下命令将结果（在报告文件夹中生成）存储在 CodeChecker 数据库中 CodeChecker 存储 ./reports --name
如何修复 Android Kotlin 中 StringBuilder 的“多行表达式应从新行开始”错误？
我在 Kotlin 中使用 StringBuilder 在循环内创建日志消息时遇到问题。 对于（人中的人）{ val logMessage = StringBuilder() .append("ID: ${person.Id}, &quo...