Software vulnerabilities that result in a stack-based buffer overflow are not as common today as they once were. but it only takes a single known vulnerability in a commonly used piece of software or operating systems to leave an entire infrastructure exposed. Since the release of papers detailing exploitation methods like Mudge’s “How To Write Buffer Overflows” , Aleph One’s “Smashing The Stack For Fun and Profit,” buffer overflows get chunk of problems in the information security field. The past few years has seen volumes of information published on techniques, when you use other tools to make static analysis don't have more precision...
So in this issue, need add stack overflow detector for C language, i think use dlopen() function to load external module, with this way, anyone can implement analyser...