Matches in SemOpenAlex for { <https://semopenalex.org/work/W112132368> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W112132368 abstract "This paper describes a scalable heap analysis algorithm, Data Structure Analysis, designed to enable analyses and transformations of programs at the level of entire logical data structures. Data Structure Analysis attempts to identify disjoint instances of logical program data structures and their internal and external connectivity properties (without trying to categorize their “shape”). To achieve this, Data Structure Analysis is fully context-sensitive (in the sense that it names memory objects by entire acyclic call paths), is fieldsensitive, builds an explicit model of the heap, and is robust enough to handle the full generality of C. Despite these aggressive features, the algorithm is both extremely fast (requiring 2-7 seconds for C programs in the range of 100K lines of code) and is scalable in practice. It has three features we believe are novel: (a) it incrementally builds a precise program call graph during the analysis; (b) it distinguishes complete and incomplete information in a manner that simplifies analysis of libraries or other portions of programs; and (c) it uses speculative field-senstivity in typeunsafe programs in order to preserve efficiency and scalability. Finally, it shows that the key to achieving scalability in a fully context-sensitive algorithm is the use of a unificationbased approach, a combination that has been used before but whose importance has not been clearly articulated." @default.
- W112132368 created "2016-06-24" @default.
- W112132368 creator A5059017058 @default.
- W112132368 creator A5064241063 @default.
- W112132368 date "2003-01-01" @default.
- W112132368 modified "2023-09-27" @default.
- W112132368 title "Data Structure Analysis: A Fast and Scalable Context-Sensitive Heap Analysis" @default.
- W112132368 cites W1518169998 @default.
- W112132368 cites W1579435874 @default.
- W112132368 cites W1710250545 @default.
- W112132368 cites W1734116059 @default.
- W112132368 cites W1969610731 @default.
- W112132368 cites W1970061809 @default.
- W112132368 cites W1975514564 @default.
- W112132368 cites W2003675210 @default.
- W112132368 cites W2030697178 @default.
- W112132368 cites W2036208810 @default.
- W112132368 cites W2046699259 @default.
- W112132368 cites W2074954052 @default.
- W112132368 cites W2102440514 @default.
- W112132368 cites W2105256796 @default.
- W112132368 cites W2114496697 @default.
- W112132368 cites W2131135493 @default.
- W112132368 cites W2139356751 @default.
- W112132368 cites W2151360539 @default.
- W112132368 cites W2153185479 @default.
- W112132368 cites W2153463445 @default.
- W112132368 cites W2154554979 @default.
- W112132368 hasPublicationYear "2003" @default.
- W112132368 type Work @default.
- W112132368 sameAs 112132368 @default.
- W112132368 citedByCount "9" @default.
- W112132368 countsByYear W1121323682015 @default.
- W112132368 countsByYear W1121323682020 @default.
- W112132368 crossrefType "journal-article" @default.
- W112132368 hasAuthorship W112132368A5059017058 @default.
- W112132368 hasAuthorship W112132368A5064241063 @default.
- W112132368 hasConcept C102379954 @default.
- W112132368 hasConcept C124101348 @default.
- W112132368 hasConcept C134757568 @default.
- W112132368 hasConcept C15744967 @default.
- W112132368 hasConcept C162319229 @default.
- W112132368 hasConcept C199360897 @default.
- W112132368 hasConcept C2780767217 @default.
- W112132368 hasConcept C41008148 @default.
- W112132368 hasConcept C48044578 @default.
- W112132368 hasConcept C542102704 @default.
- W112132368 hasConcept C7263679 @default.
- W112132368 hasConcept C77088390 @default.
- W112132368 hasConcept C80444323 @default.
- W112132368 hasConcept C97686452 @default.
- W112132368 hasConcept C98183937 @default.
- W112132368 hasConceptScore W112132368C102379954 @default.
- W112132368 hasConceptScore W112132368C124101348 @default.
- W112132368 hasConceptScore W112132368C134757568 @default.
- W112132368 hasConceptScore W112132368C15744967 @default.
- W112132368 hasConceptScore W112132368C162319229 @default.
- W112132368 hasConceptScore W112132368C199360897 @default.
- W112132368 hasConceptScore W112132368C2780767217 @default.
- W112132368 hasConceptScore W112132368C41008148 @default.
- W112132368 hasConceptScore W112132368C48044578 @default.
- W112132368 hasConceptScore W112132368C542102704 @default.
- W112132368 hasConceptScore W112132368C7263679 @default.
- W112132368 hasConceptScore W112132368C77088390 @default.
- W112132368 hasConceptScore W112132368C80444323 @default.
- W112132368 hasConceptScore W112132368C97686452 @default.
- W112132368 hasConceptScore W112132368C98183937 @default.
- W112132368 hasLocation W1121323681 @default.
- W112132368 hasOpenAccess W112132368 @default.
- W112132368 hasPrimaryLocation W1121323681 @default.
- W112132368 hasRelatedWork W1491993748 @default.
- W112132368 hasRelatedWork W1494687202 @default.
- W112132368 hasRelatedWork W1948295367 @default.
- W112132368 hasRelatedWork W2010570907 @default.
- W112132368 hasRelatedWork W2064400234 @default.
- W112132368 hasRelatedWork W2074954052 @default.
- W112132368 hasRelatedWork W2087612811 @default.
- W112132368 hasRelatedWork W2131135493 @default.
- W112132368 hasRelatedWork W2293062955 @default.
- W112132368 hasRelatedWork W2407874658 @default.
- W112132368 hasRelatedWork W2732032757 @default.
- W112132368 hasRelatedWork W2785657790 @default.
- W112132368 hasRelatedWork W2798801374 @default.
- W112132368 hasRelatedWork W2798810563 @default.
- W112132368 hasRelatedWork W280881733 @default.
- W112132368 hasRelatedWork W2954068387 @default.
- W112132368 hasRelatedWork W3032226677 @default.
- W112132368 hasRelatedWork W3105598888 @default.
- W112132368 hasRelatedWork W79353522 @default.
- W112132368 hasRelatedWork W2183826226 @default.
- W112132368 isParatext "false" @default.
- W112132368 isRetracted "false" @default.
- W112132368 magId "112132368" @default.
- W112132368 workType "article" @default.