Factory > Showcase > S²E
Name:
S²E
Description:
Platform for writing tools that analyze the properties and behavior of software systems
Professor — Lab:
George Candea — Dependable Systems Lab
Contact:
Vitaly Chipounov
Home page:
S²E
Technical description:
S²E is a platform for writing tools that analyze the properties and behavior of software systems. S²E comes as a modular library that gives virtual machines symbolic execution and program analysis capabilities.
Papers:
Project status:
active — entered showcase: 2019-03-18 — entry updated: 2024-03-08
Source code:
Project GitHub - last commit: 2023-12-10
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Library
Programming language:
C, C++
License:
MIT