List view

• Robust Matching algorithm

  No due date

  •3/4 issues closed
  75% complete1 open3 closed

• Single intruction Validation

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• Equivalence checking of x86 and LLVM programs

  No due date

  •6/6 issues closed
  100% complete0 open6 closed

• Generate data flow graph for decmpiled LLVM program

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• Generate data flow graph for X86 assemble program

  No due date

  •5/5 issues closed
  100% complete0 open5 closed

• Statically sync point generation from binary and decompiled llvm

  No due date

  •4/4 issues closed
  100% complete0 open4 closed