Minor tweaks to the eba-linux.sh script

Author: IagoAbal

README.md

@@ -2,16 +2,16 @@
 
 EBA is a prototype bug finder for C based on side-effect analysis and model-checking.
 
-For now, you can use it to find double-lock bugs in the Linux kernel:
+For now, you can use it to find double-lock bugs in the Linux kernel, e.g.:
 
     git clone --depth=1 https://github.com/torvalds/linux.git
     cd linux
     make allyesconfig
-    scripts/eba-linux.sh drivers/
+    scripts/eba-linux.sh drivers/net
 
 The script will find all C source files under `drivers/`, call CPP on them, and call EBA to find potential double-locks. Be patient, this may take several hours.
 
-The preprocessed files and the findings of EBA are put under the `_eba` sub-directory. If EBA finds some potential bug in `_eba/path/to/file.c`, it will write the bug traces in `_eba/path/to/file.warn`:
+If EBA finds some potential bug in `path/to/file.c`, it will write the bug traces in `_eba/path/to/file.warn`:
 
     find _eba/ -iname '*.warn'
 

scripts/eba-linux.sh

@@ -14,10 +14,12 @@ analyze() {
     fi
 
     if [ -f "$tfile" ]; then
-        echo -n "Analyzing $cfile ... " >&2
-        /usr/bin/time -o /dev/fd/3 --format="%E" timeout 15m \
+        echo -n "Analyzing $cfile ... " >>eba-linux.log
+        /usr/bin/time -a -o eba-linux.log --format="%E" timeout 15m \
             eba -L --warn-output --externs-do-nothing ${tfile} \
-            3>&2 >>eba.log 2>&1 || true
+            >>eba.log 2>&1 || true
+        rm -f "${tfile}" "${ifile}"
+        rm -f -d "$(dirname ${tfile})"
     fi
 }
 
@@ -40,8 +42,14 @@ if ! command -v eba > /dev/null; then
     exit 1
 fi
 
-echo "OK, let's analyze... (this may take several hours)" >&2
+echo "NOTE: This may take several hours." >&2
+echo -ne "OK, let's analyze...\r" >&2
+file_count=0
 find "$linuxdir" -type f -name '*.c' -print0 | \
     while IFS= read -r -d '' file; do
         analyze "$file"
+        file_count=$((file_count + 1))
+        echo -ne "Analyzed $file_count files...\r" >&2
     done
+echo -ne "\n"
+echo "Done!" >&2