Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit caf5411

Browse files
dbeyerdbeyer
authored
Merge pull request #1209 from lembergerth/update-coverage-properties
Update coverage properties
2 parents c9dfe3a + db044b7 commit caf5411

File tree

14,472 files changed

+14950
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

14,472 files changed

+14950
-0
lines changed

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_01_bad.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: false
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_01_good.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: true
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_02_bad.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: false
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_02_good.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: true
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_03_bad.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: false
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_03_good.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: true
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_04_bad.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: false
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_04_good.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: true
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_05_bad.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: false
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

‎c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_05_good.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ input_files: 'CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buff
55
properties:
66
- property_file: ../properties/valid-memsafety.prp
77
expected_verdict: true
8+
- property_file: ../properties/coverage-branches.prp
89

910
options:
1011
language: C

0 commit comments

Comments
 (0)