Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160053900> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3160053900 endingPage "43" @default.
- W3160053900 startingPage "34" @default.
- W3160053900 abstract "This paper addresses the problem of creating abstract transfer functions supporting dataflow analyses. Writing these functions by hand is problematic: transfer functions are difficult to understand, difficult to make precise, and difficult to debug. Bugs in transfer functions are particularly serious since they defeat the soundness of any program analysis running on top of them. Furthermore, implementing transfer functions by hand is wasteful because the resulting code is often difficult to reuse in new analyzers and to analyze new languages. We have developed algorithms and tools for deriving transfer functions for the bitwise and unsigned interval abstract domains. The interval domain is standard; in the bitwise domain, values are vectors of three-valued bits. For both domains, important challenges are to derive transfer functions that are sound in the presence of integer overflow, and to derive precise transfer functions for operations whose semantics are a mismatch for the domain (i.e., bit-vector operations in the interval domain and arithmetic operations in the bitwise domain). We can derive transfer functions, and execute them, in time linear in the bitwidth of the operands. These functions are maximally precise in most cases. Our generated transfer functions are parameterized by a bitwidth and are independent of the language being analyzed, and also of the language in which the analyzer is written. Currently, we generate interval and bitwise transfer functions in C and OCaml for analyzing C source code, ARM object code, and AVR object code. We evaluate our derived functions by using them in an interprocedural dataflow analyzer." @default.
- W3160053900 created "2021-05-24" @default.
- W3160053900 creator A5082643565 @default.
- W3160053900 creator A5091705742 @default.
- W3160053900 date "2006-06-14" @default.
- W3160053900 modified "2023-10-18" @default.
- W3160053900 title "Deriving abstract transfer functions for analyzing embedded software" @default.
- W3160053900 cites W1551363727 @default.
- W3160053900 cites W1575079504 @default.
- W3160053900 cites W1583904488 @default.
- W3160053900 cites W1762252016 @default.
- W3160053900 cites W1965864973 @default.
- W3160053900 cites W1979680516 @default.
- W3160053900 cites W2043100293 @default.
- W3160053900 cites W2125076295 @default.
- W3160053900 cites W2146924294 @default.
- W3160053900 cites W2148911285 @default.
- W3160053900 doi "https://doi.org/10.1145/1159974.1134657" @default.
- W3160053900 hasPublicationYear "2006" @default.
- W3160053900 type Work @default.
- W3160053900 sameAs 3160053900 @default.
- W3160053900 citedByCount "2" @default.
- W3160053900 countsByYear W31600539002022 @default.
- W3160053900 countsByYear W31600539002023 @default.
- W3160053900 crossrefType "journal-article" @default.
- W3160053900 hasAuthorship W3160053900A5082643565 @default.
- W3160053900 hasAuthorship W3160053900A5091705742 @default.
- W3160053900 hasConcept C11413529 @default.
- W3160053900 hasConcept C134306372 @default.
- W3160053900 hasConcept C134765980 @default.
- W3160053900 hasConcept C158100120 @default.
- W3160053900 hasConcept C173608175 @default.
- W3160053900 hasConcept C177264268 @default.
- W3160053900 hasConcept C199360897 @default.
- W3160053900 hasConcept C2776175482 @default.
- W3160053900 hasConcept C2776760102 @default.
- W3160053900 hasConcept C2777904410 @default.
- W3160053900 hasConcept C33923547 @default.
- W3160053900 hasConcept C36503486 @default.
- W3160053900 hasConcept C39920170 @default.
- W3160053900 hasConcept C41008148 @default.
- W3160053900 hasConcept C55526617 @default.
- W3160053900 hasConcept C80444323 @default.
- W3160053900 hasConcept C9390403 @default.
- W3160053900 hasConcept C96324660 @default.
- W3160053900 hasConceptScore W3160053900C11413529 @default.
- W3160053900 hasConceptScore W3160053900C134306372 @default.
- W3160053900 hasConceptScore W3160053900C134765980 @default.
- W3160053900 hasConceptScore W3160053900C158100120 @default.
- W3160053900 hasConceptScore W3160053900C173608175 @default.
- W3160053900 hasConceptScore W3160053900C177264268 @default.
- W3160053900 hasConceptScore W3160053900C199360897 @default.
- W3160053900 hasConceptScore W3160053900C2776175482 @default.
- W3160053900 hasConceptScore W3160053900C2776760102 @default.
- W3160053900 hasConceptScore W3160053900C2777904410 @default.
- W3160053900 hasConceptScore W3160053900C33923547 @default.
- W3160053900 hasConceptScore W3160053900C36503486 @default.
- W3160053900 hasConceptScore W3160053900C39920170 @default.
- W3160053900 hasConceptScore W3160053900C41008148 @default.
- W3160053900 hasConceptScore W3160053900C55526617 @default.
- W3160053900 hasConceptScore W3160053900C80444323 @default.
- W3160053900 hasConceptScore W3160053900C9390403 @default.
- W3160053900 hasConceptScore W3160053900C96324660 @default.
- W3160053900 hasIssue "7" @default.
- W3160053900 hasLocation W31600539001 @default.
- W3160053900 hasOpenAccess W3160053900 @default.
- W3160053900 hasPrimaryLocation W31600539001 @default.
- W3160053900 hasRelatedWork W1600917768 @default.
- W3160053900 hasRelatedWork W1711517904 @default.
- W3160053900 hasRelatedWork W1965864973 @default.
- W3160053900 hasRelatedWork W2047588290 @default.
- W3160053900 hasRelatedWork W2122921656 @default.
- W3160053900 hasRelatedWork W2141151161 @default.
- W3160053900 hasRelatedWork W2156783651 @default.
- W3160053900 hasRelatedWork W3160053900 @default.
- W3160053900 hasRelatedWork W4237428255 @default.
- W3160053900 hasRelatedWork W4247683689 @default.
- W3160053900 hasVolume "41" @default.
- W3160053900 isParatext "false" @default.
- W3160053900 isRetracted "false" @default.
- W3160053900 magId "3160053900" @default.
- W3160053900 workType "article" @default.