Inspec keywords: program debugging; data mining; learning (artificial intelligence); security of data; buffer storage; program diagnostics; auditing

Other keywords: BOF auditing; hybrid static-dynamic analysis; static program analysis; security objective; buffer overflow vulnerability auditing; bugs; machine learning; dynamic program analysis; static code attribute mining

Subjects: Data security; Software engineering techniques; Knowledge engineering techniques; Diagnostic, testing, debugging and evaluating systems