Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205479231> ?p ?o ?g. }
- W3205479231 endingPage "32" @default.
- W3205479231 startingPage "1" @default.
- W3205479231 abstract "This paper concerns the scalability challenges of symbolic abstraction: given a formula ϕ in a logic L and an abstract domain A , find a most precise element in the abstract domain that over-approximates the meaning of ϕ. Symbolic abstraction is an important point in the space of abstract interpretation, as it allows for automatically synthesizing the best abstract transformers. However, current techniques for symbolic abstraction can have difficulty delivering on its practical strengths, due to performance issues. In this work, we introduce two algorithms for the symbolic abstraction of quantifier-free bit-vector formulas, which apply to the bit-vector interval domain and a certain kind of polyhedral domain, respectively. We implement and evaluate the proposed techniques on two machine code analysis clients, namely static memory corruption analysis and constrained random fuzzing. Using a suite of 57,933 queries from the clients, we compare our approach against a diverse group of state-of-the-art algorithms. The experiments show that our algorithms achieve a substantial speedup over existing techniques and illustrate significant precision advantages for the clients. Our work presents strong evidence that symbolic abstraction of numeric domains can be efficient and practical for large and realistic programs." @default.
- W3205479231 created "2021-10-25" @default.
- W3205479231 creator A5013596682 @default.
- W3205479231 creator A5034844386 @default.
- W3205479231 creator A5037005556 @default.
- W3205479231 creator A5045907091 @default.
- W3205479231 date "2021-10-15" @default.
- W3205479231 modified "2023-10-17" @default.
- W3205479231 title "Program analysis via efficient symbolic abstraction" @default.
- W3205479231 cites W1544041853 @default.
- W3205479231 cites W1548812055 @default.
- W3205479231 cites W1568212182 @default.
- W3205479231 cites W1570919259 @default.
- W3205479231 cites W1575079504 @default.
- W3205479231 cites W1603182045 @default.
- W3205479231 cites W1769016125 @default.
- W3205479231 cites W1973022923 @default.
- W3205479231 cites W1987679122 @default.
- W3205479231 cites W1995150618 @default.
- W3205479231 cites W1996543446 @default.
- W3205479231 cites W2013702670 @default.
- W3205479231 cites W2014764321 @default.
- W3205479231 cites W2065922404 @default.
- W3205479231 cites W2090777457 @default.
- W3205479231 cites W2098539765 @default.
- W3205479231 cites W2120484044 @default.
- W3205479231 cites W2121560454 @default.
- W3205479231 cites W2123493177 @default.
- W3205479231 cites W2125076295 @default.
- W3205479231 cites W2126594616 @default.
- W3205479231 cites W2126626789 @default.
- W3205479231 cites W2132661148 @default.
- W3205479231 cites W2135384260 @default.
- W3205479231 cites W2137378957 @default.
- W3205479231 cites W2140678594 @default.
- W3205479231 cites W2145089782 @default.
- W3205479231 cites W2150628379 @default.
- W3205479231 cites W2156858199 @default.
- W3205479231 cites W2157056800 @default.
- W3205479231 cites W2158735282 @default.
- W3205479231 cites W2170371367 @default.
- W3205479231 cites W2254123846 @default.
- W3205479231 cites W2276293879 @default.
- W3205479231 cites W2467005558 @default.
- W3205479231 cites W2514974017 @default.
- W3205479231 cites W2566919497 @default.
- W3205479231 cites W2571456046 @default.
- W3205479231 cites W2600774173 @default.
- W3205479231 cites W2642053679 @default.
- W3205479231 cites W2788364546 @default.
- W3205479231 cites W2794800068 @default.
- W3205479231 cites W2810353660 @default.
- W3205479231 cites W2955008836 @default.
- W3205479231 cites W3033642953 @default.
- W3205479231 cites W3100198463 @default.
- W3205479231 cites W3121290475 @default.
- W3205479231 cites W3137139687 @default.
- W3205479231 cites W3138477645 @default.
- W3205479231 cites W3149485484 @default.
- W3205479231 cites W3158747708 @default.
- W3205479231 cites W4243882797 @default.
- W3205479231 cites W4251718220 @default.
- W3205479231 doi "https://doi.org/10.1145/3485495" @default.
- W3205479231 hasPublicationYear "2021" @default.
- W3205479231 type Work @default.
- W3205479231 sameAs 3205479231 @default.
- W3205479231 citedByCount "0" @default.
- W3205479231 crossrefType "journal-article" @default.
- W3205479231 hasAuthorship W3205479231A5013596682 @default.
- W3205479231 hasAuthorship W3205479231A5034844386 @default.
- W3205479231 hasAuthorship W3205479231A5037005556 @default.
- W3205479231 hasAuthorship W3205479231A5045907091 @default.
- W3205479231 hasBestOaLocation W32054792311 @default.
- W3205479231 hasConcept C110251889 @default.
- W3205479231 hasConcept C111472728 @default.
- W3205479231 hasConcept C11413529 @default.
- W3205479231 hasConcept C124304363 @default.
- W3205479231 hasConcept C134306372 @default.
- W3205479231 hasConcept C138885662 @default.
- W3205479231 hasConcept C199360897 @default.
- W3205479231 hasConcept C23123167 @default.
- W3205479231 hasConcept C2777904410 @default.
- W3205479231 hasConcept C2779639559 @default.
- W3205479231 hasConcept C2779907942 @default.
- W3205479231 hasConcept C2780654840 @default.
- W3205479231 hasConcept C30888246 @default.
- W3205479231 hasConcept C33923547 @default.
- W3205479231 hasConcept C36503486 @default.
- W3205479231 hasConcept C41008148 @default.
- W3205479231 hasConcept C65620979 @default.
- W3205479231 hasConcept C80444323 @default.
- W3205479231 hasConcept C98183937 @default.
- W3205479231 hasConceptScore W3205479231C110251889 @default.
- W3205479231 hasConceptScore W3205479231C111472728 @default.
- W3205479231 hasConceptScore W3205479231C11413529 @default.
- W3205479231 hasConceptScore W3205479231C124304363 @default.
- W3205479231 hasConceptScore W3205479231C134306372 @default.
- W3205479231 hasConceptScore W3205479231C138885662 @default.