• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis.

Jorge A. NavasAshish Gehani
Published in: ACM Queue (2022)
Keyphrases
  • dynamic analysis
  • static analysis
  • reverse engineering
  • data analysis
  • artificial intelligence
  • image analysis
  • computer vision
  • high level
  • high quality
  • multi agent
  • search algorithm
  • source code
  • lightweight
  • model checking