vitalych
Funding Links: https://github.com/sponsors/vitalych
- Name: Vitaly Chipounov
- Kind: user
- Followers: 71
- Following: 0
- Total stars: 16
- Repositories count: 12
- Created at: 2024-07-20T22:18:36.089Z
- Updated at: 2025-04-24T15:51:13.324Z
- Last synced at: 2025-04-24T15:51:13.324Z
GitHub Sponsors Profile
I did my PhD at EPFL in Switzerland, at the Dependable Systems Laboratory, led by Prof. George Candea. There, I built S²E, a platform for multi-path in-vivo analysis of complex software systems. S²E empowers developers to build practical analysis tools such as security vulnerability scanners, comprehensive performance profilers, and tools for reverse engineering and debugging software, with or without source code. I received the best paper award at the ASPLOS 2011 conference for this work.
Then I went on to co-found, Cyberhaven, where I turned the S²E research prototype into commercial software. S²E was showcased at the DARPA CyberGrandChallenge finals as part of the CodeJitsu team, where it was one of the fastest at finding software vulnerabilities. S²E is now publicly available under the MIT license and has an active community of several hundred users, including companies and research institutions. It appears every year in various papers at top conferences.
I am now maintaining S2E on my free time and welcome donations. These help me reply to your questions on the mailing list, keep track of issues and fix them, review pull requests, write documentation, and implement new features.
https://s2e.systems/
https://github.com/s2e
- Current Sponsors: 2
- Past Sponsors: 0
- Total Sponsors: 2
- Minimum Sponsorship: $10.00
Featured Works
S2E/docs
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
Language: Python - Stars: 76S2E/s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Language: Python - Stars: 95S2E/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Language: C++ - Stars: 463S2E/qemu
QEMU VM with generic KVM extensions for symbolic execution
Language: C - Stars: 24Active Sponsors
Past Sponsors
Sponsor Breakdown
- User: 1