Sign in

Improving the accuracy of static analysis based on state partition.

Dalin ZhangHailong ZhangDahai JinYunzhan Gong
Published in: ISSRE (Supplemental Proceedings) (2013)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • state space
  • high accuracy
  • abstract interpretation
  • real world
  • high level
  • computational cost
  • regular expressions