0% found this document useful
Loading
Professional Documents
Culture Documents
Document
Modular Interprocedural Pointer Analysis Using Access Paths - Design, Implementation, and Evaluation
Added by 石远翔
Document
Past-Sensitive Pointer Analysis For Symbolic Execution
Added by 石远翔
Document
Learning Graph-Based Heuristics For Pointer Analysis Without Handcrafting Application-Specific Features
Added by 石远翔
Document
Type-Base Flow Analysis - From Polymorphic Subtyping To CFL-reachability
Added by 石远翔