FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022144859> ?p ?o ?g. }

• W3022144859 endingPage "96" @default.
• W3022144859 startingPage "85" @default.
• W3022144859 abstract "In this paper, we propose a novel method for context-sensitive pointer analysis using the value flow graph (VFG) formulation. We achieve context-sensitivity by simultaneously applying function cloning and computing context-free language reachability (CFL-reachability) in a novel way. In contrast to existing clone-based and CFL-based approaches, flow-sensitivity is easily integrated in our approach by using a flow-sensitive VFG where each value flow edge is computed in a flow-sensitive manner. We apply context-sensitivity to both local variables and heap objects and propose a new approximation for heap cloning. We prove that our approach can achieve context-sensitivity without loss of precision, i.e., it is as precise as inlining all function calls. We develop an efficient algorithm and implement a context-, flow-, and field-sensitive pointer analysis with heap cloning support in LLVM. We evaluate the efficiency and precision of our implementation using standard SPEC CPU2006 benchmarks. Our experimental results show that the analysis is much faster than existing approaches, it scales well to large real-world applications, and it enables more effective compiler optimizations." @default.
• W3022144859 created "2020-05-13" @default.
• W3022144859 creator A5032730802 @default.
• W3022144859 creator A5077180042 @default.
• W3022144859 creator A5089622112 @default.
• W3022144859 date "2013-06-20" @default.
• W3022144859 modified "2023-09-26" @default.
• W3022144859 title "Precise and scalable context-sensitive pointer analysis via value flow graph" @default.
• W3022144859 cites W1507552563 @default.
• W3022144859 cites W1837958857 @default.
• W3022144859 cites W1965604953 @default.
• W3022144859 cites W1971782746 @default.
• W3022144859 cites W1974604404 @default.
• W3022144859 cites W1991546210 @default.
• W3022144859 cites W1996567876 @default.
• W3022144859 cites W1999517284 @default.
• W3022144859 cites W2003028733 @default.
• W3022144859 cites W2008106620 @default.
• W3022144859 cites W2031525781 @default.
• W3022144859 cites W2032854624 @default.
• W3022144859 cites W2048229966 @default.
• W3022144859 cites W2050320220 @default.
• W3022144859 cites W2053519844 @default.
• W3022144859 cites W2056331235 @default.
• W3022144859 cites W2059590831 @default.
• W3022144859 cites W2069482167 @default.
• W3022144859 cites W2073344389 @default.
• W3022144859 cites W2078739669 @default.
• W3022144859 cites W2080205938 @default.
• W3022144859 cites W2102440514 @default.
• W3022144859 cites W2104009155 @default.
• W3022144859 cites W2112936713 @default.
• W3022144859 cites W2119137801 @default.
• W3022144859 cites W2127929122 @default.
• W3022144859 cites W2131135493 @default.
• W3022144859 cites W2148755014 @default.
• W3022144859 cites W2151360539 @default.
• W3022144859 cites W2154847114 @default.
• W3022144859 cites W2158600037 @default.
• W3022144859 cites W2162544703 @default.
• W3022144859 cites W2914074464 @default.
• W3022144859 cites W4241352414 @default.
• W3022144859 cites W4243644740 @default.
• W3022144859 cites W4245921527 @default.
• W3022144859 cites W4247889999 @default.
• W3022144859 cites W4251478049 @default.
• W3022144859 doi "https://doi.org/10.1145/2555670.2466483" @default.
• W3022144859 hasPublicationYear "2013" @default.
• W3022144859 type Work @default.
• W3022144859 sameAs 3022144859 @default.
• W3022144859 citedByCount "6" @default.
• W3022144859 countsByYear W30221448592013 @default.
• W3022144859 countsByYear W30221448592014 @default.
• W3022144859 countsByYear W30221448592017 @default.
• W3022144859 countsByYear W30221448592020 @default.
• W3022144859 countsByYear W30221448592022 @default.
• W3022144859 crossrefType "journal-article" @default.
• W3022144859 hasAuthorship W3022144859A5032730802 @default.
• W3022144859 hasAuthorship W3022144859A5077180042 @default.
• W3022144859 hasAuthorship W3022144859A5089622112 @default.
• W3022144859 hasConcept C102379954 @default.
• W3022144859 hasConcept C111919701 @default.
• W3022144859 hasConcept C11413529 @default.
• W3022144859 hasConcept C134757568 @default.
• W3022144859 hasConcept C136643341 @default.
• W3022144859 hasConcept C150202949 @default.
• W3022144859 hasConcept C154945302 @default.
• W3022144859 hasConcept C169590947 @default.
• W3022144859 hasConcept C173608175 @default.
• W3022144859 hasConcept C190902152 @default.
• W3022144859 hasConcept C199360897 @default.
• W3022144859 hasConcept C27458966 @default.
• W3022144859 hasConcept C41008148 @default.
• W3022144859 hasConcept C48044578 @default.
• W3022144859 hasConcept C489000 @default.
• W3022144859 hasConcept C7263679 @default.
• W3022144859 hasConcept C77088390 @default.
• W3022144859 hasConcept C80444323 @default.
• W3022144859 hasConcept C88468194 @default.
• W3022144859 hasConcept C97686452 @default.
• W3022144859 hasConceptScore W3022144859C102379954 @default.
• W3022144859 hasConceptScore W3022144859C111919701 @default.
• W3022144859 hasConceptScore W3022144859C11413529 @default.
• W3022144859 hasConceptScore W3022144859C134757568 @default.
• W3022144859 hasConceptScore W3022144859C136643341 @default.
• W3022144859 hasConceptScore W3022144859C150202949 @default.
• W3022144859 hasConceptScore W3022144859C154945302 @default.
• W3022144859 hasConceptScore W3022144859C169590947 @default.
• W3022144859 hasConceptScore W3022144859C173608175 @default.
• W3022144859 hasConceptScore W3022144859C190902152 @default.
• W3022144859 hasConceptScore W3022144859C199360897 @default.
• W3022144859 hasConceptScore W3022144859C27458966 @default.
• W3022144859 hasConceptScore W3022144859C41008148 @default.
• W3022144859 hasConceptScore W3022144859C48044578 @default.
• W3022144859 hasConceptScore W3022144859C489000 @default.
• W3022144859 hasConceptScore W3022144859C7263679 @default.
• W3022144859 hasConceptScore W3022144859C77088390 @default.
• W3022144859 hasConceptScore W3022144859C80444323 @default.

• next