[rosedu-general] Proiect RSoC - robocheck

[Razvan Deaconescu]

Salut!

Proiectul robocheck este continuare unei idei mai vechi a lui Octavian
Purdila (a.k.a. Tavi), anume aceea de verificare automata a unei teme
(atentie, verificare, nu testare).

robocheck presupune verificarea situatiilor negative uzuale intalnite in
corectarea unei teme:
* probleme de alocare (verificabile cu valgrind, electric-fence,
MALLOC_CHECK etc.)
* nu se verifica valoarea intoarsa de un apel (malloc, read, open etc.)
* indentare necorespunzatoare
* surse necomentate
* surse fara autor
* README necorespunzator
* Makefile necorespunzator
* functii kilometrice
* verificari de tipul static code analysis (splint)
* probleme de sincronizare (helgrind)
* probleme de eficienta (multa memorie alocata, multe fisiere deschise,
multe thread-uri create etc.)
* etc.

Scopul este ca sistemul sa faca verificarea pentru un numar cat mai mare
de limbaje de programare si contexte (user-space, kernel-space). Trebuie
sa fie modular si sa ofere o interfata de integrare in alte aplicatii
(cel mai elocvent exemplu fiind vmchecker).

Numar dorit de persoane: 2-3

Cunostinte necesare: comenzi de baza Linux, aplicatii/tool-uri de
dezvoltare a programelor, cunostinte de programare de baza (C, shell
scripting, Python)

Razvan