PLSysSec / sys

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

Home Page:https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Optional Kildall for static checking pass

deian opened this issue · comments

Right now, we do thread walking through the function to build paths.
This is kind of insane.
We should instead have a simple Kildall pass, which will make things a ton faster.
(We can keep the thread walking approach just in case its still helpful for people)

This will take place on the new-static branch