Software Washing Machine for Embedded Code