Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools
作者： Mohamed A. El-Zawawy
DOI: 10.1007/978-3-642-39640-3_38
关键词:
摘要: This paper presents a new technique for detection of probabilistic dangling references in multi-core programs. The has the form simply structured type system and provides suitable framework proof-carrying code applications like mobile that have limited resources. derivation each individual analysis serves as proof correctness analysis. is designed to analyze parallel programs with concurrent constructs: fork-join constructs, conditionally spawned cores, loops.
springer.com
sci-hub.st 参考文章(43)
Mohamed A. El-Zawawy, Abstraction analysis and certified flow and context sensitive points-to relation for distributed programs international conference on computational science and its applications. pp. 83- 99 ,(2012) , 10.1007/978-3-642-31128-4_7
Mohamed A. El-Zawawy, Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs Computational Science and Its Applications - ICCSA 2011. ,vol. 6786, pp. 355- 369 ,(2011) , 10.1007/978-3-642-21934-4_29
Mohamed A. El-Zawawy, Heap slicing using type systems international conference on computational science and its applications. ,vol. 7335, pp. 592- 606 ,(2012) , 10.1007/978-3-642-31137-6_45
Young-Cheol Kim, Yong-Kee Jun, Restructuring Parallel Programs for On-the-Fly Race Detection parallel computing technologies. pp. 446- 451 ,(1999) , 10.1007/3-540-48387-X_46
Mohamed A. El-Zawawy, Nagwan Moustafa Daoud, Dynamic Verification for File Safety of Multithreaded Programs arXiv: Logic in Computer Science. ,(2012)
Spiros Antonatos, Kostas G. Anagnostakis, TAO: protecting against hitlist worms using transparent address obfuscation international conference on communications. pp. 12- 21 ,(2006) , 10.1007/11909033_2
Hanne Riis Nielson, Flemming Nielson, Flow Logic: A Multi-paradigmatic Approach to Static Analysis Lecture Notes in Computer Science. pp. 223- 244 ,(2002) , 10.1007/3-540-36377-7_11
Jean-François Collard, Martin Griebl, A Precise Fixpoint Reaching Definition Analysis for Arrays languages and compilers for parallel computing. pp. 286- 302 ,(1999) , 10.1007/3-540-44905-1_18
Daniel C. DuVarney, Sandeep Bhatkar, R. Sekar, Efficient techniques for comprehensive protection from memory error exploits usenix security symposium. pp. 17- 17 ,(2005)
Gene Novark, Emery D. Berger, Benjamin G. Zorn, Exterminator Communications of the ACM. ,vol. 51, pp. 87- 95 ,(2008) , 10.1145/1409360.1409382