var eva = {'asuka': 2, 'rei': 0};
如果我要检查eva‘’shinji‘,我将不得不检查是否未定义,因为在某些情况下,我不知道要检查的所有可能的关键字。我猜在这种情况下,未定义eva'shinji‘将是正确的,尽管在对象中的键的特定情况下,使用(eva中的’shinji‘)将是最好的?然而,我有一种感觉,在其他情况下,可能会检查未知的对象,我不能使用'in‘代替
对于返回指针的函数,我有一个关于使用Eva的问题,我使用Frama版本23.1 (钒)。当只有函数的原型(而不是主体)可用时,问题就出现了,并且假设函数应该返回指向数组开头的指针。main() {}alarm: assert Eva: mem_access: \valid_read(a + 2);
Status: **NOT** VALID according to Eva (under h
+--------+---------+----------+------------++--------+from eva where eva.eva_type = 1 and eva.id_comp = comp.id_comp) as eva_one
(select eva.eva_date fromeva</e