Login / Signup

Filtering false alarms of buffer overflow analysis using SMT solvers.

Youil KimJooyong LeeHwansoo HanKwang-Moo Choe
Published in: Inf. Softw. Technol. (2010)
Keyphrases
  • false alarms
  • detection rate
  • face detection
  • monte carlo
  • high rate