Software Engineering Institute
At the SEI, we research software engineering, cybersecurity, and AI engineering problems; create innovative technologies; and put solutions into practice.
Pittsburgh, PA
Pinned Repositories
BigGrep
A scalable search index for binary files
cyobstract
A tool to extract structured cyber information from incident reports.
emfta
EMF-based Fault-Tree Analysis Tool
gbtl
GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org
GHOSTS
GHOSTS is a realistic user simulation framework for cyber simulation, training, and exercise
greybox
A tool to host an Internet simulation
kaiju
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 upstream home in @CERTCC: https://github.com/certcc/kaiju
pharos
Automated static analysis tools for binary programs
SCADASim
The SCADA Simulator is a configurable system that presents itself as a SCADA system within an exercise environment. It has a web-accessible user interface and generates modbus traffic on the network.
SCALe
SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also provides mappings for diagnostics from the tools to the SEI CERT Secure Coding standards.
Software Engineering Institute's Repositories
cmu-sei/SCALe
SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also provides mappings for diagnostics from the tools to the SEI CERT Secure Coding standards.
cmu-sei/SCADASim
The SCADA Simulator is a configurable system that presents itself as a SCADA system within an exercise environment. It has a web-accessible user interface and generates modbus traffic on the network.
cmu-sei/cyobstract
A tool to extract structured cyber information from incident reports.
cmu-sei/pharos-demangle
Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.
cmu-sei/sa-bAbI
sa-bAbI is a software assurance dataset generator similar to the natural language dataset generator
cmu-sei/CDAS
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/finsim
FinSim is a financial simulation tool for exercise environments. It provides students the opportunity to investigate a model financial system and its associated security concerns.
cmu-sei/AASPE
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/TopoMojo-v1
Virtual Lab builder and player
cmu-sei/SilkWeb
cmu-sei/augur-code
Augur is a toolset that helps simulate and detect drift in different types of datasets, to define the best metrics that can be used to predict drift before it happens.
cmu-sei/topomojo-ui-v1
cmu-sei/Crucible.Appliance
cmu-sei/Cyber-Ticket-Studio
CTS is a tool that enables users to explore, search, sort, mine, and visualize large numbers of cyber incident tickets (and some other kinds of tickets) at the same time.
cmu-sei/Stormbox
Stormbox is an "internet user simulator" that is designed to simulate the transient, temporary, and anonymous nature of typical internet users during a cyber wargame.
cmu-sei/virtualization-abstraction-layer
The Virtualization Abstraction Layer is a proof-of-concept library to allow projects that rely on hypervisors to easily switch between virtualization technologies.
cmu-sei/gameboard-ui-v2
Gameboard is a flexible web platform that provides game design capabilities and a competition-ready user interface.
cmu-sei/gameboard-v2
Gameboard is a flexible web platform that provides game design capabilities and a competition-ready user interface.
cmu-sei/Welder
Welder is a simple application that can be added to a view. Welder allows users to dynamically load a VM workstation.
cmu-sei/Foundry.Analytics
cmu-sei/Foundry.Buckets
cmu-sei/Foundry.Groups
cmu-sei/Foundry.Orders
cmu-sei/Foundry.Portal
cmu-sei/JAvatar
cmu-sei/moodle-mod_foundrysync
mod_foundrysync is an admin plugin that maintains Foundry playlists and content items for Moodle courses and modules.
cmu-sei/sat2qpu
Generating/managing SAT instances and providing backends to solve them on various QPU architectures.
cmu-sei/smoothness-and-recognizability
cmu-sei/terraform-provider-identity
Terraform Identity Provider creates and manages user accounts on the Identity server.
cmu-sei/topomojo-mks