0% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
Past-Sensitive Pointer Analysis For Symbolic Execution
Adicionado por 石远翔
Documento
Modular Interprocedural Pointer Analysis Using Access Paths - Design, Implementation, and Evaluation
Adicionado por 石远翔
Documento
Learning Graph-Based Heuristics For Pointer Analysis Without Handcrafting Application-Specific Features
Adicionado por 石远翔
Documento
Partitioning Dataflow Analyses Using Types
Adicionado por 石远翔
Documento
Type-Base Flow Analysis - From Polymorphic Subtyping To CFL-reachability
Adicionado por 石远翔