Symbb A symbolic execution tool that explores browsers for the purpose of detecting exploitable use-after-free bugs.