A buffer overflow detection based on inequalities solution

A new buffer overflow detection model based on Inequalities Solution was designed, which is based on analyzing disadvantage of the old buffer overflow detection technique and successfully converting buffer overflow detection to Inequalities Solution. The new model can conquer the disadvantage of the old technique and improve efficiency of buffer overflow detection. (authors)