Matches in SemOpenAlex for { <https://semopenalex.org/work/W1893552753> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1893552753 endingPage "219" @default.
- W1893552753 startingPage "211" @default.
- W1893552753 abstract "In the modern world, program analysis and verification on binary code have been widely used. While on embedded system, a variety of platforms make the binary analyzing and verifying work bump up against difficulties. But the problem of expressing instruction cycle time, interrupt and pipeline mechanism in binary intermediate language has not been addressed. In this paper, we show how we attack this problem by introducing a hardware resource oriented binary intermediate language - xBIL, which can be used to present the instructions with instruction cycle time and interrupt properties reserved. We also propose the execution algorithm and semantics of this language. xBIL has been applied on the analysis of a commercial automotive operating system which is used on over 1.38M cars in China and successfully found several bugs." @default.
- W1893552753 created "2016-06-24" @default.
- W1893552753 creator A5019288987 @default.
- W1893552753 creator A5036792191 @default.
- W1893552753 creator A5041852009 @default.
- W1893552753 creator A5048551616 @default.
- W1893552753 creator A5049454570 @default.
- W1893552753 creator A5060680512 @default.
- W1893552753 date "2012-07-18" @default.
- W1893552753 modified "2023-09-29" @default.
- W1893552753 title "xBIL -- A Hardware Resource Oriented Binary Intermediate Language" @default.
- W1893552753 doi "https://doi.org/10.1109/iceccs.2012.44" @default.
- W1893552753 hasPublicationYear "2012" @default.
- W1893552753 type Work @default.
- W1893552753 sameAs 1893552753 @default.
- W1893552753 citedByCount "1" @default.
- W1893552753 countsByYear W18935527532019 @default.
- W1893552753 crossrefType "proceedings-article" @default.
- W1893552753 hasAuthorship W1893552753A5019288987 @default.
- W1893552753 hasAuthorship W1893552753A5036792191 @default.
- W1893552753 hasAuthorship W1893552753A5041852009 @default.
- W1893552753 hasAuthorship W1893552753A5048551616 @default.
- W1893552753 hasAuthorship W1893552753A5049454570 @default.
- W1893552753 hasAuthorship W1893552753A5060680512 @default.
- W1893552753 hasConcept C111919701 @default.
- W1893552753 hasConcept C115168132 @default.
- W1893552753 hasConcept C149635348 @default.
- W1893552753 hasConcept C169590947 @default.
- W1893552753 hasConcept C173018170 @default.
- W1893552753 hasConcept C173608175 @default.
- W1893552753 hasConcept C199360897 @default.
- W1893552753 hasConcept C206345919 @default.
- W1893552753 hasConcept C2777904410 @default.
- W1893552753 hasConcept C2778971978 @default.
- W1893552753 hasConcept C31258907 @default.
- W1893552753 hasConcept C33923547 @default.
- W1893552753 hasConcept C41008148 @default.
- W1893552753 hasConcept C41661131 @default.
- W1893552753 hasConcept C43521106 @default.
- W1893552753 hasConcept C48372109 @default.
- W1893552753 hasConcept C63435697 @default.
- W1893552753 hasConcept C94375191 @default.
- W1893552753 hasConceptScore W1893552753C111919701 @default.
- W1893552753 hasConceptScore W1893552753C115168132 @default.
- W1893552753 hasConceptScore W1893552753C149635348 @default.
- W1893552753 hasConceptScore W1893552753C169590947 @default.
- W1893552753 hasConceptScore W1893552753C173018170 @default.
- W1893552753 hasConceptScore W1893552753C173608175 @default.
- W1893552753 hasConceptScore W1893552753C199360897 @default.
- W1893552753 hasConceptScore W1893552753C206345919 @default.
- W1893552753 hasConceptScore W1893552753C2777904410 @default.
- W1893552753 hasConceptScore W1893552753C2778971978 @default.
- W1893552753 hasConceptScore W1893552753C31258907 @default.
- W1893552753 hasConceptScore W1893552753C33923547 @default.
- W1893552753 hasConceptScore W1893552753C41008148 @default.
- W1893552753 hasConceptScore W1893552753C41661131 @default.
- W1893552753 hasConceptScore W1893552753C43521106 @default.
- W1893552753 hasConceptScore W1893552753C48372109 @default.
- W1893552753 hasConceptScore W1893552753C63435697 @default.
- W1893552753 hasConceptScore W1893552753C94375191 @default.
- W1893552753 hasLocation W18935527531 @default.
- W1893552753 hasOpenAccess W1893552753 @default.
- W1893552753 hasPrimaryLocation W18935527531 @default.
- W1893552753 hasRelatedWork W1589595839 @default.
- W1893552753 hasRelatedWork W1751907940 @default.
- W1893552753 hasRelatedWork W1802778759 @default.
- W1893552753 hasRelatedWork W2047174468 @default.
- W1893552753 hasRelatedWork W2266415179 @default.
- W1893552753 hasRelatedWork W23932775 @default.
- W1893552753 hasRelatedWork W2508091716 @default.
- W1893552753 hasRelatedWork W2547390950 @default.
- W1893552753 hasRelatedWork W2912840372 @default.
- W1893552753 hasRelatedWork W2947504147 @default.
- W1893552753 hasRelatedWork W2966793605 @default.
- W1893552753 hasRelatedWork W297088117 @default.
- W1893552753 hasRelatedWork W3121722161 @default.
- W1893552753 hasRelatedWork W3158991097 @default.
- W1893552753 hasRelatedWork W39793983 @default.
- W1893552753 hasRelatedWork W794788853 @default.
- W1893552753 hasRelatedWork W1029346672 @default.
- W1893552753 hasRelatedWork W2175086958 @default.
- W1893552753 hasRelatedWork W2549237598 @default.
- W1893552753 hasRelatedWork W405310798 @default.
- W1893552753 isParatext "false" @default.
- W1893552753 isRetracted "false" @default.
- W1893552753 magId "1893552753" @default.
- W1893552753 workType "article" @default.