More SysDSL docs & tutorial

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

GNU General Public License v2.0

215 stars 41 forks source link

Open marcinguy opened 3 years ago

marcinguy commented 3 years ago

Hi,

More checkers explanations than in Whitepaper (https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf) & tutorial as well as doc on SysDSL, with examples, would be great.

Thanks,

deian commented 3 years ago

It would be great indeed! PRs welcome!