SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	He, Ningyu, Zhao, Zhehao, Guan, Hanqin, Wang, Jikai, Peng, Shuo, Li, Ding, Wang, Haoyu, Chen, Xiangqun, Guo, Yao
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2408.08537