From 2e51c43ae46f0309fc1d3dd4fdf92dd0e509c958 Mon Sep 17 00:00:00 2001 From: Marek Chalupa Date: Sun, 20 Dec 2020 11:34:35 +0100 Subject: [PATCH] memsafety openbsd: add violated subproperty Part of a fix of #1285. --- c/openbsd-6.2/if_etherip-double-free.yml | 1 + c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml | 1 + c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml | 1 + 3 files changed, 3 insertions(+) diff --git a/c/openbsd-6.2/if_etherip-double-free.yml b/c/openbsd-6.2/if_etherip-double-free.yml index 6fd0a40cdb5..b3599cd41a1 100644 --- a/c/openbsd-6.2/if_etherip-double-free.yml +++ b/c/openbsd-6.2/if_etherip-double-free.yml @@ -5,6 +5,7 @@ input_files: 'if_etherip-double-free.i' properties: - property_file: ../properties/valid-memsafety.prp expected_verdict: false + subproperty: valid-free - property_file: ../properties/coverage-branches.prp options: diff --git a/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml b/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml index b172b32d455..3c8ed0906f6 100644 --- a/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml +++ b/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref1.yml @@ -5,6 +5,7 @@ input_files: 'if_etherip-fixed-double-free-invalid-deref1.i' properties: - property_file: ../properties/valid-memsafety.prp expected_verdict: false + subproperty: valid-deref options: language: C diff --git a/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml b/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml index b68887b0fdf..fdf2ec01bd1 100644 --- a/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml +++ b/c/openbsd-6.2/if_etherip-fixed-double-free-invalid-deref2.yml @@ -5,6 +5,7 @@ input_files: 'if_etherip-fixed-double-free-invalid-deref2.i' properties: - property_file: ../properties/valid-memsafety.prp expected_verdict: false + subproperty: valid-deref options: language: C