• BinSim

  • Referenced in 1 article [sw31767]
  • BinSim: trace-based semantic binary diffing via system call sliced segment equivalence checking. Detecting differences ... software plagiarism detection and malware lineage inference. Especially when analyzing malware variants, pervasive code obfuscation ... equivalence checking, a hybrid method to identify fine-grained semantic similarities or differences between ... approach improves existing semantics-based binary diffing by 1) inferring whether two executable binaries’ behaviors...
  • XSB

  • Referenced in 137 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...