Text this: Vulnerability detection algorithm of lightweight linux internet of things application with symbolic execution method