Analyzing Control Flow Integrity with LLVM-CFI.

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

Published in: CoRR (2019)

Keyphrases

control flow
data flow
software testing
process model
transition systems
workflow management systems
reactive systems
databases
sliding window
artificial intelligence
open source
test cases
business process models