You are here: silicon.com > Resources > White Papers > Desktops, Laptops and OS > Desktop Client OS > Linux - Open Source

Linux - Open Source White Papers

Beyond Bug-Finding: Sound Program Analysis for Linux

Overview It is time to focus on sound analyses for the critical systems software - that is, it must focus on analyses that ensure the absence of defects of particular known types, rather than best-effort bug-finding tools. This paper presents three sample analyses for Linux that are aimed at eliminating bugs relating to type safety, deallocation, and blocking. These analyses rely on lightweight programmer annotations and run-time checks in order to make them practical and scalable. Sound analyses of this sort can check a wide variety of properties and will ultimately yield more reliable code than bug-finding alone.

Further White Paper Details
Publisher	University of California	File Format	PDF
Date Published	April 2007
Format	White Papers
Topics	Linux - Open Source, Linux Server OS

Did you find this white paper useful?

Intel Tools for Thread-Oriented Development on Linux

Publisher:
Intel

Web Hosting Company Easily Deploys New Server Solution on a Multiplatform Network

Publisher:
Microsoft

Tags:
customer support services

Business Integration Technology Case Study: Novus International

Publisher:
Business Integration Technology

Federal University of Sao Paulo Upgrades and Saves With Extreme Networks Gigabit Ethernet Solution

Publisher:
Extreme Networks

Tags:
ethernet

Live From Redmond: Visual WebGui: Silverlight for Line-of-Business Application

Publisher:
Microsoft Tips

Tags:
graphics applications

Check Point checks in to the Nasdaq-100

Check Point will join the top 100 on 18 December. The Nasdaq-100 represents the largest non-financial domestic and international issues on the American high-tech market. The Israeli company, founded in 1993, specialises in firewall and VPN (Virtual...

Channel:
Security Strategy

Strangling the virus; the big number change, and big banker gains.

The Lightweight version simply intercepts outgoing messages and asks the user to confirm the transmission. Finally, there is a highly secure version that cross-checks outbound emails at the firewall against submissions from trusted channels.

Channel:
Comment & Analysis

Linux kernel suffers Trojan horse hack

The open source security model is that everyone is using this stuff, so bugs get found and get fixed. When BitKeeper exports the source code to other servers, it checks the integrity of every file, matching a digital fingerprint of its official...

Critical Linux bugs get the boot

As a result, the overall bug density - the number of bugs per thousand lines of code - only decreased from 0.17 defects to 0.16 defects, according to Coverity's scan. In December, Coverity looked at version 2.6.9 of the Linux kernel, the heart of...

US government funds open source bug hunt

The list of open-source projects that Stanford and Coverity plan to check for security bugs includes Apache, BIND, Ethereal, KDE, Linux, Firefox, FreeBSD, OpenBSD, OpenSSL and MySQL, Coverity said. Through its Science and Technology Directorate...

First PC-to-mobile virus flagged

When executed, the virus checks what type of machine it is running on. The virus is a proof-of-concept bug and was not released in the wild, meaning that it doesn't pose an actual risk for PC and device users.

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:

Linux - Open Source White Papers

Beyond Bug-Finding: Sound Program Analysis for Linux

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