static-analysis 2

• Learning to Explore Paths for Symbolic Execution Mar 23, 2022
• Refining Indirect Call Targets at the Binary Level Apr 14, 2021