SBIR-STTR Award

  1. You are here:    Home
  2. Search Databases
  3. Search SBIR-STTR Awards
  4. SBIR-STTR Award

FOESA: Framework for Open Exploratory Static Analysis
Award last edited on: 7/8/2010

Sponsored Program
SBIR
Awarding Agency
DOD : OSD
Total Award Amount
$100,000
Award Phase
1
Solicitation Topic Code
OSD07-I09
Principal Investigator
Jonathan S Shapiro

Company Information

Eros Group LLC

13404 184th Avenue NE
Woodinville, WA 98072
   (425) 947-3963
   shap@eros-os.com
   www.eros-os.com
Location: Single
Congr. District: 01
County: King

Phase I

Contract Number: ----------
Start Date: ----    Completed: ----
Phase I year
2008
Phase I Amount
$100,000
We extend an open source static analysis framework to incorporate a range of exploratory static analysis methods, including code slicing zero/non-zero testing, and value flow analysis. We extend the same infrastructure to support embedding of properties within the program and automated checking of those properties using model checking. Key novelties of this proposal is user-driven combination of techniques and an open source result.

Keywords:
Operating Systems, Hypervisors, High Assurance, Static Analysis, Open Source, Assurance Maintenance.

Phase II

Contract Number: ----------
Start Date: ----    Completed: ----
Phase II year
----
Phase II Amount
----