Subsequent Events - Additional Information (Detail) (Subsequent Event, Coverity Inc, USD $) In Millions, unless otherwise specified	1 Months Ended
Feb. 19, 2014
Subsequent Event \| Coverity Inc
Subsequent Event [Line Items]
Purchase consideration	$ 375

Amount of consideration transferred, consisting of acquisition-date fair value of assets transferred by the acquirer, liabilities incurred by the acquirer, and equity interest issued by the acquirer.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 805

-SubTopic 30

-Section 30

-Paragraph 7

-URI http://asc.fasb.org/extlink&oid=6911251&loc=d3e6578-128477

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 805

-SubTopic 30

-Section 30

-Paragraph 8

-URI http://asc.fasb.org/extlink&oid=6911251&loc=d3e6613-128477

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 805

-SubTopic 30

-Section 50

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=7488404&loc=d3e6927-128479

Name:	us-gaap_BusinessCombinationConsiderationTransferred1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration