Trần Ngọc Minh

Tài liệu trình bày về Owi, một bộ công cụ kiểm tra và thực thi biểu tượng (symbolic execution) dành cho WebAssembly (Wasm), được phát triển bằng ngôn ngữ lập trình OCaml. Owi có khả năng thực hiện kiểm tra lỗi trên mã nguồn C, Rust và các ngôn ngữ biên dịch sang Wasm, đồng […]