svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] SAFECode testsuite query

From: Jyoti Rajendra Allur <jyoti.allur AT samsung.com>
To: svadev AT cs.uiuc.edu, llvmdev AT cs.uiuc.edu
Subject: [svadev] SAFECode testsuite query
Date: Thu, 26 Feb 2015 14:54:40 +0000 (GMT)
Dlp-filter: Pass
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>
Msgkey: 20150226144827036 AT jyoti.allur

Hello All,
I am looking at exploring what benefits SAFECode has to offer over clang S.A
and llvm's instrumentation tools like memory sanitizer and address sanitizer.
I could come up with the following that are not provided in ASAN/MSAN/Clang
S.A
-> dangling pointer error and detection
-> crashes in system libraries due to security vulnerabilities.

In the process, I wanted to run the testsuite of safecode and poolalloc but
could not find any documentation about how to run those testsuite. It would
be great if someone pointed that out for me.

Also, were there any design scalability issues due to which SAFECode has not
been supported beyond llvm 3.2 ?
If yes, could someone let me know about them?

Thanks.

Regards,
Jyoti Allur

Could someone Does SAFECode I was trying to chec

[svadev] SAFECode testsuite query, Jyoti Rajendra Allur, 02/26/2015
- Re: [svadev] [LLVMdev] SAFECode testsuite query, John Criswell, 02/26/2015
  - Re: [svadev] [LLVMdev] SAFECode testsuite query, Kostya Serebryany, 02/26/2015