ResearchBenchmarksVirtualization-based deobfuscation on General Obfuscated Software ProgramsFollow2Complex Programs HandledSalwan0.961.231.51.77Mar 18, 2026Evaluation ResultsMethodMethodLinksComplex Programs HandledCFG CompletenessCode DecompilabilitySalwanKey Techniques=tracing...Key Techniques=tracing, taint, formula slicing, Output=CFG2026.032——KinderKey Techniques=abstrac...Key Techniques=abstract interpretation, VPC sensitivity, Output=calls+arguments2026.031——