FRINK Linked Data Fragments server

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

• W2183520928 abstract "Static Program Analysis is a process of reasoning about properties of a program without actually running it. It has many applications, including compiler optimizations, software maintenance, testing and program verification. In this thesis we present a new framework for more effective Static Program Analysis. At the heart of our approach is the representation of control flow graphs (CFG) as regular expressions and an extension of non-deterministic language (NDL) to imperative programs. We present simple rewriting rules to convert imperative programs into NDL in a way that preserves control dependencies without converting them into data dependencies. Such a preservation permits more transformations like loop-refinement for proving program properties than are possible with existing techniques. We use automatic buffer overflow detection as a goal in program analyses of C/C++ programs. We introduce new algorithms to convert an imperative program into an NDL program and then to a logic program. We provide proofs of correctness of the translation and show how a buffer overflow property can be inferred as a solution of the logic program. We have implemented algorithms to convert imperative programs to NDL and then to a logic program. To study the effectiveness of our algorithms on real programs we experimented on C/C++ procedures taken from standard benchmark suites. Our results indicate that the techniques presented here perform well in practice." @default.
• W2183520928 created "2016-06-24" @default.
• W2183520928 creator A5000103628 @default.
• W2183520928 date "2011-01-01" @default.
• W2183520928 modified "2023-09-27" @default.
• W2183520928 title "Detecting Buffer Overflows in Imperative Programs" @default.
• W2183520928 cites W1491178396 @default.
• W2183520928 cites W1498432697 @default.
• W2183520928 cites W1499526127 @default.
• W2183520928 cites W1521580745 @default.
• W2183520928 cites W1525983789 @default.
• W2183520928 cites W1536119593 @default.
• W2183520928 cites W1598263475 @default.
• W2183520928 cites W1843198456 @default.
• W2183520928 cites W1971388424 @default.
• W2183520928 cites W1974817955 @default.
• W2183520928 cites W1980767016 @default.
• W2183520928 cites W1982205631 @default.
• W2183520928 cites W1990087033 @default.
• W2183520928 cites W1996245589 @default.
• W2183520928 cites W1998285060 @default.
• W2183520928 cites W2002089154 @default.
• W2183520928 cites W2010194128 @default.
• W2183520928 cites W2012131382 @default.
• W2183520928 cites W2021437589 @default.
• W2183520928 cites W2023808162 @default.
• W2183520928 cites W2037929850 @default.
• W2183520928 cites W2053152889 @default.
• W2183520928 cites W2066210260 @default.
• W2183520928 cites W2074347309 @default.
• W2183520928 cites W2079549821 @default.
• W2183520928 cites W2088017390 @default.
• W2183520928 cites W2088192118 @default.
• W2183520928 cites W2098022036 @default.
• W2183520928 cites W2101512909 @default.
• W2183520928 cites W2108911687 @default.
• W2183520928 cites W2113074643 @default.
• W2183520928 cites W2114067856 @default.
• W2183520928 cites W2118229393 @default.
• W2183520928 cites W2120138937 @default.
• W2183520928 cites W2123396057 @default.
• W2183520928 cites W2124153277 @default.
• W2183520928 cites W2127637733 @default.
• W2183520928 cites W2128832779 @default.
• W2183520928 cites W2132210624 @default.
• W2183520928 cites W2140503880 @default.
• W2183520928 cites W2144344516 @default.
• W2183520928 cites W2145759124 @default.
• W2183520928 cites W2153185479 @default.
• W2183520928 cites W2157527989 @default.
• W2183520928 cites W2158744037 @default.
• W2183520928 cites W2293624369 @default.
• W2183520928 cites W2295244175 @default.
• W2183520928 cites W2604202109 @default.
• W2183520928 cites W2613278123 @default.
• W2183520928 cites W2911436048 @default.
• W2183520928 cites W3146075203 @default.
• W2183520928 cites W3151246481 @default.
• W2183520928 cites W49331338 @default.
• W2183520928 hasPublicationYear "2011" @default.
• W2183520928 type Work @default.
• W2183520928 sameAs 2183520928 @default.
• W2183520928 citedByCount "0" @default.
• W2183520928 crossrefType "journal-article" @default.
• W2183520928 hasAuthorship W2183520928A5000103628 @default.
• W2183520928 hasConcept C108710211 @default.
• W2183520928 hasConcept C154690210 @default.
• W2183520928 hasConcept C160191386 @default.
• W2183520928 hasConcept C169590947 @default.
• W2183520928 hasConcept C199360897 @default.
• W2183520928 hasConcept C2524010 @default.
• W2183520928 hasConcept C27458966 @default.
• W2183520928 hasConcept C2777904410 @default.
• W2183520928 hasConcept C2778361913 @default.
• W2183520928 hasConcept C2779639559 @default.
• W2183520928 hasConcept C33923547 @default.
• W2183520928 hasConcept C40842320 @default.
• W2183520928 hasConcept C41008148 @default.
• W2183520928 hasConcept C55439883 @default.
• W2183520928 hasConcept C80444323 @default.
• W2183520928 hasConcept C97686452 @default.
• W2183520928 hasConcept C98183937 @default.
• W2183520928 hasConceptScore W2183520928C108710211 @default.
• W2183520928 hasConceptScore W2183520928C154690210 @default.
• W2183520928 hasConceptScore W2183520928C160191386 @default.
• W2183520928 hasConceptScore W2183520928C169590947 @default.
• W2183520928 hasConceptScore W2183520928C199360897 @default.
• W2183520928 hasConceptScore W2183520928C2524010 @default.
• W2183520928 hasConceptScore W2183520928C27458966 @default.
• W2183520928 hasConceptScore W2183520928C2777904410 @default.
• W2183520928 hasConceptScore W2183520928C2778361913 @default.
• W2183520928 hasConceptScore W2183520928C2779639559 @default.
• W2183520928 hasConceptScore W2183520928C33923547 @default.
• W2183520928 hasConceptScore W2183520928C40842320 @default.
• W2183520928 hasConceptScore W2183520928C41008148 @default.
• W2183520928 hasConceptScore W2183520928C55439883 @default.
• W2183520928 hasConceptScore W2183520928C80444323 @default.
• W2183520928 hasConceptScore W2183520928C97686452 @default.
• W2183520928 hasConceptScore W2183520928C98183937 @default.
• W2183520928 hasLocation W21835209281 @default.

• next