Update lint.yml

.github/workflows/lint.yml

@@ -13,22 +13,36 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1
-    - name: Create Build Environment
+    - name: Create LLVM clang-tools scan-build Workspace
       run: |
         sudo apt-get update -qq
         sudo apt-get install -qq clang-tools
-    - name: Lint
-      run: make clean lint
+    - name: Static Defect Analysis using scan-build
+      run: |
+        make clean
+        make lint
+
+  splint:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - name: Create SPLint Workspace
+      run: |
+        sudo apt-get update --quiet --assume-yes
+        sudo apt-get install --quiet --assume-yes splint
+    - name: Static Defect Analysis using SPLint
+      run: make splint
+
 
   cppcheck:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1
-    - name: Create Build Environment
+    - name: Create CPPcheck Workspace
       run: |
         sudo apt-get update -qq
         sudo apt-get install -qq cppcheck
-    - name: cppcheck
+    - name: Static Defect Analysis using CPPcheck
       run: |
         cppcheck --version
         make clean
@@ -38,11 +52,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1
-    - name: Create Build Environment
+    - name: Create Flawfinder Workspace
       run: |
         sudo apt-get update -qq
         sudo apt-get install -qq flawfinder
-    - name: cppcheck
+    - name: Static Defect Analysis using flawfinder
       run: |
         flawfinder --version
         make clean
@@ -52,11 +66,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1
-    - name: Create Build Environment
+    - name: Create codespell Workspace
       run: |
         sudo apt-get update -qq
         sudo apt-get install -qq codespell
-    - name: codespell
+    - name: Static Spelling Analysis using codespell
       run: make spell
 
   unittest:
@@ -67,5 +81,5 @@ jobs:
       run: |
         sudo apt-get update -qq
         sudo apt-get install -qq lcov
-    - name: Run Unit Test
+    - name: Run Unit Test with Code Coverage
       run: make test