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.

• 3543
  

  Missing precondition Requires(format != null) on string.Format

  
  Alexey R. Monday, March 09, 2009 5:27 PM
  Last Reply Manuel FahndrichMSFTMonday, March 09, 2009 8:46 PM
 
• 2372
  

  cccheck.exe spins at 100% (of 1 core) forever

  
  Andrew L ArnottMSFTMonday, March 09, 2009 4:38 AM
  Last Reply Andrew L ArnottMSFTMonday, March 09, 2009 8:45 PM
 
• 2530
  

  Unproven contracts on static check with Strings

  
  Alexander Wurzinger Monday, March 09, 2009 1:11 PM
  Last Reply Francesco LogozzoMSFTMonday, March 09, 2009 5:10 PM
 
• 1496
  

  Contract Error with StringBuilder and Strings

  
  Alexander Wurzinger Monday, March 09, 2009 1:19 PM
  Last Reply Manuel FahndrichMSFTMonday, March 09, 2009 2:58 PM
 
• 2398
  

  Code Contracts and WCF support

  
  hexadecimal Monday, March 09, 2009 1:41 AM
  Last Reply hexadecimal Monday, March 09, 2009 2:02 PM
 
• 1376
  

  BCL contract reference assembly holes

  
  Andrew L ArnottMSFTMonday, March 09, 2009 4:32 AM
  Last Reply Manuel FahndrichMSFTMonday, March 09, 2009 7:05 AM
 
• 1376
  

  Bug with Uri handling?

  
  Andrew L ArnottMSFTMonday, March 09, 2009 3:51 AM
  Last Reply Manuel FahndrichMSFTMonday, March 09, 2009 4:26 AM
 
• 1371
  

  Dynamic analysis of the contracts defined on a method by an invoking application.

  
  McLellan Friday, March 06, 2009 11:04 PM
  Last Reply Manuel FahndrichMSFTSunday, March 08, 2009 6:56 PM
 
• 7832
  

  Is there a way to strip out ObjectInvariant methods from release IL code?

  
  Alexey R. Friday, March 06, 2009 8:53 AM
  Last Reply Alexey R. Saturday, March 07, 2009 2:12 PM
 
• 2483
  

  State of fields marked as readonly

  
  Alexey R. Friday, March 06, 2009 8:09 AM
  Last Reply Alexey R. Friday, March 06, 2009 5:46 PM
 
• 3452
  

  Pure: when to use?

  
  Matthias Jauernig Thursday, March 05, 2009 7:26 AM
  Last Reply Manuel FahndrichMSFTFriday, March 06, 2009 4:19 PM
 
• 6478
  

  Interface implementations and Preconditions of foreign code

  
  volker_von-einem Wednesday, March 04, 2009 1:22 PM
  Last Reply Manuel FahndrichMSFTFriday, March 06, 2009 4:16 PM
 
• 1512
  

  The typeof operator should Ensure non-null result

  
  Alexey R. Friday, March 06, 2009 7:50 AM
  Last Reply Manuel FahndrichMSFTFriday, March 06, 2009 4:08 PM
 
• 2389
  

  Attribute based signing, anyone?

  
  Manuel FahndrichMSFTTuesday, March 03, 2009 10:52 PM
  Last Reply Manuel FahndrichMSFTFriday, March 06, 2009 4:02 PM
 
• 3752
  

  Am I allowed to deploy Microsoft.Contracts.dll

  
  volker_von-einem Thursday, March 05, 2009 8:07 AM
  Last Reply Manuel FahndrichMSFTFriday, March 06, 2009 3:59 PM
 
• 3452
  

  Static checker behind the scenes?

  
  Matthias Jauernig Thursday, March 05, 2009 7:20 AM
  Last Reply Matthias Jauernig Friday, March 06, 2009 9:11 AM
 
• 3443
  

  Problems with static checker on example

  
  Matthias Jauernig Wednesday, March 04, 2009 1:02 PM
  Last Reply Francesco LogozzoMSFTThursday, March 05, 2009 7:39 PM
 
• 2481
  

  Modelling implications as post-conditions

  
  Matthias Jauernig Wednesday, March 04, 2009 2:40 PM
  Last Reply Matthias Jauernig Wednesday, March 04, 2009 8:40 PM
 
• 21161
  

  Invariants on auto-properties?

  
  Matthias Jauernig Wednesday, March 04, 2009 1:14 PM
  Last Reply Matthias Jauernig Wednesday, March 04, 2009 8:23 PM
 
• 3420
  

  Possible Bug

  
  Mike Barry Tuesday, February 24, 2009 9:25 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 03, 2009 11:57 PM