Understanding the code base from scratch?

PLSysSec / veriwasm

SFI verifier of Wasm binaries

Other

79 stars 7 forks source link

Understanding the code base from scratch? #4

Closed casouri closed 2 years ago

casouri commented 2 years ago

Hi!

I'm a UCSD student trying to modify veriwasm for verifying the output of wasm2c (that's compiled to assembly) and am reading the codebase right now. Do you have any suggestions on how should I go about this? I have read the paper but do you have additional design documents that I can read?

Many thanks!

deian commented 2 years ago

try looking at the test directory :)