sona : a tool to analyze and manipulate elf binaries