S2E

S2E

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
525 Stars
96 Forks
10 Watchers

Repositories (1)

s2e S2E/s2e C++

S2E: A platform for multi-path program analysis with selective symbolic execution.

525