Announcement_2

April 29, 2022

Our paper Concolic Execution for WebAssembly was accepted at ECOOP’22!

Enjoy Reading This Article?

Here are some more articles you might like to read next:

QS 2023/2024 - Static Analysis Lab: C

Advances in Symbolic Execution: A Workshop on C, JavaScript, and WebAssembly