sdasgup3/binary-decompilation

Issues

• Implement the memory semantics in K

  #57 opened 6 years ago by sdasgup3
  1

• Merge to mainline K

  #79 opened 6 years ago by sdasgup3
  1

• Fix the ambiguity on fgetc

  #80 opened 6 years ago by sdasgup3
  1

• Support instructions from System/Jump Category

  #76 opened 6 years ago by sdasgup3
  1

• Add Base Instructions Part II: Floating point variants

  #35 opened 6 years ago by sdasgup3
  1

• Validate the generalization to K rule

  #72 opened 6 years ago by sdasgup3
  0

• Implement the data (initialized/uninitialized) sections

  #60 opened 6 years ago by sdasgup3
  0

• Drafting

  #73 opened 6 years ago by sdasgup3
  0

• Test the ported K rules

  #77 opened 6 years ago by sdasgup3
  0

• Extending Strata

  #54 opened 6 years ago by sdasgup3
  1

• Some register variants are not properly converted to Imms

  #51 opened 6 years ago by sdasgup3
  2

• Port z3 instruction semantics for memory instructions to K rules

  #58 opened 6 years ago by sdasgup3
  0

• Port z3 instruction semantics for immediate instructions to K rules

  #75 opened 6 years ago by sdasgup3
  0

• Include semantics of af flag in instruction semantics

  #69 opened 6 years ago by sdasgup3
  0

• Test conditional undef

  #74 opened 6 years ago by sdasgup3
  0

• Port z3 instruction semantics for un-stratified register only instructions to K rules & revisit already ported K rules for stratified register instructions

  #70 opened 6 years ago by sdasgup3
  2

• Refactoring

  #71 opened 6 years ago by sdasgup3
  0

• Test control flow semantics using calls using function pointers

  #68 opened 6 years ago by sdasgup3
  0

• Implement Control Flow Semantics

  #64 opened 6 years ago by sdasgup3
  2

• Implement Call/Jump Instructions

  #65 opened 6 years ago by sdasgup3
  0

• Make entry point address interpreted from special symbols like "main" or "_start"

  #67 opened 6 years ago by sdasgup3
  0

• Implement Push/Pop instructions

  #63 opened 6 years ago by sdasgup3
  1

• K Import refactor

  #66 opened 6 years ago by sdasgup3
  1

• LoadFromMemory not being a K functions might result in K HOLEs

  #62 opened 6 years ago by sdasgup3
  1

• Streamline memory offset calculations

  #61 opened 6 years ago by sdasgup3
  1

• Implementing Semantics for program initialization

  #59 opened 6 years ago by sdasgup3
  4

• Add support for MInt (machine integers) in k5

  #50 opened 7 years ago by sdasgup3
  0

• Switch to k5: The latest version of K

  #56 opened 6 years ago by sdasgup3
  1

• Get an estimate of what's unstratified.

  #55 opened 7 years ago by sdasgup3
  1

• Figure out status of supported/unsupported instructions in McSema Vs Strata

  #53 opened 7 years ago by sdasgup3
  1

• Optimize the generated rules for register only instr variant

  #45 opened 7 years ago by sdasgup3
  3

• Formally proof the equivalence for K rule Vs Strata BVF.

  #49 opened 7 years ago by sdasgup3
  4

• Orientation of `sub` in `fmulsub` instr family.

  #47 opened 7 years ago by sdasgup3
  0

• Orientaion of subpd, if subpd(A,B) means A-B or B-A. Intel manual is confusing; Use testing

  #46 opened 7 years ago by sdasgup3
  0

• Implement base Instruction Part I: 4 instruction variants of Add

  #33 opened 7 years ago by sdasgup3
  1

• Implement base Instruction Part I: Add support for all integer variants of base instrcutions

  #34 opened 7 years ago by sdasgup3
  2

• Add Machine Float support to K framework

  #36 opened 7 years ago by sdasgup3
  1

• Enhance testing Infrastructure (Reduce testing time + better testing)

  #37 opened 7 years ago by sdasgup3
  1

• Revisit rumtime issues with kompile/krun

  #38 opened 7 years ago by sdasgup3
  1

• Testing base instructions

  #39 opened 7 years ago by sdasgup3
  1

• Pseudo Instructions support

  #40 opened 7 years ago by sdasgup3
  1

• Need to remove scratch pad registers (or avoid generating them) introduced by strata

  #41 opened 7 years ago by sdasgup3
  1

• Krove Error: Failed to concatenate maps with common keys

  #42 opened 7 years ago by sdasgup3
  2

• Kprove/Kompile/Krun extremely slow

  #43 opened 7 years ago by sdasgup3
  2

• Avoiding sratchpad registers used by Strata

  #44 opened 7 years ago by sdasgup3
  2

• Problem with allexe creation on decompiled IR

  #29 opened 7 years ago by sdasgup3
  11

• Augment the IDA type using the dwarf debug information

  #32 opened 7 years ago by sdasgup3
  1

• create IDAPy script to extract debug info from IDA DB

  #30 opened 7 years ago by sdasgup3
  2

• Write a LLVM tool to extract dwarf information

  #31 opened 7 years ago by sdasgup3
  2

• new reg assign: Stack height should based on both %XSP and %XBP

  #28 opened 8 years ago by sdasgup3
  0