Skip to content

Latest commit

 

History

History
139 lines (119 loc) · 6.62 KB

index.md

File metadata and controls

139 lines (119 loc) · 6.62 KB
layout title brief anchors
index
GrammaTech Research
GrammaTech Research
text slug
Cyber Security Solutions
cyber-security-solutions
text slug
Research Areas
research-areas
text slug
Open Source Software
open-source-software
text url
Publications
/pubs

Cyber Security Solutions

{% assign row = 0 %} {% for ap in collections.ap %} {% if row == 0 %}

{% endif %}

[{{ ap.data.title }}]({{ ap.url |url }}) : {{ ap.data.brief }}

{% if row > 0 %}
{% assign row = 0 %} {% else %} {% assign row = 1 %} {% endif %} {% endfor %}

Research Areas

Projects by use case, development stage, and research area.
Develop Test/Integrate Deploy/Execute Reuse
Automate [Merge Resolver][], [Mnemosyne][], [Software Search Replace][] [Bindle][], [Bug-Injector][], [Mnemosyne][], [Proteus][], [REAFFIRM][], [Swap Detector][]
Optimize [Binary-Reduce][] [Binary-Reduce][]
Repair [GenPatcher][] [Proteus][], [REAFFIRM][] [AMBER][], [ARTCAT][], [SySense][] [Proteus][], [REAFFIRM][], [GTIRB-VSCode][]
Diversify [Variegate][]
Harden [Mnemosyne][], [CRAM][] [Binary-Reduce][], [Proteus][], [REAFFIRM][], [Stack-Stamp][], [To-Static][] [AMBER][], [ARTCAT][], [ConfINE][], [SySense][] [Binary-Reduce][], [Proteus][], [REAFFIRM][], [Stack-Stamp][], [To-Static][]
Assure [A-CERT][] [A-CERT][]
Assess [Spec-Map][] [A-CERT][], [Discover][], [Mnemosyne][], [Proteus][], [REAFFIRM][] [AMBER][], [ARTCAT][], [ConfINE][], [SySense][] [A-CERT][], [Bin2Math][], [DDisasm][], [Discover][], [FVA][], [Proteus][], [REAFFIRM][], [TBDC][], [TFPGA][], [GTIRB-VSCode][]

{% assign row = 0 %} {% for ra in collections.ra %} {% if row == 0 %}

{% endif %}

[{{ ra.data.title }}]({{ ra.url |url }}) : {{ ra.data.brief }}

{% if row > 0 %}
{% assign row = 0 %} {% else %} {% assign row = 1 %} {% endif %} {% endfor %}

Open Source Software

We are a commercial company and we develop and sell proprietary software products. However, we release the core technology underlying these products — the libraries on which these products' power and correctness depend. GrammaTech recognizes that only by encouraging outside use and review of our software can we achieve the reproducibility, objectivity, accuracy, quality, and security our customers require.

{% for oss in collections.oss %}

[{{ oss.data.title }}]({{ oss.url |url }}) : {{ oss.data.brief }}

{% endfor %}

We not only publish but participate in the open-source community, through multiple contributions to significant open-source projects, and accepting significant contributions to projects we maintain in return. Find more of our open-source repositories on GitHub/GrammaTech and GitLab/GrammaTech.

[REAFFIRM]: {{ "/prj/reaffirm"|url }} [AMBER]: {{ "/prj/amber"|url }} [ARTCAT]: {{ "/prj/artcat"|url }} [A-CERT]: {{ "/prj/acert"|url }} [Bindle]: {{ "/prj/bindle"|url }} [Bin2Math]: {{ "/prj/bin2math"|url }} [Proteus]: {{ "/prj/proteus"|url }} [ConfINE]: {{ "/prj/confine"|url }} [SySense]: {{ "/prj/sysense"|url }} [Discover]: {{ "/prj/discover"|url }} [TBDC]: {{ "/prj/tbdc"|url }} [Swap Detector]: {{ "/prj/swap-detector"|url }} [GenPatcher]: {{ "/prj/genpatcher"|url }} [Mnemosyne]: {{ "/prj/mnemosyne"|url }} [CRAM]: {{ "/prj/cram"|url }} [Spec-Map]: {{ "/prj/spec-map"|url }} [Variegate]: {{ "/prj/variegate"|url }} [Bug-Injector]: {{ "/prj/bug-injector"|url }} [Merge Resolver]: {{ "/prj/merge-resolver"|url }} [Software Search Replace]: {{ "/prj/ssr"|url }} [DDisasm]: {{ "/prj/ddisasm"|url }} [To-Static]: {{ "/prj/to-static"|url }} [Stack-Stamp]: {{ "/prj/stack-stamp"|url }} [Binary-Reduce]: {{ "/prj/binary-reduce"|url }} [FVA]: {{ "/prj/fva"|url }} [TFPGA]: {{ "/prj/tfpga"|url }} [GTIRB-VSCode]: {{ "/prj/gtirb-vscode"|url }}