symbolic execution, angr, KLEE, path constraints, SMT solver
No more posts from amy.throwaway.lovely's subscribed feeds.
Press ? anytime to show this help