line |
l |
!l&&r |
!l&&!r |
condition |
31
|
40 |
0 |
1 |
defined $I->[$n] or not defined $I->[$line_idx] |
388
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] or $$vma[&V_inode()] != $$x[&V_inode()] |
|
0 |
0 |
1 |
$$vma[&V_vma_start()] != $$x[&V_vma_start()] or $$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] or $$vma[&V_inode()] != $$x[&V_inode()] or $$vma[&V_mayshare()] != $$x[&V_mayshare()] |
412
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] or $$vma[&V_inode()] != $$x[&V_inode()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] or $$vma[&V_inode()] != $$x[&V_inode()] or $$vma[&V_mayshare()] != $$x[&V_mayshare()] |
|
0 |
0 |
2 |
$$vma[&V_vma_end()] != $$x[&V_vma_end()] or $vma->shared_clean != $x->shared_clean or $vma->shared_dirty != $x->shared_dirty or $vma->private_clean != $x->private_clean or $vma->private_dirty != $x->private_dirty or $$vma[&V_dev_major()] != $$x[&V_dev_major()] or $$vma[&V_dev_minor()] != $$x[&V_dev_minor()] or $$vma[&V_r()] != $$x[&V_r()] or $$vma[&V_w()] != $$x[&V_w()] or $$vma[&V_x()] != $$x[&V_x()] or $$vma[&V_file_off()] != $$x[&V_file_off()] or $$vma[&V_inode()] != $$x[&V_inode()] or $$vma[&V_mayshare()] != $$x[&V_mayshare()] or $$vma[&V_file_name()] ne $$x[&V_file_name()] |