We presented a 2 hour workshop on our symbolic analysis toolkit, Manticore at GreHack '17. The event served as a basic introduction to Manticore and an opportunity for attendees to work on sample problems.
Presented at
Authored by
- Yan Ivnitskiy
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
We presented a 2 hour workshop on our symbolic analysis toolkit, Manticore at GreHack '17. The event served as a basic introduction to Manticore and an opportunity for attendees to work on sample problems.
Presented at
Authored by