Login / Signup

OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept.

Seongkyeong KwonSeunghoon WooGangmo SeongHeejo Lee
Published in: DSN (2021)
Keyphrases
  • source code
  • machine learning
  • computer vision
  • key concepts
  • real time
  • neural network
  • real world
  • high level
  • computer programs
  • code generation
  • fully functional