13 open source projects by cmu-sei

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.

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

A scalable search index for binary files

GHOSTS is a user simulation framework for highly-complex, realistic NPC orchestration

Automated static analysis tools for binary programs

Scripts to generate an Internet simulation

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.

Virtual Lab builder and player

Wireless adapter emulation

sa-bAbI is a software assurance dataset generator similar to the natural language dataset generator

A tool to extract structured cyber information from incident reports.

Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.

EMF-based Fault-Tree Analysis Tool