The Digitial Microscope (DM)

To address the critical issue of software defects and vulnerabilities in code, be it C, C++, Java or Visual Basic, Sentar proposes the Digital Microscope (DM). The DM simulates a native running environment in which a binary code can be encapsulated, analyzed, and tested for malefactor influence, as well as poor coding practices. The design of the DM will allow, for example, the testing of code through injection of timing mismatches, embedded codes, and buffer overflow attempts into the binary, all in a quarantined environment. It will also promote plug-and-play extensibility through the use of a multi-agent infrastructure for future enhancements such as security wrapper insertion, proof generation, and attack modeling and simulation. The resulting technology will substantially contribute to software vulnerability discovery and remediation by providing a comprehensive tool for validation of code safety prior to deployment.