We develop an analytically tractable general equilibrium model to analyze the welfare effects of CDS trading and CDS regulation under aggregate uncertainty. If available equity capital is below a threshold, any equilibrium of the basic economy with no CDS markets features firm default and...