Several tools and techniques have been developed to automatically detect software errors in programs written for use on standard CPUs. While the architectures of microcontrollers may differ significantly from typical CPUs many of the same categories of bugs are prevalent in programs written for them. I present an examination of the prevalence of integer and buffer overflow bugs in the public code base of the Arduino microcontroller system and extend techniques and tools designed for use on standard x86 CPUs to provide automatic detection of those bugs