Matches in SemOpenAlex for { <https://semopenalex.org/work/W4245736681> ?p ?o ?g. }
- W4245736681 endingPage "114" @default.
- W4245736681 startingPage "103" @default.
- W4245736681 abstract "The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C's unchecked pointer arithmetic and array indexing allow simple programming mistakes to lead to erroneous executions, silent data corruption, and security vulnerabilities. Many prior proposals have tackled enforcing spatial safety in C programs by checking pointer and array accesses. However, existing software-only proposals have significant drawbacks that may prevent wide adoption, including: unacceptably high run-time overheads, lack of completeness, incompatible pointer representations, or need for non-trivial changes to existing C source code and compiler infrastructure. Inspired by the promise of these software-only approaches, this paper proposes a hardware bounded pointer architectural primitive that supports cooperative hardware/software enforcement of spatial memory safety for C programs. This bounded pointer is a new hardware primitive datatype for pointers that leaves the standard C pointer representation intact, but augments it with bounds information maintained separately and invisibly by the hardware. The bounds are initialized by the software, and they are then propagated and enforced transparently by the hardware, which automatically checks a pointer's bounds before it is dereferenced. One mode of use requires instrumenting only malloc, which enables enforcement of perallocation spatial safety for heap-allocated objects for existing binaries. When combined with simple intraprocedural compiler instrumentation, hardware bounded pointers enable a low-overhead approach for enforcing complete spatial memory safety in unmodified C programs." @default.
- W4245736681 created "2022-05-12" @default.
- W4245736681 creator A5041830534 @default.
- W4245736681 creator A5046416304 @default.
- W4245736681 creator A5050696594 @default.
- W4245736681 creator A5050924706 @default.
- W4245736681 date "2008-03-01" @default.
- W4245736681 modified "2023-09-24" @default.
- W4245736681 title "Hardbound" @default.
- W4245736681 cites W1965166558 @default.
- W4245736681 cites W1973326708 @default.
- W4245736681 cites W1981962444 @default.
- W4245736681 cites W1987377478 @default.
- W4245736681 cites W2005907808 @default.
- W4245736681 cites W2016779705 @default.
- W4245736681 cites W2096267728 @default.
- W4245736681 cites W2097687957 @default.
- W4245736681 cites W2098683983 @default.
- W4245736681 cites W2098806455 @default.
- W4245736681 cites W2098809490 @default.
- W4245736681 cites W2100666033 @default.
- W4245736681 cites W2103919170 @default.
- W4245736681 cites W2106412703 @default.
- W4245736681 cites W2106887144 @default.
- W4245736681 cites W2109143222 @default.
- W4245736681 cites W2111545894 @default.
- W4245736681 cites W2113167168 @default.
- W4245736681 cites W2113751407 @default.
- W4245736681 cites W2117703831 @default.
- W4245736681 cites W2120635877 @default.
- W4245736681 cites W2121218648 @default.
- W4245736681 cites W2121562991 @default.
- W4245736681 cites W2123683215 @default.
- W4245736681 cites W2129482816 @default.
- W4245736681 cites W2130745898 @default.
- W4245736681 cites W2132461047 @default.
- W4245736681 cites W2134028114 @default.
- W4245736681 cites W2137622193 @default.
- W4245736681 cites W2140557450 @default.
- W4245736681 cites W2144789413 @default.
- W4245736681 cites W2154554979 @default.
- W4245736681 cites W2156399316 @default.
- W4245736681 cites W2156858199 @default.
- W4245736681 cites W2164926445 @default.
- W4245736681 cites W2537352530 @default.
- W4245736681 cites W4206314719 @default.
- W4245736681 cites W4230464498 @default.
- W4245736681 cites W4248542611 @default.
- W4245736681 cites W4249212548 @default.
- W4245736681 cites W4250981365 @default.
- W4245736681 cites W4251100134 @default.
- W4245736681 cites W4251201460 @default.
- W4245736681 cites W4300807510 @default.
- W4245736681 doi "https://doi.org/10.1145/1353534.1346295" @default.
- W4245736681 hasPublicationYear "2008" @default.
- W4245736681 type Work @default.
- W4245736681 citedByCount "23" @default.
- W4245736681 countsByYear W42457366812014 @default.
- W4245736681 countsByYear W42457366812015 @default.
- W4245736681 countsByYear W42457366812017 @default.
- W4245736681 countsByYear W42457366812018 @default.
- W4245736681 countsByYear W42457366812019 @default.
- W4245736681 countsByYear W42457366812022 @default.
- W4245736681 crossrefType "journal-article" @default.
- W4245736681 hasAuthorship W4245736681A5041830534 @default.
- W4245736681 hasAuthorship W4245736681A5046416304 @default.
- W4245736681 hasAuthorship W4245736681A5050696594 @default.
- W4245736681 hasAuthorship W4245736681A5050924706 @default.
- W4245736681 hasConcept C111919701 @default.
- W4245736681 hasConcept C134306372 @default.
- W4245736681 hasConcept C150202949 @default.
- W4245736681 hasConcept C169590947 @default.
- W4245736681 hasConcept C173856430 @default.
- W4245736681 hasConcept C199360897 @default.
- W4245736681 hasConcept C2777904410 @default.
- W4245736681 hasConcept C28180684 @default.
- W4245736681 hasConcept C33923547 @default.
- W4245736681 hasConcept C34388435 @default.
- W4245736681 hasConcept C41008148 @default.
- W4245736681 hasConcept C7263679 @default.
- W4245736681 hasConcept C9390403 @default.
- W4245736681 hasConcept C97686452 @default.
- W4245736681 hasConceptScore W4245736681C111919701 @default.
- W4245736681 hasConceptScore W4245736681C134306372 @default.
- W4245736681 hasConceptScore W4245736681C150202949 @default.
- W4245736681 hasConceptScore W4245736681C169590947 @default.
- W4245736681 hasConceptScore W4245736681C173856430 @default.
- W4245736681 hasConceptScore W4245736681C199360897 @default.
- W4245736681 hasConceptScore W4245736681C2777904410 @default.
- W4245736681 hasConceptScore W4245736681C28180684 @default.
- W4245736681 hasConceptScore W4245736681C33923547 @default.
- W4245736681 hasConceptScore W4245736681C34388435 @default.
- W4245736681 hasConceptScore W4245736681C41008148 @default.
- W4245736681 hasConceptScore W4245736681C7263679 @default.
- W4245736681 hasConceptScore W4245736681C9390403 @default.
- W4245736681 hasConceptScore W4245736681C97686452 @default.
- W4245736681 hasIssue "1" @default.
- W4245736681 hasLocation W42457366811 @default.