Framework Bug #1

9/11/2006 10:15:53 PM

Framework Bug #1

This snippet is from the file _baseoverlappedasyncresult.cs in the SSCLI project (aka Rotor). This function is used in the Base Class Library of the .NET Framework.

private void InternalFree() { m_Overlapped = null; m_PinnedObjects = null; if (m_NativeOverlapped != IntPtr.Zero) { unsafe { Overlapped.Free((NativeOverlapped*) m_NativeOverlapped); } m_NativeOverlapped = IntPtr.Zero; } }

In this snippet is a bug that eluded Microsoft's many static analysis tools (RaceTrack, Spec#, etc). See if you can find it.






Net Undocumented is a blog about the internals of .NET including Xamarin implementations. Other topics include managed and web languages (C#, C++, Javascript), computer science theory, software engineering and software entrepreneurship.

Social Media