Software Engineering Institute

The Carnegie Mellon SEI and its CERT Division advance acquisition, development, sustainment, and security of complex software systems.

  • 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.

    Updated Dec 13, 2018
  • 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.

    Updated Dec 10, 2018
  • Generating/managing SAT instances and providing backends to solve them on various QPU architectures.

    Updated Dec 3, 2018
  • GHOSTS is a framework for highly-complex, realistic NPC orchestration

    CSS Updated Nov 30, 2018
  • The Virtualization Abstraction Layer is a proof-of-concept library to allow projects that rely on hypervisors to easily switch between virtualization technologies.

    C# Updated Nov 30, 2018
  • Automated static analysis tools for binary programs

    C++ 497 71 Updated Nov 26, 2018
  • 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.

    C 169 27 Updated Nov 19, 2018
  • Wireless adapter emulation

    C Updated Nov 15, 2018
  • sa-bAbI is a software assurance dataset generator similar to the natural language dataset generator

    Python 11 8 Updated Nov 13, 2018
  • 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.

    R 2 Updated Nov 2, 2018
  • vtunnel is a tool that proxies IP traffic between guest and host networks.

    C Updated Oct 22, 2018
  • GraphBLAS Template Library (GBTL): graph algorithms and primitives using semiring algebra as defined at graphblas.org

    C++ 31 5 Updated Oct 4, 2018
  • A tool to extract structured cyber information from incident reports.

    Python 34 6 Updated Aug 30, 2018
  • 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.

    Java 7 1 Updated Jul 27, 2018
  • SEI GitHub landing page.

    CSS 3 1 Updated May 23, 2018
  • A scalable search index for binary files

    C++ 47 1 Updated Mar 15, 2018
  • emfta

    Forked from juli1/emfta

    EMF-based Fault-Tree Analysis Tool

    Java 19 11 Updated Jan 30, 2018
  • An agent that performs user actions on a workstation

    Python 4 1 Updated Jan 22, 2018
  • Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.

    C++ 8 2 Updated Jan 3, 2018
  • A tool to host an Internet simulation

    Shell 3 1 Updated Nov 22, 2017
  • Scripts to generate an Internet simulation

    Shell 2 Updated Nov 22, 2017
  • Virtual Lab builder and player

    Updated Nov 2, 2017
  • ROS modules developed at the SEI to contribute back to the ROS community.

    Python 2 Updated Oct 19, 2017
  • HTML 3 1 Updated Sep 11, 2017
  • REST is a simple J2EE based application that is designed to exposed RDBMS database via webservices. REST software is designed to simplify integration of several RDBMS datasources to a JSON/XML for frameworks like jQuery etc.

    JavaScript 1 Updated May 23, 2017
  • Python tool for bulk PDF feature extraction. This tool is a prototype.

    Python 16 4 Updated Jan 9, 2017
  • Graphical analysis of PDF structure.

    Python 7 1 Updated Jan 9, 2017
  • This repository hosts Eclipse-related files for the Enabling Evidence-Based Modernization project.

    Java Updated Sep 30, 2016
  • Malware driven Overlooked REquirements contains the components SERF SEcurity Requirements Finder and Report Writing application.

    HTML 3 Updated Jun 14, 2016
  • An application to search BGP Update files for CIDR blocks or Autonomous Systems.

    C++ 4 2 Updated Dec 9, 2015