🔍 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.