Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
使用 gcc 在 C 中实现类型安全的可变参数
很多时候 我希望函数接收可变数量的参数 例如以 NULL 结尾 define push stack t stack push VARARG NULL func push stack t stack char s va list args v
c
gcc
staticanalysis
c89
如何立即查看 AppCode 中的 Swift 错误?
有没有办法立即看到 AppCode 中的 Swift 错误 在他们的网站上 他们谈论静态代码分析 但我找不到任何地方可以声称这种情况会立即发生 当您在 Xcode 中输入一些 Swift 代码时 您通常会立即看到警告 错误等 在 AppCo
swift
compilererrors
staticanalysis
JetBrainsIDE
appcode
Findbugs contrib:方法从 catch 块中抛出替代异常,没有历史记录
fb contrib 抱怨 方法从 catch 块中抛出替代异常 没有历史记录 在我的 try catch 块之一中 如何解决这个问题 有关于如何解决这个问题的详细解释吗 原始异常被捕获 您的代码抛出另一个异常 而不将原始异常包含在java
Java
staticanalysis
FindBugs
用于查找竞争条件/死锁的 C#/.NET 分析工具
是否有工具可以分析 NET 代码并查找竞争条件 我有一些代码具有公共静态属性 可以获取或创建私有静态字段 它还有一个公共静态方法 将该字段设置为 null 是的 我知道 由于这两种方法都没有锁 所以可以肯定的是 将来事情会出现严重错误 我需
c
NET
Multithreading
staticanalysis
ndepend
.NET 3.5 处置注册表项
我有以下代码 RegistryKey installKey Registry LocalMachine OpenSubKey installKey 我正在我的代码上运行静态分析工具 它给了我一个缺陷 说我从方法中返回而没有处理安装密钥 我知
c
Dispose
staticanalysis
RegistryKey
iOS项目:静态/动态代码分析和调用图
我正在寻找一些适用于 iOS 项目的方便的代码分析工具 尤其是 进行静态分析 动态分析并生成调用图 到目前为止 在我的调查中 我发现 dtrace 解释如下here https stackoverflow com questions 107
ios
Objectivec
staticanalysis
callgraph
dynamicanalysis
用于 Objective-C 开发的 Lint 检查工具 [关闭]
Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 具有多个开发人员的大型项目通常会导致代码风格不一致 我正在寻找一个lint http en wikip
Objectivec
cocoa
staticanalysis
Lint
javac数据流分析的奇怪误报
我有以下形式的代码 class Test private final A t public Test for final A u null t new A private class A 编译器说 variable t might alre
Java
compilererrors
staticanalysis
javac
dataflow
为什么此代码会生成“潜在资源泄漏”警告?
Eclipse Juno 给出以下警告 潜在的资源泄漏 os 可能未关闭 在第一行try这段代码中的主体 static void saveDetails byte detailsData OutputStream os null try o
Java
eclipse
warnings
staticanalysis
resourceleak
Linux 内核的静态调用图生成
我正在寻找一个工具来静态生成 Linux 内核的调用图 对于给定的内核配置 生成的调用图应该是 完整的 即包含所有调用 包括潜在的间接调用 我们可以假设在 Linux 内核的情况下只能通过使用函数指针来完成调用 例如 这可以通过分析函数指针
Linuxkernel
functionpointers
staticanalysis
callgraph
为什么 linter 会选择无用的转义字符?
转义字符串 模板文字和正则表达式中的非特殊字符没有任何效果 Source https eslint org docs rules no useless escape https eslint org docs rules no useles
javascript
eslint
staticanalysis
Netbeans 告诉我删除 null 比较,但这会破坏我的代码
我有以下简单的代码来模拟猫狩猎 import java util Arrays import java util LinkedList public class HuntigSaeson int hunger 4 int level 3 L
Java
netbeans
staticanalysis
Java中如何查找未关闭的I/O资源?
Java 中的许多 I O 资源 例如 InputStream 和 OutputStream 在使用完毕后需要关闭 如前所述here http www coderanch com t 202922 Performance java Uncl
Java
Resources
IO
staticanalysis
如何为专有语言构建 AST?
我试图了解如何为专有语言构建 AST 我需要构建一个 AST 以便我可以输入我的规则和指南来检查源代码中可能存在的错误 如何构建 AST 有没有任何书籍 文章可以帮助我入门 龙的编译器书有帮助吗 请注意 我没有 CS 背景 Thanks 这
staticanalysis
abstractsyntaxtree
从 intellij 检查中排除目录,但不从自动完成中排除
据我所知 排除目录的唯一方法是将其标记为在项目结构中排除 然而 这将使 IntelliJ 完全忽略该目录 因此它不会出现在自动完成选项中 我不想要这个 我希望排除在检查之外 但包含在其他一切中 这可能吗 我正在使用 Intellij 12
Java
css
twitterbootstrap
intellijidea
staticanalysis
源码分析工具? [关闭]
Closed 这个问题不符合堆栈溢出指南 help closed questions 目前不接受答案 C 和 C 的源代码分析和探索工具似乎非常缺乏 是否有任何工具可以用来收集有关 C 和 或 C 源文件的信息 cscope 完成了我需要的
c
codeanalysis
staticanalysis
`__CPROVER_fence()` 参数
我看到类似的代码 CPROVER fence RRfence RWfence 正在像这样的项目中使用Linux RCU 测试 https git kernel org pub scm linux kernel git torvalds li
c
staticanalysis
lockfree
cbmc
确定“未知的评估顺序”
从版本 1 80 开始 Cppcheck 告诉我 表达式 msg ipos checksum msg 1 ipos 1 取决于副作用的评估顺序 在此代码序列中 简化 data是一个变量 BYTE msg MAX MSG SIZE msg c
c
staticanalysis
operatorprecedence
cppcheck
有没有可以对 Scala 代码进行静态分析的工具? [关闭]
Closed 此问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 是否有任何工具可以对 Scala 代码执行静态分析 类似于 Java 的 FindBugs 和 PMD
Testing
scala
functionalprogramming
staticanalysis
C#编译器验证对象时的空状态静态分析
我在我的项目中启用了 Nullable 检查 并且在代码中的很多地方我检查输入对象及其属性 如果出现问题则抛出异常 但如果一切正常 那么我确信输入对象不为空 有没有办法告诉编译器 以某种方式使用 NotNullWhen 属性或类似的东西 我
c
Nullable
staticanalysis
nonnullable
1
2
3
4
»