6 ms·
I am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.
by tyoma 7y ago
I am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.