✕
Skip to content
@cmu-sei

Software Engineering Institute

At the SEI, we research software engineering, cybersecurity, and AI engineering problems; create innovative technologies; and put solutions into practice.

Popular repositories Loading

  1. pharos pharos Public

    Automated static analysis tools for binary programs

    C++ 1.7k 213

  2. GHOSTS GHOSTS Public

    GHOSTS (General Human-Oriented Synthetic Teammates and Systems) is a realistic user simulation framework for cyber experimentation, simulation, training, and exercise

    C# 733 100

  3. SCALe SCALe Public

    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 p…

    C 291 61

  4. SCADASim SCADASim Public

    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.

    Python 158 25

  5. kaiju kaiju Public

    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 ups…

    Java 148 41

  6. gbtl gbtl Public

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

    C++ 138 26

Repositories

Showing 10 of 180 repositories
View all repositories