Giters

Pipeliner / s2e-apps

Utils and test apps for Selective Symbolic Execution.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

s2esymbolic-execution

This repository is not active

About

Utils and test apps for Selective Symbolic Execution.

s2esymbolic-execution

Languages

Language:C 66.3%Language:C++ 27.6%Language:Shell 3.0%Language:Lua 2.6%Language:Assembly 0.6%