Software Assurance            Software Hardening            Autonomic Computing
Insider attacks and static analysis:How to spot the signs with three important new analyses

UnrealIRCd is an open-source Internet Relay Chat server that is very widely deployed worldwide. As it is such a popular server,...

We Added Cantata, a Dynamic Testing Tool  

This week we added a new dynamic testing tool to our product line.

Many of our customers, most especially those who are...

Treemaps and Custom Metrics to Show Attack Surface  

Our newest version of CodeSonar has a new program visualization feature: treemaps. CodeSonar has had call graph visualization...

Fun with Concurrency Problems 

At trade shows, we often have a "find the bug" poster at our booth to draw in attendees. The most recent poster shows an...