S2E: A platform for multi-path program analysis with selective symbolic execution.
Home Page:https://s2e.systems/docs
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool