12.8k

开发工具

RuboCop

一个基于社区 Ruby 风格指南的 Ruby 静态代码分析器和格式化器。「A Ruby static code anal...

3.8k

Ruby

快速查看 比較

  3.8k

Python

manticore

Symbolic execution tool

3k

Python

快速查看 比較

  2.9k

未分类

FStar

Verification system for effectful programs

3k

F*

快速查看 比較

C/C++

smack

SMACK Software Verifier and Verification Toolchain

2.4k

C

快速查看 比較