search for: bbac

...OPMODE : ISDN BOTHWAY LAC DN LNO C EQN STATUS DNCTR LNCTR CHBAR ------+------------+-----+-+-------------+------+-------+-------+------- 05 2171035 1 B 0-42- 0- 1 DIDLE& 1- 0 1- 0 1- 0 BBAC 05 2171035 2 B 0-42- 0- 2 DIDLE& 1- 0 1- 0 1- 0 BBAC 05 2171035 3 B 0-42- 0- 3 DIDLE& 1- 0 1- 0 1- 0 BBAC...

...time scheduling. I did not manage to upload my proposal at the last minutes before Google Summer of Code submission deadline. Could you kindly take the following revision as my final proposal? Abstraction --------------------- This projects will enhance the ‘Baggy Bounds with Accurate Checking’ (BBAC) [1] work. By adding information to the memory object’s padding area, we can perform various safety checks with limited overhead. I will mainly focus on providing runtime policy hardening. This work will prevent most of illegal memory accesses efficiently. Project Background Baggy Bounds Checking(...

Abstraction ---------------------------------- This projects will enhance the ‘Baggy Bounds with Accurate Checking’ [1] work. I will provide more efficient runtime checks in BBAC framework by adding more informations to the memory object’s padding area. A new padding area scheme will be designed to make these informations compact and efficient to fetch. I will create some new runtime checks on these additional informations. Project Background ------------------------------...

...at, there are some interesting projects on which to work. One > would be static array bounds checking. That could be interesting, but > it doesn't really address my immediate research needs. Right now, I'm > more interested in getting the Baggy Bounds with Accurate Checking > (BBAC) feature enabled so that we can use it in research. For > example, we could try to get faster enforcement of memory safety on > operating system kernels, examine the use of combined safe/unsafe > languages for OS kernels (without letting C code violate the safety > provided by the safe...

Greetings, Our telco called last week, saying that a lot of channels on our PRIs are blocked. And with blocked they have the following description in the Siemens exchanges: BBAC BLOCKED BACKWARD This status is set when the partner exchange has a blocking set and the signaling of the trunk (non-CCS7) is able to report this blocking in the backward direction. This status can remain a long time. Other usages of this status are the DCMS specific blockin...

...t; Also, are you performing intra-procedural or inter-procedural data-flow analysis? Currently, I only wrote a intraprocedural version. It is expected to be extended to inter-procedural quickly. > If you're going to transform the program, I would recommend that you use SAFECode's new BBAC feature to track the base address. BBAC has a run-time library which can take a pointer to a memory object and calculate, in constant time, the first address of the memory object into which the pointer is pointing. You could use this to find the base address of the memory object so that you can p...

...tion on some environments. Thus I added a __sc_bb_ prefix to these customized heap allocation functions. I also write a module pass to automatically rename all malloc / calloc / realloc to __sc_bb_malloc ... Regression tests are also completed for this pass. This week, I plan to 1. Test SAFECode’s bbac implementation on more real-world programs, and fix possible crashes. 2. Discuss with my mentor Prof. John Criswell about the insertion point of free in PromoteArrayAllocas pass. Best regards, Zhengyang. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lis...

Dear Josh, > If I understand correctly, if you find memory leak, you want to find the corresponding call(s) to malloc() that allocated the memory object, correct? Can you more completely explain what you are trying to accomplish? Thanks for your reply. In my task, I use data flow analysis to locate a program point where a malloc must be leaked (by must leaked, I mean (a) it must be

...h me). After that, there are some interesting projects on which to work. One would be static array bounds checking. That could be interesting, but it doesn't really address my immediate research needs. Right now, I'm more interested in getting the Baggy Bounds with Accurate Checking (BBAC) feature enabled so that we can use it in research. For example, we could try to get faster enforcement of memory safety on operating system kernels, examine the use of combined safe/unsafe languages for OS kernels (without letting C code violate the safety provided by the safe language), and...

Hi, everyone. I'm a senior at Swarthmore College and would love to work with LLVM this summer. I'm interested in systems languages and security, and I'll start a PhD on these topics this fall. I also do a good deal of open source development and auditing with OpenBSD and a variety of other projects. I spent last year's GSoC doing security auditing for Pidgin/libpurple. GSoC seems

...have done the following works: 1. Finish the SAFECode llvm 3.7 portation. Currently it could work on freebsd 9.3 well and all my recent work are done on this environment. 2. Test this implementation on various test benches and softwares. Fix many bugs and improve the robustness of SAFECode's bbac implementation. 3. Implemented two llvm passes to deal with corner bug cases found in the test. 4. Currently the implementation could work on most of softwares. For the next half of Google Summer of Code, I would like to discuss more with the community and my mentor John Criswell. Also I would...

If I know for sure I am accessing 32 byte chunks at a time, how can I go about changing the alignment of @u? Should I use DataLayout's reset method? I couldn't find a method to change alignment of one global variable. Thanks On Tue, Oct 3, 2017 at 6:34 PM, Matthias Braun <mbraun at apple.com> wrote: > The effective alignment is part of the load and store operations. Updating

Hey Richard, Could you share the following informations please? 1. gluster volume info <volname> 2. getfattr output of that file from all the bricks getfattr -d -e hex -m . <brickpath/filepath> 3. glustershd & glfsheal logs Regards, Karthik On Thu, Oct 26, 2017 at 10:21 AM, Amar Tumballi <atumball at redhat.com> wrote: > On a side note, try recently released health

On a side note, try recently released health report tool, and see if it does diagnose any issues in setup. Currently you may have to run it in all the three machines. On 26-Oct-2017 6:50 AM, "Amar Tumballi" <atumball at redhat.com> wrote: > Thanks for this report. This week many of the developers are at Gluster > Summit in Prague, will be checking this and respond next

...heal-common.c:1327:afr_log_selfheal] 0-home-replicate-0: Completed metadata selfheal on f0e844b6-9358-43d1-a8bf-02d3ae55c485. sources=0 [2] sinks=1 [2017-10-25 10:40:11.018525] I [MSGID: 108026] [afr-self-heal-common.c:1327:afr_log_selfheal] 0-home-replicate-0: Completed data selfheal on 9917cfd6-bbac-4608-b778-43fdcb5d802c. sources=0 [2] sinks=1 [2017-10-25 10:40:11.019840] I [MSGID: 108026] [afr-self-heal-metadata.c:52:__afr_selfheal_metadata_do] 0-home-replicate-0: performing metadata selfheal on 9917cfd6-bbac-4608-b778-43fdcb5d802c [2017-10-25 10:40:11.023123] I [MSGID: 108026] [afr-self-h...