TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.

Wooseok Kang Byoungho Son Kihong Heo

Published in: CCS (2022)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
abstract interpretation
malicious code
test generation
regular expressions
java card
network traffic
test suite
anomaly detection
security vulnerabilities
information security
intrusion detection
anti virus
high level
databases