The goal of the Binary Analysis Lodestar for Assuring Medical Devices (BALAM-D) is to harden medical device binaries from cyber-attacks. Specifically, BALAM-D leverages reverse engineering and automated program analysis techniques to generate a security patch for a given binary. The binary patch is tested via symbolic execution to ensure that it maintains the safety and performance requirements of the medical device. Once tested, the patch is reintegrated into the medical device firmware, preventing attacks faster than the months a traditional patch might take to develop.