phpmd是一款用于PHP代码的静态检查工具，能够寻找源代码中的潜在问题，如可能的错误、不够优化的代码、过于复杂的表达式以及未使用的参数、方法和属性。
PHP 19 次浏览
matchkin 是一个 TypeScript 库，用于创建可以静态证明是详尽无遗的值匹配器。它确保处理所有可能的值，并提供额外的好处： 始终需要默认块，确保所有情况都得到处理。 在类型系统确信处理了所有情况时，禁止默认回退。 创建匹配器的调用会得到静态检查，以确保可以对结果匹配器执行。
Typescript 20 次浏览
nebcontractchecker提供了对星云链Javascript智能合约进行静态检查的能力，安装依赖nodejs 8+即可开始构建。 具体用法：1. 使用Node.js运行后台/ index.js2. 访问index.html
Nodejs 22 次浏览
详细阐述了如何利用PC-Lint的配置文件对该工具进行细致的定制，使其更符合项目需求。通过灵活配置，用户可以有效地提高代码质量，减少潜在错误，提升开发效率。
C 22 次浏览
静态代码安全检查工具能够自动检测 C/C++ 源代码中的安全漏洞，避免软件中的潜在安全风险。分析了 C/C++ 编程中的常见安全问题，提出针对性的检测方法。同时，比较了不同工具的优缺点，并提供了提高安全检查效果的建议，为软件安全开发提供指导。
C++ 32 次浏览
检查from表单是否填写并规定填写格式若格式不符弹出警告
PHP 22 次浏览
在Android开发领域，APK（Android Package）是应用程序的基本打包格式，它包含了应用的所有资源、代码、库文件等。APK检查变量这个话题涉及到的是在开发和调试阶段，确保环境配置正确，特别是与Java环境相关的变量。下面我们将深入探讨如何设置和检查与APK相关的Java环境变量。让我
JavaME 20 次浏览
通过检查SQL的本地状态，即可判断SQL是否启动成功。
Delphi 25 次浏览
实现了一个iOS网络状态检查的示例，希望对开发者有帮助。
IOS 20 次浏览