Login / Signup

Searching for Taint Vulnerabilities with Svace Static Analysis Tool.

A. E. BorodinA. V. GoremykinSergey P. VartanovA. A. Belevantsev
Published in: Program. Comput. Softw. (2021)
Keyphrases
  • analysis tool
  • buffer overflow
  • security issues
  • information security
  • security policies
  • database
  • data sets
  • machine learning
  • learning algorithm
  • multiscale
  • expert systems
  • search strategies
  • countermeasures
  • control flow