You are here: silicon.com > Resources > White Papers > Networking and Communications > Network Management > Diagnostics and Analysis

Diagnostics and Analysis White Papers

The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation - A Perfect Match

Overview Static analysis offers the ability to find bugs before software is run, improving code quality and dramatically accelerating the availability of new applications. But excessive false-positive results are the main reason why many source code analysis products quickly become shelfware after a few uses. Now, a groundbreaking new use of Boolean Satisfiability (SAT) in the field is poised to help static analysis deliver on its potential.

This white paper provides a brief overview of the history of static analysis and explains how the use of Boolean Satisfiability is enabling developers to improve the quality and security of their code by identifying a greater number of critical defects in their code with the lowest false-positive results.

Further White Paper Details
Publisher	Coverity	File Format	PDF
Date Published	February 2008	Downloads	2
Format	White Papers
Topics	Diagnostics and Analysis, Middleware, Software Engineering, Application Security Tools, Application Development

Did you find this white paper useful? 4 out of 11 users found this white paper useful

Improve Availability and Resiliency with Software Infrastructure Testing by IT Operations

Publisher:
StackSafe

Tags:
monitoring systems

TechNet Webcast: Windows HPC Server 2008: High Availability and Diagnostics for High-Performance Computing (Level 100)

Publisher:
Microsoft

Tags:
high availability

TechNet Webcast: Windows HPC Server 2008: Management and Diagnostics in High-Performance Computing (Level 200)

Publisher:
Microsoft Tips

QoS: What Is It? Why Do We Need It?

Publisher:
Global Knowledge

Tags:
voice - data integration

TechNet Webcast: 24 Hours of Windows Server 2008 (Part 10 of 24): IIS 7.0 Diagnostics and Troubleshooting (Level 300) Configuration (Level 300)

Publisher:
Microsoft Tips

Tags:
diagnostics and analysis

Criminal IT: Should you trust the internet?

You can't trust the internet to preserve confidentiality, you can't trust it to ensure integrity - other than the internal, checksum integrity of individual messages - and you have only the lowest level of assurances about availability, since the...

Open source bug hunters make short work of clean-up

XMMS, an audio player, had the lowest bug density, with 0.051 defects per 1,000 lines of code. Since then, programmers for the Samba, Amanda and XMMS projects eliminated all the defects that the initial analysis detected, Coverity said Monday.

Prepare for some 'digital tension'

Chaired by Malcolm Harbour, MEP, with SAP vice president Andreas Tegge as 'rapporteur', the Digital Economy Working Policy Group was tasked with identifying critical policy issues that require the further attention of the European parliament.

Privacy screw tightened at Microsoft, Yahoo!

Microsoft is today set to announce plans to permanently remove the IP address and other identifying data associated with web searches after 18 months unless the searcher wants the information stored for longer.

Channel:
WebWatch
Tags:
data,
search,
yahoo,
microsoft

Geography lessons for online retailers

For instance, online retailers and payment processors use geolocation to detect possible credit card fraud by comparing the user's location with the billing address on the account or the shipping address provided, or identifying known IP addresses...

UK spam mountain just got bigger

With any automatic filtering there is a danger of it identifying email that the customer actually wants to see. Dan Field, managing director of ClearMyMail, pointed to an increase in broadband availability in the UK as a primary cause for the...

Channel:
Storage
Tags:
banks,
internet,
spam

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Diagnostics and Analysis White Papers

The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation - A Perfect Match

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific