SBIR/STTR Research Award
ISABEL - Integrated Secure Automated Bug Extraction List
Award amount
$99,835Program and phase
SBIR · Phase IAward year
2017Award details
- Awarding agency
- Department of Commerce
- Branch
- National Institute of Standards and Technology
- Recipient company
- SMART INFORMATION FLOW TECHNOLOGIES LLC
- Proposal award date
- 2017-07-31
- Contract end date
- 2018-01-30
- UEI
- HT19FEFNVXC5
- Solicitation number
- 2017-NIST-SBIR-01
- Topic code
- N/A
Research abstract
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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- BRAVADO: Binary Rapid Automatic Vulnerability Attack and Defense Operations
- PROTEUS (Promoting Transparent Emic Understanding)
- JACKS: Joint AI-Cyber/EMSO Knowledge System
- SWITCH: Software Initiating Transition of Capability Hardware
- HORATIO: Hybrid Online Recognition of Adversary Tactics in Information Ops
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Efficient Recovery of Dilute Helium Gas Using Molecular Sieve Membranes
- DESTRUCTION OF VAM USING A MODULAR CATALYTIC ELEMENT SYSTEM
- Swiss-Roll Ammonia Reformer For Gas Turbines
- Swiss-roll Ammonia Reformer for Gas Turbines
- Swiss-roll Flare Gas Incinerator
Research funding history
96 SBIR/STTR records share this UEI (2001–2026). Reported award amounts total $44,618,720. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Health and Human Services, Department of Commerce, Department of Homeland Security, Department of Energy