Login / Signup

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.

Michael SchwarzJulian ErhardVesal VojdaniSimmo SaanHelmut Seidl
Published in: SOAP@PLDI (2023)
Keyphrases
  • control flow
  • markov chain
  • data flow
  • anomaly detection
  • process model
  • software testing
  • misuse detection
  • dimensionality reduction
  • business process models
  • machine learning
  • workflow management systems