★
infer 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
A static analyzer for Java, C, C++, and Objective-C
pyre-check 是用 OCaml 编写的安全工具，面向安全研究与防护，主打高性能。
目前累计 7.2k star、450 fork，主要语言为 OCaml，项目始于 2017 年，采用 MIT 许可。最近状态：近半年有提交。适合：安全研究与防护人员。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。facebook/pyre-check 是一个以 OCaml 为主的开源项目，目前累计 7.2k star、450 fork，近半年有提交。主要方向：abstract-interpretation、code-quality、control-flow-analysis、ocaml、program-analysis、Python。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。abstract-interpretationcode-qualitycontrol-flow-analysisocamlprogram-analysisPython安全static-analysistaint-analysistype-checktypechecker
README
正在加载…相关项目
★
bap 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
Binary Analysis Platform
★
ocaml 是用 OCaml 编写的工程工具，用于代码分析、构建与打包。
The core OCaml system: compilers, runtime system, base libraries
★
google-drive-ocamlfuse 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
FUSE filesystem over Google Drive
★
reason 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打速度快、易用、类型安全。
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
★
mirage 是用 OCaml 编写的系统软件，属于操作系统或底层系统软件。
MirageOS is a library operating system that constructs unikernels