The growing size and complexity of current software systems have made security holes more com- mon and more serious, especially in programming languages like C and C++ that are used at the system level. Static Application ...