位置:成果数据库 > 会议 > 会议详情页
Refining the pointer analysis by exploiting constraints on the CFL-paths
  • 所属机构名称:中国科学院软件研究所
  • 会议名称:2013 20th Asia-Pacific Software Engineering Conference
  • 时间:2013.12.5
  • 成果类型:会议
  • 相关项目:逻辑驱动的跨操作系统安全机制评价方法研究
同会议论文项目
同项目会议论文