Matches in SemOpenAlex for { <https://semopenalex.org/work/W2773223713> ?p ?o ?g. }
- W2773223713 abstract "Typestate analysis relies on pointer analysis for detecting temporal memory safety errors, such as use-after-free (UAF). For large programs, scalable pointer analysis is usually imprecise in analyzing their hard corner cases, such as infeasible paths, recursion cycles, loops, arrays, and linked lists. Due to a sound over-approximation of the points-to information, a large number of spurious aliases will be reported conservatively, causing the corresponding typestate analysis to report a large number of false alarms. Thus, the usefulness of typestate analysis for heap-intensive clients, like UAF detection, becomes rather limited, in practice." @default.
- W2773223713 created "2017-12-22" @default.
- W2773223713 creator A5024664385 @default.
- W2773223713 creator A5027394471 @default.
- W2773223713 creator A5053058502 @default.
- W2773223713 creator A5059919967 @default.
- W2773223713 date "2017-12-04" @default.
- W2773223713 modified "2023-10-09" @default.
- W2773223713 title "Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection" @default.
- W2773223713 cites W1563577331 @default.
- W2773223713 cites W165943180 @default.
- W2773223713 cites W1966634194 @default.
- W2773223713 cites W1971327145 @default.
- W2773223713 cites W1976721395 @default.
- W2773223713 cites W1984471991 @default.
- W2773223713 cites W1991546210 @default.
- W2773223713 cites W1992114977 @default.
- W2773223713 cites W1993682390 @default.
- W2773223713 cites W1996567876 @default.
- W2773223713 cites W1997394198 @default.
- W2773223713 cites W1999517284 @default.
- W2773223713 cites W2001978806 @default.
- W2773223713 cites W2008106620 @default.
- W2773223713 cites W2014433051 @default.
- W2773223713 cites W2020841721 @default.
- W2773223713 cites W2023959340 @default.
- W2773223713 cites W2028284083 @default.
- W2773223713 cites W2044590882 @default.
- W2773223713 cites W2050320220 @default.
- W2773223713 cites W2053307247 @default.
- W2773223713 cites W2055084740 @default.
- W2773223713 cites W2059278087 @default.
- W2773223713 cites W2067877212 @default.
- W2773223713 cites W2075569702 @default.
- W2773223713 cites W2078197322 @default.
- W2773223713 cites W2080313875 @default.
- W2773223713 cites W2080573945 @default.
- W2773223713 cites W2085925880 @default.
- W2773223713 cites W2094619820 @default.
- W2773223713 cites W2094631165 @default.
- W2773223713 cites W2103714221 @default.
- W2773223713 cites W2109219878 @default.
- W2773223713 cites W2112936713 @default.
- W2773223713 cites W2113709047 @default.
- W2773223713 cites W2117703831 @default.
- W2773223713 cites W2117798902 @default.
- W2773223713 cites W2118286367 @default.
- W2773223713 cites W2119821739 @default.
- W2773223713 cites W2122751766 @default.
- W2773223713 cites W2122757982 @default.
- W2773223713 cites W2125357166 @default.
- W2773223713 cites W2134569009 @default.
- W2773223713 cites W2134646643 @default.
- W2773223713 cites W2138517425 @default.
- W2773223713 cites W2146649139 @default.
- W2773223713 cites W2153185479 @default.
- W2773223713 cites W2153635508 @default.
- W2773223713 cites W2156841542 @default.
- W2773223713 cites W2156858199 @default.
- W2773223713 cites W2165004968 @default.
- W2773223713 cites W2166381878 @default.
- W2773223713 cites W2274071363 @default.
- W2773223713 cites W2288083000 @default.
- W2773223713 cites W2297774820 @default.
- W2773223713 cites W2360967250 @default.
- W2773223713 cites W2538805569 @default.
- W2773223713 cites W2547862110 @default.
- W2773223713 cites W2560041978 @default.
- W2773223713 cites W2619331983 @default.
- W2773223713 cites W2735214320 @default.
- W2773223713 cites W4230674625 @default.
- W2773223713 cites W4241352414 @default.
- W2773223713 cites W4250584194 @default.
- W2773223713 cites W4250981365 @default.
- W2773223713 cites W951859702 @default.
- W2773223713 doi "https://doi.org/10.1145/3134600.3134620" @default.
- W2773223713 hasPublicationYear "2017" @default.
- W2773223713 type Work @default.
- W2773223713 sameAs 2773223713 @default.
- W2773223713 citedByCount "26" @default.
- W2773223713 countsByYear W27732237132018 @default.
- W2773223713 countsByYear W27732237132019 @default.
- W2773223713 countsByYear W27732237132020 @default.
- W2773223713 countsByYear W27732237132021 @default.
- W2773223713 countsByYear W27732237132022 @default.
- W2773223713 countsByYear W27732237132023 @default.
- W2773223713 crossrefType "proceedings-article" @default.
- W2773223713 hasAuthorship W2773223713A5024664385 @default.
- W2773223713 hasAuthorship W2773223713A5027394471 @default.
- W2773223713 hasAuthorship W2773223713A5053058502 @default.
- W2773223713 hasAuthorship W2773223713A5059919967 @default.
- W2773223713 hasConcept C111919701 @default.
- W2773223713 hasConcept C11413529 @default.
- W2773223713 hasConcept C119857082 @default.
- W2773223713 hasConcept C134757568 @default.
- W2773223713 hasConcept C150202949 @default.
- W2773223713 hasConcept C154945302 @default.
- W2773223713 hasConcept C199360897 @default.
- W2773223713 hasConcept C41008148 @default.
- W2773223713 hasConcept C48044578 @default.