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.






SoftPerson develops innovative new desktop software applications by incorporating artificial intelligence and natural language technologies to bring human-like intelligence to everyday applications.

Social Media