manticore icon indicating copy to clipboard operation
manticore copied to clipboard
verified publisher icon trailofbits

Symbolic Execution Course / Tutorial Material

Open MatthewARinehart opened this issue 5 years ago • 0 comments

Why

As Manticore engineering, we want to provide symbolic execution training material for users to self-train on the process.

Acceptance Criteria

  • We have three intermediate-level exercises in building secure contracts

Dev Notes

For further inspiration, see: Manticore workshops

MatthewARinehart avatar Jun 18 '20 22:06 MatthewARinehart