static-analysis-engineering / CodeHawk-Binary

CodeHawk Binary Analyzer for malware analysis and general reverse engineering
MIT License
24 stars 10 forks source link

ASTgen : arm32 : printf args #50

Open brk opened 2 years ago

brk commented 2 years ago

From arm32-newstring1.zip

void target(int argc, int A, int B, int C) {
  printf("%d %d\n", argc, A);
  printf("%d %d\n", B, C);
}

CodeHawk generates the AST

void target(int argc, int A, int B, int C){
   rtn_0x105e4 = printf(gv_0x10604);  // 83
   rtn_0x105f4 = printf(gv_0x10604);  // 115
}

with missing args.