svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Source File and Line number

From: Divya Muthukumaran <divya84 AT gmail.com>
To: svadev AT cs.uiuc.edu
Subject: [svadev] Source File and Line number
Date: Mon, 31 Jan 2011 10:51:19 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hi,

I am just trying out SafeCode after reading the paper. I ran the sc tool on a simple program with an out of bounds error and I get the following output when I run the executable.

SAFECode:Violation Type 0x4 when accessing 0x80d3b4c at IP=0x804a979

I had compiled the program with llvm-gcc with the -g option. Do I have to do anything else for it to print the source file and line number?

Thanks,
Divya

[svadev] Source File and Line number, Divya Muthukumaran, 01/31/2011