Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155772078> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2155772078 abstract "The .NET intermediate language (MSIL) allows expressing both statically verifiable memory and type safe code (typically called managed), as well as unsafe code using direct pointer manipulations. Unsafe code can be expressed in C# by marking regions of code as unsafe. Writing unsafe code can be useful where the rules of managed code are too strict. The obvious drawback of unsafe code is that it opens the door to programming errors typical of C and C++, namely memory access errors such as buffer overruns. Worse, a single piece of unsafe code may corrupt memory and destabilize the entire runtime or allow attackers to compromise the security of the platform. We present a new static analysis based on abstract interpretation to check memory safety for unsafe code in the .NET framework. The core of the analysis is a new numerical abstract domain, Strp, which is used to efficiently compute memory invariants. Strp is combined with lightweight abstract domains to raise the precision, yet achieving scalability. We implemented this analysis in Clousot, a generic static analyzer for .NET. In combination with contracts expressed in FoxTrot, an MSIL based annotation language for .NET, our analysis provides static safety guarantees on memory accesses in unsafe code. We tested it on all the assemblies of the .NET framework. We compare our results with those obtained using existing domains, showing how they are either too imprecise (e.g., Intervals or Octagons) or too expensive (Polyhedra) to be used in practice." @default.
- W2155772078 created "2016-06-24" @default.
- W2155772078 creator A5058389738 @default.
- W2155772078 creator A5070919681 @default.
- W2155772078 creator A5084249145 @default.
- W2155772078 date "2008-10-19" @default.
- W2155772078 modified "2023-10-17" @default.
- W2155772078 title "Safer unsafe code for .NET" @default.
- W2155772078 cites W1580328473 @default.
- W2155772078 cites W1606177908 @default.
- W2155772078 cites W1855973055 @default.
- W2155772078 cites W1959256509 @default.
- W2155772078 cites W2014764321 @default.
- W2155772078 cites W2031373197 @default.
- W2155772078 cites W2040384644 @default.
- W2155772078 cites W2043100293 @default.
- W2155772078 cites W2074847015 @default.
- W2155772078 cites W2095115578 @default.
- W2155772078 cites W2103380617 @default.
- W2155772078 cites W2107742417 @default.
- W2155772078 cites W2120878745 @default.
- W2155772078 cites W2132661148 @default.
- W2155772078 cites W2142481893 @default.
- W2155772078 cites W2155611596 @default.
- W2155772078 cites W2168895934 @default.
- W2155772078 cites W4242009960 @default.
- W2155772078 cites W4245120671 @default.
- W2155772078 doi "https://doi.org/10.1145/1449764.1449791" @default.
- W2155772078 hasPublicationYear "2008" @default.
- W2155772078 type Work @default.
- W2155772078 sameAs 2155772078 @default.
- W2155772078 citedByCount "24" @default.
- W2155772078 countsByYear W21557720782012 @default.
- W2155772078 countsByYear W21557720782013 @default.
- W2155772078 countsByYear W21557720782016 @default.
- W2155772078 countsByYear W21557720782022 @default.
- W2155772078 crossrefType "proceedings-article" @default.
- W2155772078 hasAuthorship W2155772078A5058389738 @default.
- W2155772078 hasAuthorship W2155772078A5070919681 @default.
- W2155772078 hasAuthorship W2155772078A5084249145 @default.
- W2155772078 hasConcept C14166107 @default.
- W2155772078 hasConcept C177264268 @default.
- W2155772078 hasConcept C199360897 @default.
- W2155772078 hasConcept C2524010 @default.
- W2155772078 hasConcept C2776654903 @default.
- W2155772078 hasConcept C2776760102 @default.
- W2155772078 hasConcept C33923547 @default.
- W2155772078 hasConcept C38652104 @default.
- W2155772078 hasConcept C41008148 @default.
- W2155772078 hasConceptScore W2155772078C14166107 @default.
- W2155772078 hasConceptScore W2155772078C177264268 @default.
- W2155772078 hasConceptScore W2155772078C199360897 @default.
- W2155772078 hasConceptScore W2155772078C2524010 @default.
- W2155772078 hasConceptScore W2155772078C2776654903 @default.
- W2155772078 hasConceptScore W2155772078C2776760102 @default.
- W2155772078 hasConceptScore W2155772078C33923547 @default.
- W2155772078 hasConceptScore W2155772078C38652104 @default.
- W2155772078 hasConceptScore W2155772078C41008148 @default.
- W2155772078 hasLocation W21557720781 @default.
- W2155772078 hasOpenAccess W2155772078 @default.
- W2155772078 hasPrimaryLocation W21557720781 @default.
- W2155772078 hasRelatedWork W2141873265 @default.
- W2155772078 hasRelatedWork W2160620982 @default.
- W2155772078 hasRelatedWork W2212262519 @default.
- W2155772078 hasRelatedWork W2281360585 @default.
- W2155772078 hasRelatedWork W2373724792 @default.
- W2155772078 hasRelatedWork W2381194467 @default.
- W2155772078 hasRelatedWork W2979792696 @default.
- W2155772078 hasRelatedWork W3165462063 @default.
- W2155772078 hasRelatedWork W4238802015 @default.
- W2155772078 hasRelatedWork W4385532461 @default.
- W2155772078 isParatext "false" @default.
- W2155772078 isRetracted "false" @default.
- W2155772078 magId "2155772078" @default.
- W2155772078 workType "article" @default.