PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
GNU General Public License v2.0
215 stars 41 forks source link

Checkers that enter all function calls #2

Open deian opened 3 years ago

deian commented 3 years ago

It also makes sense to do a wllvm compilation of some pieces of the browser and enter all function calls (especially for the uninit memory checker). This will probably lead to a lot more bugs, because we won't have to be a conservative with fp suppression