【摘 要】
:
This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for
【机 构】
:
Department of Information Science and Electronic Engineering, Zhejiang University,School of Aeronaut
【出 处】
:
Chinese Journal of Aeronautics