Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
@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 211

  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# 700 92

  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 62

  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 154 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 143 39

  6. gbtl gbtl Public

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

    C++ 139 25

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 176 repositories

Top languages

Loading…

Most used topics

Loading…

Morty Proxy This is a proxified and sanitized view of the page, visit original site.