Milestones

List view

• RISC-U Symbolic Executor

  Proof of Concept: Goal is to symbolically execute RISC-U binaries in ELF format compiled by Selfie. The exit point in the code will be given by the user. It is sufficient to execute (interpret) one candidate path at a time.

  No due date

  •42/43 issues closed
  97% complete1 open42 closed