S2E - A Platform for In-Vivo Multi-Path Software Analysis

I Use This!

Activity Not Available

Analyzed 3 months ago. based on code collected 4 months ago.

Project Summary

S2E is a platform for writing tools that analyze the properties and behavior of software systems. S2E is a virtual machine augmented with symbolic execution. Users install and run an unmodified x86 software stack in S2E, including programs, libraries, the OS kernel, and drivers. Symbolic execution then automatically explores hundreds of thousands paths through the system, allowing users to check desired properties even in corner-case situations. Unlike existing analysis tools, S2E does not require to write code in special languages or model the environment.

In a Nutshell, S2E - A Platform for In-Vivo Multi-Pa...

...
has had 22,955 commits made by 484 contributors
representing 868,081 lines of code
...
is mostly written in C
with a low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 242 years of effort (COCOMO model)
starting with its first commit in February, 2010
ending with its most recent commit almost 5 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

https://github.com/dslab-epfl/s2e

Similar Projects:

Managers:

Vitaly Chipounov

Licenses

BSD 3-clause "New" or "Revised" License

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
search using multiple tags to find exactly what you need