Login / Signup

Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.

Balázs KissNikolai KosmatovDillon ParienteArmand Puccetti
Published in: Haifa Verification Conference (2015)
Keyphrases
  • automatic detection
  • false alarms
  • false positives
  • detection rate
  • real time
  • databases
  • detection algorithm
  • search engine
  • object recognition
  • breast cancer
  • event detection
  • detection scheme