Sign in

ViolationTracker: Building Precise Histories for Static Analysis Violations.

Ping YuYijian WuXin PengJiahan PengJian ZhangPeicheng XieWenyun Zhao
Published in: ICSE (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • regular expressions
  • test generation
  • java card
  • malicious code
  • abstract interpretation
  • databases
  • database
  • data sets
  • real world
  • data mining