Uploads by 石远翔

Past-sensitive pointer analysis for symbolic execution

Modular interprocedural pointer analysis using access paths- design, implementation, and evaluation

Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features

Partitioning Dataflow Analyses Using Types

Type-base Flow Analysis_from Polymorphic Subtyping to CFL-reachability