Code Contracts

Discuss and provide feedback on Code Contracts. 

• 1540
  

  Regression Bug: Unboxing a null reference - Nullables

  
  Dave Sexton Thursday, November 01, 2012 6:25 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeMonday, April 15, 2013 6:23 PM
 
• 3617
  

  Difference between logical & and logical && for static code checking

  
  msdn_profile_rk Sunday, November 18, 2012 3:27 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeMonday, April 15, 2013 4:57 PM
 
• 2105
  

  Could not resolve member reference: Windows.Storage.StorageStreamTransaction::Dispose

  
  Dave Sexton Saturday, April 13, 2013 9:15 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeMonday, April 15, 2013 4:09 PM
 
• 54653
  

  Contract Abbreviator Methods from a class library

  
  DevInstinct Monday, July 12, 2010 1:53 PM
  Last Reply LeetBaal Sunday, April 14, 2013 2:42 PM
 
• 2346
  

  Project showing problems with the static checker

  
  Daniel Hilgarth Tuesday, February 26, 2013 1:31 PM
  Last Reply Daniel Hilgarth Saturday, April 13, 2013 1:05 PM
 
• 1670
  

  Code Contracts and SAP CrystalReports 13

  
  Thomas Hoekstra Monday, November 19, 2012 2:44 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:42 AM
 
• 1181
  

  Please allow assembly-level settings to be changed/overridden for specific types

  
  Michael Damatov Wednesday, March 27, 2013 12:57 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:34 AM
 
• 33838
  

  Changing Contract Assembly name

  
  Gentlehag Wednesday, September 23, 2009 6:16 AM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:24 AM
 
• 5149
  

  checking references of references

  
  Paul Apostol Wednesday, April 10, 2013 10:54 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeFriday, April 12, 2013 11:17 PM
 
• 1109
  

  Why is member not part of the abstract class/interface being referenced?

  
  kachris Friday, April 12, 2013 1:55 PM
  Last Reply RiSE (Research in Software Engineering) Friday, April 12, 2013 10:57 PM
 
• 6187
  

  Why is there no contract warnings?

  
  Claus Skoubølling Jørgensen Wednesday, April 10, 2013 9:19 AM
  Last Reply Claus Skoubølling Jørgensen Friday, April 12, 2013 6:47 AM
 
• 12184
  

  Why are Interface contracts not applying outside of assembly?

  
  Juliano Goncalves Wednesday, April 10, 2013 1:48 PM
  Last Reply RiSE (Research in Software Engineering) Thursday, April 11, 2013 7:21 PM
 
• 72080
  

  Code contracts in VB.Net Constructors

  
  Bkqc Monday, April 02, 2012 5:51 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeWednesday, April 10, 2013 10:18 PM
 
• 54409
  

  Code Contracts says silly things about C++/CLI projects

  
  Porges Friday, September 03, 2010 12:38 AM
  Last Reply Mike BarnettMicrosoft EmployeeWednesday, April 10, 2013 5:22 PM
 
• 3136
  

  RIA Services Client Code generation broken after installing code contracts 1.4.60317.12

  
  Ralias Monday, April 08, 2013 3:35 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 09, 2013 7:21 PM
 
• 13363
  

  New CodeContract Editor Extensions VS2012 and VS2010 are live.

  
  Manuel FahndrichMicrosoft EmployeeWednesday, March 20, 2013 4:52 AM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 09, 2013 3:17 PM
 
• 81212
  

  Bug report: CCDocGen exception in CCDoc.CCDocCSharpSourceEmitter.TraverseChildren

  
  Anonymous531742 Friday, November 02, 2012 4:55 PM
  Last Reply Josef Bláha Saturday, April 06, 2013 10:37 PM
 
• 7365
  

  Additional contracts on Activator.CreateInstance

  
  Lukazoid Thursday, March 07, 2013 10:00 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeThursday, April 04, 2013 3:57 PM
 
• 1140
  

  ccrewrite warning messages when opening (not building) my solution

  
  Anthony Abate Thursday, April 04, 2013 1:35 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeThursday, April 04, 2013 3:52 PM
 
• 144015
  

  Stronger postconditions for interfaces that implement interfaces with weaker postconditions - how?

  
  penartur Friday, August 26, 2011 4:07 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 02, 2013 3:47 PM