search for: softboundcet

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)
...ar 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)
...OST -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,...
2016 Feb 04
2
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...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 stric...
2017 Feb 17
6
Intel MPX support (instrumentation pass similar to gcc's Pointer Checker)
...ifferent 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 ...
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