Open Hub
Open Hub

Tags : Browse Projects

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

  • klee (1)

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

    Compare

      Analyzed about 1 month 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 5 years since last commit

    0 users on Open Hub

    Activity Not Available
    5.0
     
    0 Reviews
    I Use This
    Mostly written in C
    Licenses: BSD-3-Clause
    Tags analysis binaries devicedrivers klee llvm lua qemu stp symbolicexecution testing testingframework