示例#1
0
文件: taint2.cpp 项目: chyyuu/panda
// if phys addr pa is untainted, return 0.
// else returns label set cardinality
uint32_t __taint2_query_ram(uint64_t pa) {
    LabelSetP ls = tp_query_ram(shadow, pa);
    return ls_card(ls);
}
示例#2
0
文件: taint.cpp 项目: Debug-Orz/panda
// if phys addr pa is untainted, return 0.
// else returns label set cardinality 
uint32_t __taint_query_ram(uint64_t pa) {
  return (tp_query_ram(shadow, pa));
}