Displaying 5 results from an estimated 5 matches for "softboundcet".
Did you mean:
softboundcets
2016 Jan 28
2
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...n,
similar to Pointer Checker in gcc. If yes, could anyone elaborate on
the status and accessability to other researchers? And if any help is
needed?
Prof. Santosh Nagarakatte, the author of SoftBound/HardBound/WatchDog
Lite, answered that he is not currently
involved in MPX. But he pointed to the SoftBoundCETS prototype at
https://github.com/santoshn/softboundcets-34 . Therefore, I was
thinking about adapting SoftBound to MPX, as a drop-in replacement for
gcc's PointerChecker. Could anyone comment on this?
--
Yours sincerely,
Dmitrii Kuvaiskii
2016 Feb 09
2
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...-xHOST -check-pointers-mpx:rw
>>>
>>
>> Interesting, looking forward to reading your report!
>>
>>>
>>> Note "rw" which stands for protecting read and write accesses. In the
>>> future, I will analyze how different flags affect ASan / SoftBoundCETS
>>> / gcc-mpx / icc-mpx.
>>> I will also use a set of microbenchmarks/benchmarks (e.g., RIPE) to
>>> test the protection provided.
>>>
>>> > SPEC2006 is well know so it could be useful. Especially 483.xalancbmk
>>> > Besides, maybe you co...
2016 Feb 04
2
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...xact flags I add to the usual build configuration:
> -xHOST -check-pointers-mpx:rw
>
Interesting, looking forward to reading your report!
>
> Note "rw" which stands for protecting read and write accesses. In the
> future, I will analyze how different flags affect ASan / SoftBoundCETS
> / gcc-mpx / icc-mpx.
> I will also use a set of microbenchmarks/benchmarks (e.g., RIPE) to
> test the protection provided.
>
> > SPEC2006 is well know so it could be useful. Especially 483.xalancbmk
> > Besides, maybe you could take something that is not strictly a benchm...
2017 Feb 17
6
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...pages on a />>/discussion of the different approaches (trying to do science, you see />>/:)). />>//>>/Btw, I will target only deterministic memory-safety no-code-changes />>/approaches that protect against spatial errors (I will probably />>/include also ASan and SoftBoundCETS with temporal errors' protection />>/in the results as well). The only technique (except Pointer Checker, />>/ASan, and SoftBound) I know of is Baggy Bounds Checking from MSR, but />>/it seems to be closed-source and Windows-oriented. If anyone can />>/suggest some othe...
2016 Feb 03
2
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
On Wed, Feb 3, 2016 at 6:27 AM, Dmitrii Kuvaiskii <
Dmitrii.Kuvaiskii at tu-dresden.de> wrote:
> I continue playing with Intel MPX and its support in modern compilers.
> All experiments were done on the Alienware (Dell) 15 R2, Ubuntu 15.10
> (linux 4.2.0), gcc version is 5.2.1, icc version 2016.1.150. The
> benchmark suite is PARSEC 3.0, all versions with 1 thread and default