代码管理分析/审查/优化

SwiftFormat 是一个代码库和命令行工具，用于在 macOS 或 Linux 上重新格式化 Swift 代码。 SwiftFormat 除了调整空格之外，它还可以插入或删除隐式self、...

Jigsaw 是微软推出的一种可以提高大型语言模型性能（如 GPT-3、Codex 等）的新工具。 Jigsaw 部署了理解程序语法和语义的后处理技术，然后利用用户反馈来提高未来的性能；该工具旨...

Concolic Code Clone Detection (CCCD) 是一个代码克隆检测工具。 代码克隆是指非常相似的独立代码片段，在提供相同的输入时会产生类似的结果。在已开发一段时间的应用...

Staticcheck 是一个开源的 Go 语言静态代码分析工具。 例如用来分析无用的变量： package main import (   "errors"   "fmt"   "l...

NullAway 是 Uber 开源的一款帮助你清除 Java 代码中的 NullPointerException（NPE）的工具，快速且实用。NullAway 类似于 Kotlin 和 Swi...

安装 go get -u -v gopkg.in/ffmt.v1 用法 API 文档 示例 package main import (   ffmt "gopkg.in/ffmt.v1" ) ...

Larastan 是对 phpstan/phpstan 的 Laravel 封装，主要是帮你查找代码中的错误，而无需实际的运行代码。它可以捕获所有类的 bug 。支持 Laravel 优美的魔术...

Privado 是一个开源静态代码分析工具，用于发现代码中的数据流。它检测正在处理的个人身份信息 (PII)，并进一步将数据流从收集点映射到“sinks”，例如外部第三方、数据库、日志和内部 A...

Recess 是一个简单的建立在动态样式语言 LESS 上的代码质量检查工具。它能够直接作为一个编译器被集成到构建系统中，并使你的代码看起来更加整洁和易于管理。

Instagram 开源了 MonkeyType，它是通过运行时跟踪类型自动将类型注释添加到您的 Python 3 代码的工具。 在 MonkeyType 可以告诉我们任何有用的东西之前，我们需...

weggli 是一个快速且强大的 C 和 C++ 代码库语义搜索工具，旨在帮助安全研究人员识别大型代码库中的有趣功能。 weggli 根据用户提供的查询对抽象语法树执行模式匹配。它的查询语言类似...

SMACK即是一个模块化的软件验证工具链，又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时，SMACK实现了对无上限的验...

Classycle 是一款 Java 代码分析器，可以分析 Java 应用程序或库中的静态类和包的相关性，对于查找类或包之间的循环依赖关系特别有用。 Classycle 类似于 JDepend，...

DXR 是一个代码搜索和导航工具，旨在理解像火狐那种大型项目。它支持全文搜索和正则表达式搜索，以及结构查询。事实上，它使用三线行指标（trigram indices）、re2 库，并收集由编译器...

CodeQL 是一个语义代码分析引擎，它可以扫描发现代码库中的漏洞。使用 CodeQL，可以像对待数据一样查询代码。编写查询条件以查找漏洞的所有变体，并处理，同时可以分享个人查询条件。 Un...

目标 css-checker 会检查您的 css 样式是否有重复，并在几秒钟内找到具有高度相似性的 css classes 之间的差异。它可以避免文件之间出现冗余或类似的 css，并适用于本地开...

Golang 开发工具，提供代码质量检测/Golang 代码静态检测器/Golang 项目单元测试，根据自定义模版自动生成 Golang 代码质量检测报告。 示例 Summary UnitTes...

Terrascan 是基础设施即代码的静态代码分析器。Terrascan 允许你： 无缝扫描基础设施即代码以查找错误配置。 监控已配置的云基础设施以了解引入 posture drift 的配置更...

Memray 是 Python 的内存分析器，它可以跟踪 Python 代码、本机扩展模块和 Python 解释器本身中的内存分配，然后生成几种不同类型的报告来帮助分析捕获的内存使用数据。 Me...

poetry 是一个包管理和打包的工具。 在 Python 中，对于初学者来说，打包系统和依赖管理是非常复杂和难懂的。即使对于经验丰富的开发者，一个项目总是要同时创建多个文件： `setup.p...