1. A computer readable storage medium, comprising executable instructions to: identify a memory operation in target source code; develop a set of constraints associated with the memory operation; convert the constraints into a Boolean expression; and process the Boolean expression with a Boolean satisfiability engine to determine whether the memory operation is potentially unsafe.