Analyzing control flow integrity with LLVM-CFI.

Paul Muntean Matthias Neumayer Zhiqiang Lin Gang Tan Jens Grossklags Claudia Eckert

Published in: ACSAC (2019)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
reactive systems
transition systems
artificial intelligence
test cases
database
information systems
high level
formal semantics
business process models