Merge branch 'master' of github.com:fkie-cad/cwe_checker

.hooks/ocp-indent.sh

+#!/bin/bash
+pat=".*\.ml(i|l|y)?$"
+if [[ $1 =~ $pat ]]; 
+then
+    s1=$(cat $1)
+    s2=$(ocp-indent $1)
+    if [ "$s1" == "$s2" ]
+    then
+        exit 0
+    else
+        echo "$1: ocp-indent"
+        exit 1
+    fi
+fi
+exit 0

.ocp-indent

+JaneStreet
+match_clause = 4
\ No newline at end of file

.pre-commit-config.yaml

@@ -35,3 +35,11 @@ repos:
     rev: v0.1.0
     hooks:
       - id: dockerfilelint
+
+-   repo: local
+    hooks:
+      - id: ocp-indent
+        name: ocp-indent
+        language: system
+        verbose: true
+        entry: .hooks/ocp-indent.sh

src/utils/graph_utils.ml

@@ -35,10 +35,10 @@ let rec get_all_paths_from_node node g current_path =
   | [] -> [current_path]
   | succs -> List.concat_map succs
                ~f:(fun succ ->
-                   if node_already_visited_on_path succ current_path then
-                     []
-                   else
-                     get_all_paths_from_node succ g (fork_path current_path node))
+                 if node_already_visited_on_path succ current_path then
+                   []
+                 else
+                   get_all_paths_from_node succ g (fork_path current_path node))
 
 (* Please mind the path explosion !!! *)
 let enumerate_paths_between_blks sub blk_start_tid blk_end_tid limit =