Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

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

Compare

  Analyzed about 23 hours ago

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 ... [More] 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. [Less]

868K lines of code

0 current contributors

almost 4 years since last commit

0 users on Open Hub

Inactive
5.0
 
I Use This