0% encontró este documento útil
Cargando
Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Documento
Modular Interprocedural Pointer Analysis Using Access Paths - Design, Implementation, and Evaluation
Agregado por 石远翔
Documento
Past-Sensitive Pointer Analysis For Symbolic Execution
Agregado por 石远翔
Documento
Learning Graph-Based Heuristics For Pointer Analysis Without Handcrafting Application-Specific Features
Agregado por 石远翔
Documento
Partitioning Dataflow Analyses Using Types
Agregado por 石远翔
Documento
Type-Base Flow Analysis - From Polymorphic Subtyping To CFL-reachability
Agregado por 石远翔