Crosys: Cross Architectural Dynamic Analysis.

Sangrok Lee Jieun Lee Jaeyong Ko Jaewoo Shim

Published in: SOAP@PLDI (2023)

Keyphrases

dynamic analysis
static analysis
reverse engineering
high level
malicious behavior
model checking
software architecture
architectural design
database
domain knowledge
object oriented
malicious code
software engineering
abstract interpretation