Svadev mailing list

[Umesh Kalappa <umesh.kalappa0 AT gmail.com>]

Hi  John,

Was trying run the safecode analysis for the below sample i.e 

[root@localhost simple_player]# cat test.c

int *ptr = (void *) 0;

void func()

{

 int a = 10;

 ptr = &a;

}

int main()

{

 func();

 return *ptr;

}

[root@localhost simple_player]# clang -g -fmemsafety test.c

[root@localhost simple_player]# ./a.out

[root@localhost simple_player]#

Where Safecode was unable detect the above dangling pointer issue ,Any lights on this ????

For you reference 

[root@localhost tools]# clang --version

clang version 3.0 (: http://llvm.org/svn/llvm-project/safecode/trunk/tools/clang)

Target: x86_64-unknown-linux-gnu

Thread model: posix

[root@localhost tools]# uname -a

Linux localhost.localdomain 2.6.32-220.13.1.el6.x86_64 #1 SMP Tue Apr 17 23:56:34 BST 2012 x86_64 x86_64 x86_64 GNU/Linux

Thanks 

~Umesh