static-analysis 相关问题

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

在以下代码中，使用calloc（）分配了s，并且永远不会释放。但是，如果CPPCHECK将其传递给F1，则不会检测到此内存泄漏。根据CPPCHECK文档，我相信它假设

c memory-leaks static-analysis cppcheck

回答 0 投票 0

ai建议使用nolint/nolintbegin/nolintNextline，但这是不起作用的，它是clang-tidy语法。

c++ visual-studio static-analysis

回答 1 投票 0

当我使用可变的默认参数时，如何发出警告？

python static-analysis mutable default-arguments

回答 1 投票 0

为什么在这个简单的python函数中，Pyright有一个未绑定的可变错误警告

python warnings static-analysis pyright unbound

回答 2 投票 0

如何获取有关列表是一个可变默认论点的警告？

我在不知道的情况下意外使用了可变的默认论点。是否有可以发现这一点并警告我的工具？

python static-analysis

回答 1 投票 0

用rascal-mpl

，我想使用Neo4J或TinkerPop

security static-analysis rascal

回答 1 投票 0

用rascal-mpl

，我想使用Neo4J或TinkerPop

security static-analysis rascal

回答 1 投票 0

非武器的标准库我正在尝试在任务框架上使用宅男进行WCET分析。但是，该工具无法解析间接跳跃指令。我调查了这些间接跳跃的来源，然后我...

otawa

c++ arm cross-compiling static-analysis

回答 1 投票 0

如何生成非可执行二进制文件的CFG 我想为不执行的二进制文件生成一个控制流图。目的是对Linux内核生成的二进制文件进行静态分析。是否有任何工具可以做...

我使用obj-dump拆卸二进制组装。当前，我对汇编基本块进行分析，但是在这种方法中，我不能保证是否涵盖了所有执行路径。

assembly linux-kernel static-analysis object-files control-flow-graph

回答 2 投票 0

是否可以在 vscode 中定义自定义/本地 linter？

我有一个简单的自制 linter 用于工作，它的调用方式如下： python3 scripts/lint.py FILENAME 输出是完全标准的 linter 样式输出，例如：路径/到/file.yang:5:19: ...

visual-studio-code static-analysis

回答 2 投票 0

Psalm 或 PHPStan 规则强制更新 DocBlocks？

有没有办法告诉 Psalm 或 PHPStan 确保任何更新的方法也得到更新的 DocBlocks？这是软件开发团队面临的常见挑战。 DocBlock 将在

php static-analysis phpstan docblocks psalm-php

回答 1 投票 0

类型提示 Python 继承“[child] 的基类相互不兼容”

我正在尝试学习如何使用基类和继承。我收到类型检查错误，但代码正在按预期运行。我是否有类型检查器问题、类型提示问题或含义...

python generics static-analysis type-hinting

回答 1 投票 0

IntelliJ-Idea 禁用检查：参数的实际值始终为

有办法禁用此检查吗？我知道，这可能是一个糟糕的设计，但我仍然想禁用它。

java intellij-idea static-analysis

回答 4 投票 0

识别大型代码存储库中的死代码

我有一个庞大的 C 代码库，其中包含 >100 个二进制文件、>3000 个文件和 > 30 个库。积累了很多死代码，我正在寻找识别和删除这些代码的方法。 ...

c static-analysis dead-code

回答 1 投票 0

有没有办法在 Go 中进行 linting 时阻止使用包中的特定函数

在使用 golangci-lint 或 go/analysis 等进行静态分析时，是否有一种半简单的方法可以阻止使用特定 Go 包中的特定函数（即 fmt.Sprintf）。说...

go static-analysis

回答 1 投票 0

Go 中是否可以使用静态分析找出函数参数的依赖关系？

我正在尝试构建一个 linter，它能够检查是否从一组函数 B 中调用了特定函数 A，并报告任何不调用 A（直接或间接）的函数 B'。我是我们...

go static-analysis call-graph ssa

回答 1 投票 0

重命名为js后vscode中记住的问题

我有一个js文件，本来是ts文件，但是用vite运行时出现问题，所以改成了js。但是，现在它是一个 js 文件，它仍然显示打字稿错误 ts(7006) &...

typescript visual-studio-code static-analysis

回答 1 投票 0

在 PHP 中使用 Enum 作为字符串与 PhpStan

我正在 Symfony 6 应用程序中试验 PHP 枚举，我认为我找到了一个非常好的用例。一切正常，但 phpstan 一直抱怨我返回的类型。 ------ --...

php symfony enums static-analysis phpstan

回答 1 投票 0

如何使用 clang 生成 C 代码报告

按照主要 clang 静态分析器网页 (http://clang-analyzer.llvm.org/scan-build.html) 的指示... 我有一个小 C 文件，其中充满了严重的错误（badcode.c）： int main(...

llvm clang static-analysis

回答 1 投票 0

Python 的静态数据流图生成器？

我已经努力寻找一个Python的静态数据流图生成器很长一段时间了。这是我的理想：给定一个小的 python 脚本 example.py（用 Python3 编写），返回一些代表...

python programming-languages static-analysis dataflow graphml

回答 2 投票 0

static-analysis 相关问题

最新问题