search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.66k stars 470 forks source link

Merge ManticoreUI Server #2591

Closed ekilmer closed 1 year ago

ekilmer commented 1 year ago

Extracted from https://github.com/trailofbits/ManticoreUI

See the PR https://github.com/trailofbits/ManticoreUI/pull/111 for the relevant changes that will be merged after this makes it into Manticore.