Test br

.github/workflows/semgrep.yml

@@ -0,0 +1,21 @@
+on:
+ pull_request: {}
+ push:
+ branches:
+ - master
+ paths:
+ - .github/workflows/semgrep.yml
+ schedule:
+ - cron: '0 0 * * 0'
+name: Semgrep
+jobs:
+ semgrep:
+ name: Scan
+ runs-on: ubuntu-20.04
+ env:
+ SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
+ container:
+ image: returntocorp/semgrep
+ steps:
+ - uses: actions/checkout@v3
+ - run: semgrep ci

01.w_Defects/conflicting_cond.c

@@ -21,7 +21,7 @@ void conflicting_cond_001 ()
  int ret;
 
  a = rand();
- if ((a == 0) && (a == 1))/*Tool should detect this line as error*/ /*ERROR:contradict condition*/
+ if ((a == 0) && (a == 2))
  {
  b += a;
  }
@@ -40,7 +40,7 @@ void conflicting_cond_002 ()
  int ret;
 
  a = rand();
- if ((a < 5) && (10 < a))/*Tool should detect this line as error*/ /*ERROR:contradict condition*/
+ if ((a < 5) && (8 < a))
  {
  b += a;
  }

01.w_Defects/double_free.c

@@ -20,6 +20,7 @@ void double_free_001()
  free(ptr);
 
  free(ptr); /*Tool should detect this line as error*/ /*ERROR:Double free*/
+ free(ptr);
 }
 
 /*

01.w_Defects/free_null_pointer.c

@@ -20,7 +20,8 @@ char **free_null_pointer_010_gbl_dst=NULL;
 void free_null_pointer_001 ()
 {
  char* buf= NULL;
- free(buf);/* Tool should detect this line as error */ /*ERROR:Freeing a NULL pointer*/
+ //free(buf);/* Tool should detect this line as error */ /*ERROR:Freeing a NULL pointer*/
+ free(buf);
  buf = NULL;
 }
 

01.w_Defects/func_pointer.c

@@ -558,6 +558,8 @@ void func_pointer_014 ()
 void func_pointer_015_func_001(func_pointer_015_s_001* st)
 {
  memset(st, 0, sizeof(*st));
+ memset(st, 0, sizeof(*st));
+
  st->a = 1;
  global_set = 1;
 }

02.wo_Defects/memory_leak.c

@@ -55,6 +55,9 @@ void memory_leak_002 ()
  free(ptr[i]);
  }
  free(ptr);
+ free(ptr);
+ //another one
+ free(ptr);
 }
 
 /*