GitHub - OCamlPro/owi: 跨语言 Bugfinder | 自带语言求解器辅助编程 | WebAssembly 瑞士军刀

主要观点:Owi 是用于处理 WebAssembly 的工具链,用 OCaml 编写,提供多个子命令和 OCaml 库。
关键信息

  • 子命令包括owi c等多种语言的 bug 查找工具、各种 Wasm 相关工具等。
  • 提供 OCaml 库可安全导入 OCaml 函数到 Wasm 模块。
  • 有一个能生成随机有效 Wasm 程序的模糊器。
  • 优化器和格式化器较实验性。
  • 介绍了安装方法(opam 安装、自行编译等)和开发版本设置。
  • 列出支持的 WebAssembly 提案(已采用和当前提案)。
  • 提及相关出版物、演讲活动、拼写发音、变更日志和许可证(AGPL 和多种其他许可证)及资金来源。
    重要细节
  • owi c等子命令的具体功能和相关 GitHub 链接。
  • 安装 opam 及安装所需的 solver 步骤。
  • 不同提案的状态及相关链接。
  • 各种出版物和演讲的时间、地点等信息。
  • 许可证中不同文件的来源及各自许可证。
  • 资金来自 NGI0 Core 基金等。
阅读 8
0 条评论