0% ont trouvé ce document utile
Chargement
Académique Documents
Professionnel Documents
Culture Documents
Document
Past-Sensitive Pointer Analysis For Symbolic Execution
Ajouté par 石远翔
Document
Modular Interprocedural Pointer Analysis Using Access Paths - Design, Implementation, and Evaluation
Ajouté par 石远翔
Document
Learning Graph-Based Heuristics For Pointer Analysis Without Handcrafting Application-Specific Features
Ajouté par 石远翔
Document
Partitioning Dataflow Analyses Using Types
Ajouté par 石远翔
Document
Type-Base Flow Analysis - From Polymorphic Subtyping To CFL-reachability
Ajouté par 石远翔