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 thời hỗ trợ thực thi song song để cải thiện hiệu suất. 1. Giới Thiệu (Introduction) WebAssembly (Wasm) là một định dạng nhị phân hiệu suất cao, ban đầu được phát triển cho các ứng dụng web, nhưng hiện nay đã được mở rộng…