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

Commit 175fff0

Browse files
committed
Add more files to Juliet MemSafety.set which match our property
1 parent c9c19b2 commit 175fff0

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

c/MemSafety-Juliet.set

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,3 +8,16 @@ Juliet_Test/CWE476*_int*.yml
88
Juliet_Test/CWE476*_long*.yml
99
Juliet_Test/CWE476*_struct*.yml
1010

11+
#CWE121_Stack_Based_Buffer_Overflow
12+
Juliet_Test/CWE121*rand*.yml
13+
Juliet_Test/CWE121*fgets*.yml
14+
Juliet_Test/CWE121*large*.yml
15+
16+
#CWE401_Memory_Leak
17+
Juliet_Test/CWE401*__int*.yml
18+
Juliet_Test/CWE401*__struct*.yml
19+
Juliet_Test/CWE401*__twoIntsStruct*.yml
20+
21+
#CWE590_Free_Memory_Not_on_Heap
22+
Juliet_Test/CWE590*.yml
23+

0 commit comments

Comments
 (0)