SBIR/STTR Research Award

FOESA: Framework for Open Exploratory Static Analysis

Award identifier 2447abce2e8426ac15356bf22845075088d2e814d947f10f6e6117cec2fc77d2Awarding agency Department of Defense · Navy

Award amount

$100,000

Program and phase

SBIR · Phase I

Award year

2008

Explore This Research Award in CaptureIQ

Research the technology, evaluate the recipient and agency, identify related opportunities, and explore potential follow-on work with CaptureIQ.

Open in CaptureIQRequest Access

Award details

Awarding agency
Department of Defense
Branch
Navy
Recipient company
EROS GROUP, LLC THE
Proposal award date
2008-06-01
Contract end date
2008-12-01
UEI
Not reported
Solicitation number
2007.2
Topic code
OSD07-I09

Research abstract

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.

Technology keywords

Not reported

Awards with the same topic code

Verified by an exact topic code match. This is not a text-similarity match.

Agency intelligence

Department of Defense

Back to SBIR/STTR Research Awards

Don't take our word for it. Ask AI about RFPCapture.

See what leading AI assistants have to say about RFPCapture and CaptureIQ.

SmartSoloChatGPTClaudePerplexityGrokGemini

Gemini opens without a prefilled question. The question is copied to your clipboard when the button works. You can also copy it here:

What is RFPCapture.com and its CaptureIQ platform from Smart Logic AI? How does it help federal contractors discover opportunities, evaluate bid/no-bid decisions, research government contracts, and prepare proposals? How does it compare with other federal capture platforms? Use independent sources where available.