#Dūce
潜水员/鸭子的古英语。
用于 C99 编码器的基本 Ocaml 编码静态分析器。 它旨在用作调试过程中的伴侣，而不是作为调试器本身。
##同伴？ 在橡皮鸭调试方法中，您需要某事或某人来解释您的代码。 在这个过程中，你可能会想：“嘿！也许是从这里来的”。 当一个人理解你说的话时，这个人可能会在某个时候说同样的话。
这正是这个 dūce 应该做的。 警告您，也许您在某些地方做错了，并指出它。
##我如何使用它？ 由于它是在 OCaml 中编码的，因此您可以使用 'ocaml' 解释器。
如果你想编译它，你将需要 'ocamlopt' 和 'make'。
make将为您提供duce二进制文件
make check将进行并运行测试
在这两种情况下，您都需要menhir。 它可以通过 OPAM 获得。
##Goal 我做这个项目是为了提高我的 OCaml 技能，了解更多关
