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

  1. pharos pharos Public

    Automated static analysis tools for binary programs

    C++ 1.5k 184

  2. GHOSTS GHOSTS Public

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

    C# 421 62

  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 281 59

  4. gbtl gbtl Public

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

    C++ 127 21

  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 121 30

  6. BigGrep BigGrep Public

    A scalable search index for binary files

    C++ 111 13

Repositories

Showing 10 of 129 repositories
  • Polar Public

    Polar is a secure and scalable knowledge graph framework, designed to address the challenges posed by building big data systems in highly regulated environments, and improve observability for DevSecOps Organizations.

    Rust 5 1 5 0 Updated May 31, 2024
  • redemption Public

    Redemption is a tool that automatically repairs C/C++ code given a set of static-analysis alerts

    Python 1 1 0 1 Updated May 31, 2024
  • gameboard-ui Public
    TypeScript 0 3 0 0 Updated May 31, 2024
  • Gameboard Public
    C# 2 2 105 0 Updated May 31, 2024
  • foundry-docs Public
    Dockerfile 0 0 0 0 Updated May 31, 2024
  • crucible Public

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

    HTML 27 15 1 3 Updated May 30, 2024
  • Player.Api Public

    Player is the centralized interface where users, teams, and administrators go to configure and participate in the cyber exercise.

    C# 1 1 0 0 Updated May 30, 2024
  • helm-charts Public
    Smarty 2 6 0 1 Updated May 30, 2024
  • GHOSTS Public

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

    C# 421 62 8 0 Updated May 30, 2024
  • CITE.Api Public
    C# 0 0 0 0 Updated May 29, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…