static-analysis专题提供static-analysis的最新资讯内容,帮你更好的了解static-analysis。
我的库具有以下功能行: <pre><code>int lwip_stricmp(const char* str1, const char* str2) { char c1, c2; do { c1 = *
在example.h文件中我有一个这种类型的结构,如下所示: <pre><code>python -m scapy </code></pre> 我正在example
我的源代码中有一个经典的以太网MAC地址代码: <pre><code>#define NETIF_MAX_HWADDR_LEN 6U u8_t hwaddr[NETIF_MAX_HWA
每天尝试从命令行运行一种形式的PHP linting。 我已经尝试过SonarLint-在PhpStorm中很不错,但是很遗憾
所以我有这个特征和一个实现它的结构: <pre class="lang-rust prettyprint-override"><code>trait Trait { fn foo(&am
我在使用clang静态分析器时遇到以下错误。有什么想法吗? <pre><code>error: reference to type &#39;const std::str
我正在使用docker中的apache ant构建的Java Web应用程序(spring,jsf)上运行CI / CD。构建效果很好!。
我试图查找<code>cppcheck</code>是否可以对注释的代码发出警告,因此在预提交挂钩中使用它可以防止违反
对于上下文,我正在使用Python <code>ctypes</code>库与C库进行接口。但是,不必熟悉C或<code>ctypes</code>即可回
在声纳检查期间,似乎命名产生了问题。低于预期? <pre><code>public class Main { public static void main(Str
是否有一个linter能够检测到<code>@deprecated</code>包中的<code>deprecated</code>装饰器将其标记为已弃用的功能的
是否有一种方法可以<code>Q_STATIC_ASSERT</code>将该函数是<code>Q_SLOT</code>或<code>Q_SIGNAL</code>? 这将用于避
我有一个函数<code>func</code>,它接受​​一个<code>pandas.Dataframe</code>,该数据框必须具有列:<code>&#39;col_f
我在项目中启用了Nullable检查,并在代码中的许多地方检查了输入对象及其属性,如果出现问题,则引发
我想在TypeScript中对命名/别名类型强制执行精确的类型匹配,以使编译器捕获类似于下面<code>test()</code>
我正在尝试使用基于 <a href="https://checkstyle.org/writingchecks.html" rel="nofollow noreferrer">https://checkstyle.org/writingc
我正在 Go 项目中使用 <code> let img = await Canvacord.Rank({ username: user.username, discrim: user.discriminat
我正在使用这个 <a href="https://github.com/kokizzu/kokizzu-benchmark/blob/master/assoc-small/uthash.c" rel="nofollow noreferrer">c
对于此项目 <a href="https://en.wikipedia.org/wiki/Simplex" rel="nofollow noreferrer"><em>d</em>-simplices</a>,对于行 (193, 199)
考虑这个不太安全的片段: <pre><code>private object? _obj; private void Dummy() { if (this._obj == null) {