Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs

摘要: The competency of pointer analysis is crucial for many compiler optimizations, transformations, and checks like memory safety. potential interaction between threads in multithreaded programs complicates their memory-safety check. trade-off accuracy scalability remains a main issue when studying these analyses. In this work, we present novel approaches the safety as simply structured type systems. In order to balance scalability, system proposed flow-sensitive it invokes another flow-insensitive parallel constructs. Therefore described flow sensitive-insensitive. third presented paper takes care an extension analysis. Programs having types system, are guaranteed be safe. Type derivations serve proofs correctness result every Such required area proof-carrying code.