...
机译:C和C ++的价值基于流量的需求驱动指针分析
Univ Technol Sydney UTS Ctr Artificial Intelligence CAI Ultimo NSW 2007 Australia;
Univ New South Wales UNSW Sydney NSW 2052 Australia;
C plus plus languages; Resource management; Open source software; Sensitivity; Reachability analysis; Instruction sets; Registers; Strong updates; value flow; pointer analysis; flow sensitivity;
机译:Boomerang:Java的需求驱动的流和上下文敏感指针分析
机译:基于流和上下文敏感指针分析的需求驱动的内存泄漏检测
机译:需求驱动的指针分析
机译:一种需求驱动的指针范围分析技术,用于数据传输优化
机译:指针分析:为有效的程序分析奠定基础。
机译:需求驱动的深部大脑刺激的静息震颤的非线性动力学分析
机译:Boomerang:针对Java的需求驱动流和上下文敏感指针分析