List view

• Test Readiness & Usability

  This is is to make the semantics testable on real programs with user function calls, system calls, stack manipulations. To start with the goal includes Implement the semantics for Jump Call Ret Push/Pop System call It might need other constructs (tbd)

  No due date

  •14/16 issues closed
  87% complete2 open14 closed

• Generate semantics of Un-stratified instructions

  1. Either extend strata 2. Or use stoke rules 3. Or use McSema 4. Something Else!

  No due date

  •9/9 issues closed
  100% complete0 open9 closed

• Enable ocaml backend for x-86 semantics project

  1. Switch to the k5 repo. 2. Enable Occam backed for bit vectors operations

  No due date

  •1/2 issues closed
  50% complete1 open1 closed