Software Engineering Institute

Automated static analysis tools for binary programs

cmu-sei

GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org

cmu-sei

GHOSTS is a realistic user simulation framework for cyber simulation, training, and exercise

cmu-sei

A scalable search index for binary files

cmu-sei

CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- please file tickets, bug reports, or pull requests at the upstre...

cmu-sei

A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.

cmu-sei

This program generates cyber attack scenarios for use in cyber training exercises, red team planning, blue team planning, automated attack execution, and cybersecurity policy analysis.

cmu-sei

Crucible is a modular framework for creating, deploying, and managing virtual environments to support training, education, and exercises.

cmu-sei

A tool to extract structured cyber information from incident reports.

cmu-sei

EMF-based Fault-Tree Analysis Tool

cmu-sei