Assisting in Auditing of Buffer Overflow Vulnerabilities via Machine Learning

Algorithm 3

Example code for explanation of IPSG and DSSG.

int main(int argc, char argv)

int i = atoi(argv);

char p = argv;

woo(p, i);

void woo(char src, int size)

if(n<100)

foo(src, size);

void foo(char src, int n)

char dst;

int count = n+100;

memcpy(dst, src, count);