Author:
Tripp Omer,Pistoia Marco,Cousot Patrick,Cousot Radhia,Guarnieri Salvatore
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, Copenhagen, Denmark (May 1994)
2. Ashcraft, K., Engler, D.: Using Programmer-Written Compiler Extensions to Catch Security Holes. In: S&P (2002)
3. Bacon, D.F., Sweeney, P.F.: Fast static analysis of c++ virtual function calls. In: OOPSLA, pp. 324–341 (1996)
4. Chang, W., Streiff, B., Lin, C.: Efficient and Extensible Security Enforcement Using Dynamic Data Flow Analysis. In: CCS (2008)
5. Cheng, B., Hwu, W.W.: Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 57–69 (2000)
Cited by
85 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. PDIFT++: System-Wide Memory Tracking Using a Single-Process Memory Tracker;SN Computer Science;2024-01-20
2. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
3. ConfFix: Repairing Configuration Compatibility Issues in Android Apps;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Tabby: Automated Gadget Chain Detection for Java Deserialization Vulnerabilities;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2023-06
5. Model Generation For Java Frameworks;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04