Ask a question

Search Forums:

• Search Code Contracts Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Code Contracts

Discuss and provide feedback on Code Contracts.

• 0205
  

  SafeHandles returned from PInvoke calls should always be assumed non-null

  
  Alexey R. Friday, October 30, 2009 9:35 PM
 
• 0141
  

  Failed with uncaught exception

  
  Carl Hasselskog Friday, October 30, 2009 8:09 PM
 
• 2253
  

  Static checker does not understand that string is immutable

  
  Kris Vandermotten Thursday, October 29, 2009 12:51 PM
  Last Reply Kris Vandermotten Friday, October 30, 2009 7:22 AM
 
• 3294
  

  List wrapper

  
  Matthijs ter Woord Wednesday, October 28, 2009 4:29 PM
  Last Reply Manuel FahndrichMSFTFriday, October 30, 2009 12:59 AM
 
• 2288
  

  Missing Contracts in 1.2.20903.10

  
  Alexander Wurzinger Thursday, October 22, 2009 6:21 PM
  Last Reply xor88 Thursday, October 29, 2009 7:33 PM
 
• 0147
  

  Missing non-null postcondition on IEnumerable<T>.GetEnumerator()

  
  Kris Vandermotten Thursday, October 29, 2009 12:33 PM
 
• 4871
  

  Will ccrewrite ship as part of the .NET SDK - or just with VS?

  
  Joe AlbahariMVPTuesday, July 28, 2009 5:20 AM
  Last Reply Manuel FahndrichMSFTWednesday, October 28, 2009 1:55 AM
 
• 1300
  

  Static checker has difficulty proving assertions when booleans are involved

  
  Kris Vandermotten Tuesday, October 27, 2009 9:35 AM
  Last Reply Manuel FahndrichMSFTWednesday, October 28, 2009 12:10 AM
 
• 31431
  

  Code documentation

  
  Castdev Friday, March 06, 2009 1:52 PM
  Last Reply Manuel FahndrichMSFTTuesday, October 27, 2009 10:46 PM
 
• 3332
  

  Code Contracts and Third party code

  
  data--base Monday, October 26, 2009 10:45 PM
  Last Reply data--base Tuesday, October 27, 2009 6:30 PM
 
• 4789
  

  Code Contracts with ILMerge

  
  malignate Thursday, September 10, 2009 9:13 AM
  Last Reply Mike BarnettMSFTTuesday, October 27, 2009 3:48 AM
 
• 1256
  

  We need contracts for items in collections

  
  Strilanc Saturday, October 24, 2009 3:37 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 11:51 PM
 
• 3267
  

  Using Code Contract with mixed-mode projects

  
  Jahn Otto Næsgaard Andersen Friday, October 23, 2009 1:55 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 9:27 PM
 
• 61004
  

  Code coverage doesn't work with Code Contracts enabled

  
  Brian Czako Monday, July 13, 2009 9:30 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 9:24 PM
 
• 5778
  

  How are enums handled in static checking?

  
  xor88 Friday, July 31, 2009 5:50 PM
  Last Reply xor88 Monday, October 26, 2009 3:39 PM
 
• 101245
  

  Background checking doesn't work sometimes

  
  Alexey R. Friday, May 22, 2009 10:04 AM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:07 PM
 
• 3541
  

  CCDoc failed with uncaught exception

  
  Alexander Wurzinger Tuesday, September 22, 2009 11:15 AM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:06 PM
 
• 81188
  

  Can Code Contracts be used with an ASP.NET Website?

  
  jrmiller84 Tuesday, July 07, 2009 3:45 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:05 PM
 
• 4280
  

  Release 1.2.21023.14 with VS2010 Beta 2: error -2146232576

  
  Joe AlbahariMVPSunday, October 25, 2009 1:29 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 2:27 PM
 
• 3182
  

  CodeContract XML comments and custom build output path

  
  Dominick BaierMVPFriday, October 23, 2009 11:42 AM
  Last Reply Dominick BaierMVPMonday, October 26, 2009 7:23 AM