Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection-Reference-Cited by-同舟云学术

Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection

Published:2005 Issue: Volume: Page:362-386
ISSN:0302-9743
Container-title:ECOOP 2005 - Object-Oriented Programming
language:
Short-container-title:

Author:

Pistoia Marco,Flynn Robert J.,Koved Larry,Sreedhar Vugranam C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11531142_16.pdf

Reference41 articles.

1. Lecture Notes in Computer Science;O. Agesen,1995

2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)

3. Ashcraft, K., Engler, D.: Using Programmer-Written Compiler Extensions to Catch Security Holes. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, Oakland, CA, USA, may 2002, pp. 143–159. IEEE Computer Society Press, Los Alamitos (2002)

4. Banerjee, A., Naumann, D.A.: A Simple Semantics and Static Analysis for Java Security. Technical Report CS2001-1, Stevens Institute of Technology, Hoboken, NJ, USA (July 2001)

5. Electronic Notes in Theoretical Computer Science;M. Bartoletti,2001

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Systematic Design of Responsibility Analysis by Abstract Interpretation;ACM Transactions on Programming Languages and Systems;2022-03-31

2. Automated policy synthesis for system call sandboxing;Proceedings of the ACM on Programming Languages;2020-11-13

3. Responsibility Analysis by Abstract Interpretation;Static Analysis;2019

4. Efficient Information-Flow Verification Under Speculative Execution;Automated Technology for Verification and Analysis;2019

5. Combining Static Code Analysis and Machine Learning for Automatic Detection of Security Vulnerabilities in Mobile Apps;Application Development and Design;2018