You are here

ISABEL - Integrated Secure Automated Bug Extraction List

Award Information
Agency: Department of Commerce
Branch: National Institute of Standards and Technology
Contract: 70NANB17H225
Agency Tracking Number: 036-04-11 (FY17)
Amount: $99,835.24
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: 2017-NIST-SBIR-01
Solicitation Year: 2017
Award Year: 2017
Award Start Date (Proposal Award Date): 2017-07-31
Award End Date (Contract End Date): 2018-01-30
Small Business Information
319 1st Ave N. Suite 400
Minneapolis, MN 55401
United States
DUNS: 103477993
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 David Musliner
 (612) 325-9314
Business Contact
 David Musliner
Phone: (612) 325-9314
Research Institution

The ISABEL program will create symbolic execution signatures to classify bugs in the NIST Bugs Framework. Using the symbolic execution signature ISABEL will find a program input to trigger the bug using fuzz testing. ISABEL will integrate its bug categorization and bug triggering capability with a software development environment using a flexible framework that will allow both open source and commercial software to use ISABEL features. One of the key ISABEL outputs summarizes the bug categories, when they were created and when they were eliminated against the organizations software development timeline. This will allow organizations to see which of their processes are most effective for catching various categories of bugs. ISABEL gives the software development organization actionable intelligence on how to improve their software development process. ISABEL will provide better insight into the science of software development for the entire industry.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government