Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131243669> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2131243669 endingPage "351" @default.
- W2131243669 startingPage "335" @default.
- W2131243669 abstract "We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. Our technique works on ordinary machine code, and mechanically synthesizes (and verifies) a safety proof. Our earlier work along these lines was based on a C-like type system, which does not suffice for machine code whose origin is C++ source code. In the present paper, we address this limitation with an improved typestate system and introduce several new techniques, including: summarizing the effects of function calls so that our analysis can stop at trusted boundaries, inferring information about the sizes and types of stack-allocated arrays, and a symbolic range analysis for propagating information about array bounds. These techniques make our approach to safety checking more precise, more efficient, and able to handle a larger collection of real-life code sequences than was previously the case." @default.
- W2131243669 created "2016-06-24" @default.
- W2131243669 creator A5010187794 @default.
- W2131243669 creator A5066155126 @default.
- W2131243669 creator A5074426540 @default.
- W2131243669 date "2001-01-01" @default.
- W2131243669 modified "2023-10-17" @default.
- W2131243669 title "Typestate Checking of Machine Code" @default.
- W2131243669 cites W1538458686 @default.
- W2131243669 cites W1578878051 @default.
- W2131243669 cites W1974604404 @default.
- W2131243669 cites W2038053930 @default.
- W2131243669 cites W2040384644 @default.
- W2131243669 cites W2043100293 @default.
- W2131243669 cites W2098984303 @default.
- W2131243669 cites W2099587209 @default.
- W2131243669 cites W2130711572 @default.
- W2131243669 cites W2132661148 @default.
- W2131243669 cites W2160255280 @default.
- W2131243669 cites W2166822586 @default.
- W2131243669 cites W2911227993 @default.
- W2131243669 cites W2916086000 @default.
- W2131243669 cites W4210981201 @default.
- W2131243669 cites W4250522981 @default.
- W2131243669 doi "https://doi.org/10.1007/3-540-45309-1_22" @default.
- W2131243669 hasPublicationYear "2001" @default.
- W2131243669 type Work @default.
- W2131243669 sameAs 2131243669 @default.
- W2131243669 citedByCount "20" @default.
- W2131243669 countsByYear W21312436692017 @default.
- W2131243669 crossrefType "book-chapter" @default.
- W2131243669 hasAuthorship W2131243669A5010187794 @default.
- W2131243669 hasAuthorship W2131243669A5066155126 @default.
- W2131243669 hasAuthorship W2131243669A5074426540 @default.
- W2131243669 hasBestOaLocation W21312436691 @default.
- W2131243669 hasConcept C111919701 @default.
- W2131243669 hasConcept C133162039 @default.
- W2131243669 hasConcept C14036430 @default.
- W2131243669 hasConcept C151578736 @default.
- W2131243669 hasConcept C177264268 @default.
- W2131243669 hasConcept C199360897 @default.
- W2131243669 hasConcept C26517878 @default.
- W2131243669 hasConcept C2776760102 @default.
- W2131243669 hasConcept C41008148 @default.
- W2131243669 hasConcept C43126263 @default.
- W2131243669 hasConcept C47434764 @default.
- W2131243669 hasConcept C78458016 @default.
- W2131243669 hasConcept C80444323 @default.
- W2131243669 hasConcept C86803240 @default.
- W2131243669 hasConceptScore W2131243669C111919701 @default.
- W2131243669 hasConceptScore W2131243669C133162039 @default.
- W2131243669 hasConceptScore W2131243669C14036430 @default.
- W2131243669 hasConceptScore W2131243669C151578736 @default.
- W2131243669 hasConceptScore W2131243669C177264268 @default.
- W2131243669 hasConceptScore W2131243669C199360897 @default.
- W2131243669 hasConceptScore W2131243669C26517878 @default.
- W2131243669 hasConceptScore W2131243669C2776760102 @default.
- W2131243669 hasConceptScore W2131243669C41008148 @default.
- W2131243669 hasConceptScore W2131243669C43126263 @default.
- W2131243669 hasConceptScore W2131243669C47434764 @default.
- W2131243669 hasConceptScore W2131243669C78458016 @default.
- W2131243669 hasConceptScore W2131243669C80444323 @default.
- W2131243669 hasConceptScore W2131243669C86803240 @default.
- W2131243669 hasLocation W21312436691 @default.
- W2131243669 hasLocation W21312436692 @default.
- W2131243669 hasOpenAccess W2131243669 @default.
- W2131243669 hasPrimaryLocation W21312436691 @default.
- W2131243669 hasRelatedWork W1591430203 @default.
- W2131243669 hasRelatedWork W1750758696 @default.
- W2131243669 hasRelatedWork W1803575681 @default.
- W2131243669 hasRelatedWork W1975917686 @default.
- W2131243669 hasRelatedWork W2137137834 @default.
- W2131243669 hasRelatedWork W2160620982 @default.
- W2131243669 hasRelatedWork W2165451487 @default.
- W2131243669 hasRelatedWork W2390085541 @default.
- W2131243669 hasRelatedWork W2763045826 @default.
- W2131243669 hasRelatedWork W3162146186 @default.
- W2131243669 isParatext "false" @default.
- W2131243669 isRetracted "false" @default.
- W2131243669 magId "2131243669" @default.
- W2131243669 workType "book-chapter" @default.