Skip to Content.
Sympa Menu

svadev - [svadev] Diagnositc information

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Diagnositc information


Chronological Thread 
  • From: cdiddca <cdiddca AT gmail.com>
  • To: svadev AT cs.uiuc.edu
  • Subject: [svadev] Diagnositc information
  • Date: Mon, 5 Dec 2011 14:05:44 +0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>

Hi. I've built, with some trouble(Werror, ptrdiff_t , detection of
libraries and includes in clang Driver), safecode variant of clang,
according to instuctions in Installation Guide. With gcc 4.6.

When I compile and run test.c from Users Guide, it doesn't print Fault
PC Source. Instead it prints just this:

SAFECode: Fault!
SAFECode:Violation Type 0x6 when accessing  0 at IP=0xb76aa7fc

=======+++++++    SAFECODE RUNTIME ALERT +++++++=======
= Error type                            : Load/Store Error
= CWE ID                                : 120
= Faulting pointer                      : 0
= Program counter                       : 0xb76aa7fc
= Fault PC Source                       : <unknown>:0

...

What could be the trouble?

Also, I'm interested to know what is the status of the project? How
ready it is? And what is current estimate of the overhead?

Are optimisations enabled in compiler when it compiles with
-fmemsafety? Some benchmarks from "shootout" have something like 100x
slowing down compared to clang -O3





Archive powered by MHonArc 2.6.16.

Top of Page