Safe Process State Upgrades Through Static Analysis.

Daniel Ferenczi Melinda Tóth

Published in: SACI (2024)

Keyphrases

static analysis
dynamic analysis
state space
open source
training data
data management
symbolic execution