USA flag logo/image

An Official Website of the United States Government

PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

Award Information

Agency:
Department of Defense
Branch:
N/A
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
O2-1381
Solicitation Year:
2011
Solicitation Topic Code:
OSD11-CP1
Solicitation Number:
2011.3
Small Business Information
Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2013
Title: PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions
Agency: DOD
Contract: N00014-13-C-0306
Award Amount: $491,643.00
 

Abstract:

It is all too common for a project to create software that is hard to maintain, inefficient, bug-ridden, late, and over-budget. Software flaws resulting from this current state of affairs are no longer an inconvenience but are the primary source of software security vulnerabilities. Motivated by a desire to increase our ability to reduce software flaws, we propose a new kind of programmer assistant tool, PICT (Programmer Intent Capture Tool). PICT augments the programmer's toolbox by enabling programmers to describe code properties that can express a wide range of programmer intentions: from low level code assertions to high level design decisions. PICT analyzes and displays these properties continuously during software development. PICT will interactively capture code properties and allow for the managing, analysis, and display of these properties during software development. The tool is designed to provide feedback about global analyses of the program, display feedback continuously, use and work with external code analysis tools, be unobtrusive to the programmer, and distinguish inferred properties from intended properties.

Principal Investigator:

Mark Tullsen
Principal Investigator
(503) 626-6616
jodee@galois.com

Business Contact:

Jodee LeRoux
Contracts
(503) 808-7209
jodee@galois.com
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204

EIN/Tax ID: 931278540
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No