FRINK Linked Data Fragments server

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

• W2152927184 abstract "This thesis addresses the difficult task of constructing robust and scalable dynamic program analysis tools for programs written in memory-unsafe languages such as C and C++, especially those that are interested in observing the contents of data structures at run time. In this thesis, I first introduce my novel mixed-level approach to dynamic analysis, which combines the advantages of both sourceand binarybased approaches. Second, I present a tool framework that embodies the mixed-level approach. This framework provides memory safety guarantees, allows tools built upon it to access rich sourceand binary-level information simultaneously at run time, and enables tools to scale to large, real-world C and C++ programs on the order of millions of lines of code. Third, I present two dynamic analysis tools built upon my framework — one for performing value profiling and the other for performing dynamic inference of abstract types — and describe how they far surpass previous analyses in terms of scalability, robustness, and applicability. Lastly, I present several case studies demonstrating how these tools aid both humans and automated tools in several program analysis tasks: improving human understanding of unfamiliar code, invariant detection, and data structure repair. Thesis Supervisor: Michael D. Ernst Title: Associate Professor" @default.
• W2152927184 created "2016-06-24" @default.
• W2152927184 creator A5060695800 @default.
• W2152927184 date "2006-01-01" @default.
• W2152927184 modified "2023-09-23" @default.
• W2152927184 title "A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs" @default.
• W2152927184 cites W145355838 @default.
• W2152927184 cites W1484875989 @default.
• W2152927184 cites W1494161293 @default.
• W2152927184 cites W1497542708 @default.
• W2152927184 cites W1514171102 @default.
• W2152927184 cites W1543063618 @default.
• W2152927184 cites W1546727036 @default.
• W2152927184 cites W1563647787 @default.
• W2152927184 cites W1574862351 @default.
• W2152927184 cites W1577728776 @default.
• W2152927184 cites W1592895353 @default.
• W2152927184 cites W1734116059 @default.
• W2152927184 cites W175329226 @default.
• W2152927184 cites W1854764556 @default.
• W2152927184 cites W1947621832 @default.
• W2152927184 cites W1967698620 @default.
• W2152927184 cites W1973326708 @default.
• W2152927184 cites W1979582240 @default.
• W2152927184 cites W1983119041 @default.
• W2152927184 cites W1984129195 @default.
• W2152927184 cites W1984248430 @default.
• W2152927184 cites W1984276391 @default.
• W2152927184 cites W2024943946 @default.
• W2152927184 cites W2036196659 @default.
• W2152927184 cites W2040183246 @default.
• W2152927184 cites W2047226031 @default.
• W2152927184 cites W2061608960 @default.
• W2152927184 cites W2086971204 @default.
• W2152927184 cites W2096905893 @default.
• W2152927184 cites W2105899810 @default.
• W2152927184 cites W2107089133 @default.
• W2152927184 cites W2111838219 @default.
• W2152927184 cites W2116409384 @default.
• W2152927184 cites W2117703831 @default.
• W2152927184 cites W2118349261 @default.
• W2152927184 cites W2121234902 @default.
• W2152927184 cites W2125682153 @default.
• W2152927184 cites W2127172188 @default.
• W2152927184 cites W2129304537 @default.
• W2152927184 cites W2131135493 @default.
• W2152927184 cites W2132874586 @default.
• W2152927184 cites W2140611647 @default.
• W2152927184 cites W2155479707 @default.
• W2152927184 cites W2158600037 @default.
• W2152927184 cites W2163319971 @default.
• W2152927184 cites W2166822586 @default.
• W2152927184 cites W2197622446 @default.
• W2152927184 cites W2223115626 @default.
• W2152927184 cites W2293624369 @default.
• W2152927184 cites W2295303622 @default.
• W2152927184 cites W303139982 @default.
• W2152927184 cites W3106729728 @default.
• W2152927184 cites W60321877 @default.
• W2152927184 cites W92673466 @default.
• W2152927184 cites W1774418490 @default.
• W2152927184 hasPublicationYear "2006" @default.
• W2152927184 type Work @default.
• W2152927184 sameAs 2152927184 @default.
• W2152927184 citedByCount "3" @default.
• W2152927184 crossrefType "dissertation" @default.
• W2152927184 hasAuthorship W2152927184A5060695800 @default.
• W2152927184 hasConcept C104317684 @default.
• W2152927184 hasConcept C136085584 @default.
• W2152927184 hasConcept C154945302 @default.
• W2152927184 hasConcept C162319229 @default.
• W2152927184 hasConcept C176649486 @default.
• W2152927184 hasConcept C17744445 @default.
• W2152927184 hasConcept C185592680 @default.
• W2152927184 hasConcept C187191949 @default.
• W2152927184 hasConcept C199360897 @default.
• W2152927184 hasConcept C199539241 @default.
• W2152927184 hasConcept C2776214188 @default.
• W2152927184 hasConcept C2779110517 @default.
• W2152927184 hasConcept C34339311 @default.
• W2152927184 hasConcept C41008148 @default.
• W2152927184 hasConcept C48044578 @default.
• W2152927184 hasConcept C55493867 @default.
• W2152927184 hasConcept C63479239 @default.
• W2152927184 hasConcept C77088390 @default.
• W2152927184 hasConcept C80444323 @default.
• W2152927184 hasConcept C97686452 @default.
• W2152927184 hasConceptScore W2152927184C104317684 @default.
• W2152927184 hasConceptScore W2152927184C136085584 @default.
• W2152927184 hasConceptScore W2152927184C154945302 @default.
• W2152927184 hasConceptScore W2152927184C162319229 @default.
• W2152927184 hasConceptScore W2152927184C176649486 @default.
• W2152927184 hasConceptScore W2152927184C17744445 @default.
• W2152927184 hasConceptScore W2152927184C185592680 @default.
• W2152927184 hasConceptScore W2152927184C187191949 @default.
• W2152927184 hasConceptScore W2152927184C199360897 @default.
• W2152927184 hasConceptScore W2152927184C199539241 @default.
• W2152927184 hasConceptScore W2152927184C2776214188 @default.
• W2152927184 hasConceptScore W2152927184C2779110517 @default.
• W2152927184 hasConceptScore W2152927184C34339311 @default.

• next