Svadev mailing list

[Baozeng <sploving1 AT gmail.com>]

Hello,
I use current BBC implementation to test an example (buffer.c):

#include <stdio.h>
#include <stdlib.h>

int main (int argc, char ** argv) {
  char array[17];
  return array[17];
}

$ clang -g -fmemsafety -bbc buffer.c -o mytest
-L/home/sploving/llvm/projects/safecode/Debug/lib
$ ./mytest

It output this:
0xbfd00b9b, 0xbfd00b80, 17 Not aligned

This related code is in the function __internal_register in
BaggyBoundsCheck.cpp:

if(Source1 != Source) {
    printf("%p, %p, %u Not aligned\n", (void*)Source, (void*)Source1, 
NumBytes);
    assert(0 && "Memory objects not aligned");
  }

Source1 should be equal with Source if Source satisfy some conditions.
What conditions should Source satisfy? Maybe this is related to pool
handler? How to fix this?




-- 
     Best Regards,
                                                                 Baozeng Ding
                                                                 
OSTG,NFS,ISCAS