forked from INGCOM-UNRN-P1/dredd
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dredd.sh
executable file
·95 lines (72 loc) · 2.94 KB
/
dredd.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
#!/usr/bin/bash
echo "Procesando $1-submissions/$2"
repo="$1-submissions/$2"
if [ -d "$repo" ]; then
echo "git pull en el repositorio $repo"
git -C $repo restore "*"
git -C $repo pull
git_pull_output=$(git -C $repo pull 2>&1)
if [[ $git_pull_output == *"Already up to date."* || $git_pull_output == *"Ya está actualizado."* ]]; then
echo "El repositorio ya estaba actualizado."
else
echo "No se puede continuar, ha ocurrido un error en git."
echo "Git dice\n: $git_pull_output"
exit 2
fi
echo "Creacion del informe"
cat informe/header.md > mensaje.md
printf "\n## Repositorio" >> mensaje.md
printf "\n**branch/revision:** %s %s\n", "$(git -C $repo rev-parse --abbrev-ref HEAD)", "$(git -C $repo rev-parse --short HEAD)" >> mensaje.md
printf "\nInforme creado el `date`\n"
printf "\n### Archivos contenidos" >> mensaje.md
printf "\n\`\`\`" >> mensaje.md
ls -hl $repo >> mensaje.md
printf "\n\`\`\`" >> mensaje.md
printf "\n## Analisis" >> mensaje.md
c_files=$(find $repo -name "*.c")
for c_file in $c_files; do
echo ""
printf "\n### sobre \`${c_file}\n" >> mensaje.md
printf "\n#### gcc -Wall -Wextra\n" >> mensaje.md
printf "\n\`\`\`\n" >> mensaje.md
gcc -c -fanalyzer -Wall -Wextra $c_file -o a >> mensaje.md 2>&1
exit_status=$?
printf "\n\`\`\`\n" >> mensaje.md
if [ $exit_status -eq 0 ]; then
printf "\nOK [$?]\n" >> mensaje.md
else
printf "\nNo OK [$?]\n" >> mensaje.md
fi
printf "\n#### cppcheck\n" >> mensaje.md
printf "\n\`\`\`\n" >> mensaje.md
cppcheck --language=c --enable=style,warning $c_file >> mensaje.md 2>&1
exit_status=$?
printf "\n\`\`\`\n" >> mensaje.md
if [ $exit_status -eq 0 ]; then
printf "\nOK [$?]\n" >> mensaje.md
else
printf "\nNo OK [$?]\n" >> mensaje.md
fi
printf "\n#### splint\n" >> mensaje.md
printf "\n\`\`\`\n" >> mensaje.md
splint -hints +showscan +showalluses +stats -exportlocal $c_file >> mensaje.md 2>&1
exit_status=$?
printf "\n\`\`\`\n" >> mensaje.md
if [ $exit_status -eq 0 ]; then
printf "\nOK [$?]\n" >> mensaje.md
else
printf "\nNo OK [$?]\n" >> mensaje.md
fi
done
cat informe/footer.md >> mensaje.md
echo "Informe listo en $2.md"
mv mensaje.md $2.md
printf "\nbranch: %s \trevision: %s\n", "$(git -C $repo rev-parse --abbrev-ref HEAD)", "$(git -C $repo rev-parse --short HEAD)"
git -C $repo log -n 5 --oneline origin/main
echo "para completar el siguiente paso:"
echo "./comment.sh $2"
else
echo "Clonando el repositorio si no lo estaba para $repo, ejecutar una segunda vez para verificar"
echo "INGCOM-UNRN-P1/$2.git"
git clone https://github.com/INGCOM-UNRN-P1/$2.git $repo
fi