IVSign: Interpretable Vulnerability Signature via Code Embedding and Static Analysis.

Ao Ding Gaolei Li Xiaoyu Yi Yuchen Liu

Published in: DSN-W (2023)

Keyphrases

static analysis
malicious code
source code
dynamic analysis
symbolic execution
regular expressions
java card
abstract interpretation
test generation
binary codes
open source
signature scheme
database
artificial intelligence
high level
test suite