Describe your data up front and generate schemas, API specifications, client / server code, docs, and more.

Owi is a toolchain to work with WebAssembly. It is written in OCaml. It provides a binary with many subcommands: owi c: a bug finding tool for C code that performs symbolic execution by compiling to Wasm and using our symbolic Wasm interpreter; owi conc: a concolic Wasm interpreter; owi fmt: a formatter for Wasm; owi opt: an optimizer for Wasm; owi run: a concrete Wasm interpreter; owi script: an
ãã©ã³ã次æç±³å¤§çµ±é ãæ°è¨äºå®ã®ãæ¿åºå¹çåçãã®å ±åãªã¼ãã¼ã«æåãããã¤ã¼ãã³ã»ãã¹ã¯ã¨ãããã¯ã»ã©ãã¹ã¯ãã¯11æ27æ¥ãXï¼æ§ãã¤ãã¿ã¼ï¼ã®æç¨¿ã§ãµãã¼ã¿ã¤ã ã廿¢ããå¯è½æ§ã«è¨åããããã®æ £è¡ã«ã¤ãã¦ã¯ãå¤ãã®ç±³å½äººã以åãã廿¢ãã¹ãã ã¨ä¸»å¼µãã¦ããã ãã¹ã¯ã¯ããµãã¼ã¿ã¤ã ã«é¢ãã䏿ºã表æããXã®ã¦ã¼ã¶ã¼ã®æç¨¿ã«ãã人ã ã¯ãã®é¢åãªæéã®å¤æ´ãããããã¨æã£ã¦ããããã ï¼ãã¨ã³ã¡ã³ããããã©ãã¹ã¯ãããã®ä¸»å¼µã«åæããç¾ç¶ã®å¶åº¦ããéå¹ççã§ãããç°¡åã«å¤ãããããã¨è¿°ã¹ãã ãµãã¼ã¿ã¤ã ã®å»æ¢ãæ¬¡ææ¿æ¨©ã§æ¯æããããã©ããã¯ä¸æã ãã廿¢ã«ã¯è°ä¼ã§ã®ç«æ³ã¨å¤§çµ±é ã®æ¿èªãå¿ è¦ã¨ãªãã ãµãã¼ã¿ã¤ã ã¯æ¯å¹´3æã®ç¬¬2æ¥ææ¥ã«å§ã¾ãã11æã®ç¬¬1æ¥ææ¥ã¾ã§é©ç¨ãããããã®å¶åº¦ã®ç®çã¯ãæè¨ãæ¥ã«1æéé²ããç§ã«1æéæ»ããã¨ã§ãæ¥ç §æéãæå¹æ´»ç¨ããã¨ãã«ã®ã¼ãç¯ç´ãããã¨ã¨ãã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}