FRINK Linked Data Fragments server

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

• W2123359817 abstract "Numeric program analysis is of great importance for the areas of software engineering, software verification, and security: to identify many program errors, such as out-of-bounds array accesses and integer overflows, which constitute the lion's share of security vulnerabilities reported by CERT, an analyzer needs to establish numeric properties of program variables. Many important program analyses, such as low-level code analysis, memory-cleanness analysis, and shape analysis, rely in some ways on numeric-program-analysis techniques. However, existing numeric abstractions are complex (numeric abstract domains are typically non-distributive, and form infinite-height lattices); thus, obtaining precise numeric-analysis results is by no means a trivial undertaking. In this thesis, we develop a suite of techniques with the common goal of improving the precision and applicability of numeric program analysis. The techniques address various aspects of numeric analysis, such as handling dynamically-allocated memory, dealing with programs that manipulate arrays, improving the precision of extrapolation (widening), and performing interprocedural analysis. The techniques use existing numeric abstractions as building blocks. The communication with existing abstractions is done strictly through a generic abstract-domain interface. The abstractions constructed by our techniques also expose that same interface, and thus, are compatible with existing analysis engines. As a result, our techniques are independent from specific abstractions and specific analysis engines, can be easily incorporated into existing program-analysis tools, and should be readily compatible with new abstractions to be introduced in the future. A practical application of numeric analysis that we consider in this thesis is the automatic generation of summaries for library functions from their low-level implementation (that is, from a library's binary). The source code for library functions is typically not available. This poses a stumbling block for many source-level program analyses. Automatic generation of summary functions will both speed up and improve the accuracy of library-modeling, a process that is currently carried out by hand. This thesis addresses the automatic generation of summaries for memory-safety analysis." @default.
• W2123359817 created "2016-06-24" @default.
• W2123359817 creator A5066155126 @default.
• W2123359817 creator A5076033728 @default.
• W2123359817 date "2007-01-01" @default.
• W2123359817 modified "2023-09-23" @default.
• W2123359817 title "Numeric program analysis techniques with applications to array analysis and library summarization" @default.
• W2123359817 cites W148396834 @default.
• W2123359817 cites W1487657751 @default.
• W2123359817 cites W1491036809 @default.
• W2123359817 cites W1493367105 @default.
• W2123359817 cites W1500085611 @default.
• W2123359817 cites W1502028089 @default.
• W2123359817 cites W1503701626 @default.
• W2123359817 cites W1503756333 @default.
• W2123359817 cites W1505616861 @default.
• W2123359817 cites W1507199453 @default.
• W2123359817 cites W1509268249 @default.
• W2123359817 cites W1515906028 @default.
• W2123359817 cites W1517790727 @default.
• W2123359817 cites W1520962304 @default.
• W2123359817 cites W1521221596 @default.
• W2123359817 cites W1526619182 @default.
• W2123359817 cites W1531204343 @default.
• W2123359817 cites W1536898727 @default.
• W2123359817 cites W1547121950 @default.
• W2123359817 cites W1551571370 @default.
• W2123359817 cites W1557880268 @default.
• W2123359817 cites W1558061996 @default.
• W2123359817 cites W1565263826 @default.
• W2123359817 cites W1568984608 @default.
• W2123359817 cites W1572006999 @default.
• W2123359817 cites W1575079504 @default.
• W2123359817 cites W1579850852 @default.
• W2123359817 cites W1582456956 @default.
• W2123359817 cites W1583425800 @default.
• W2123359817 cites W1585404558 @default.
• W2123359817 cites W1589224558 @default.
• W2123359817 cites W1591136029 @default.
• W2123359817 cites W1593165330 @default.
• W2123359817 cites W1595979272 @default.
• W2123359817 cites W1600925218 @default.
• W2123359817 cites W1602537816 @default.
• W2123359817 cites W1607645463 @default.
• W2123359817 cites W171295454 @default.
• W2123359817 cites W1755257908 @default.
• W2123359817 cites W1820253543 @default.
• W2123359817 cites W1840408880 @default.
• W2123359817 cites W1870227415 @default.
• W2123359817 cites W1903577715 @default.
• W2123359817 cites W1966982815 @default.
• W2123359817 cites W1968208713 @default.
• W2123359817 cites W1972085995 @default.
• W2123359817 cites W1972429847 @default.
• W2123359817 cites W1974604404 @default.
• W2123359817 cites W1974909417 @default.
• W2123359817 cites W1977380916 @default.
• W2123359817 cites W1980468060 @default.
• W2123359817 cites W198958201 @default.
• W2123359817 cites W1991837261 @default.
• W2123359817 cites W199487773 @default.
• W2123359817 cites W1995151557 @default.
• W2123359817 cites W1998285060 @default.
• W2123359817 cites W2010204191 @default.
• W2123359817 cites W2014764321 @default.
• W2123359817 cites W2014860543 @default.
• W2123359817 cites W2031373197 @default.
• W2123359817 cites W2036267700 @default.
• W2123359817 cites W2040068897 @default.
• W2123359817 cites W2043100293 @default.
• W2123359817 cites W2043133575 @default.
• W2123359817 cites W2051345428 @default.
• W2123359817 cites W2052664195 @default.
• W2123359817 cites W2060697066 @default.
• W2123359817 cites W2069783271 @default.
• W2123359817 cites W2080573945 @default.
• W2123359817 cites W2087612811 @default.
• W2123359817 cites W2087771409 @default.
• W2123359817 cites W2096161423 @default.
• W2123359817 cites W2096449544 @default.
• W2123359817 cites W2096561672 @default.
• W2123359817 cites W2101508170 @default.
• W2123359817 cites W2101936540 @default.
• W2123359817 cites W2102440514 @default.
• W2123359817 cites W2103714221 @default.
• W2123359817 cites W2104021743 @default.
• W2123359817 cites W2111422217 @default.
• W2123359817 cites W2112481005 @default.
• W2123359817 cites W2132661148 @default.
• W2123359817 cites W2133846634 @default.
• W2123359817 cites W2142481893 @default.
• W2123359817 cites W2142504844 @default.
• W2123359817 cites W2147536493 @default.
• W2123359817 cites W2153207819 @default.
• W2123359817 cites W2157324378 @default.
• W2123359817 cites W2160520283 @default.
• W2123359817 cites W2172022734 @default.
• W2123359817 cites W2295903414 @default.
• W2123359817 cites W2341995966 @default.
• W2123359817 cites W2381752340 @default.

• next