Text this: Εμπειρική μελέτη προγραμμάτων Pascal και κατασκευή ενός static analyzer