Βελτιώσεις ελέγχου κώδικα και περιορισμοί…

Το GitHub παρουσίασε στις 9 Οκτωβρίου τις αλλαγές του CodeQL 2.27.2, της μηχανής στατικής ανάλυσης που χρησιμοποιείται στο code scanning. Η έκδοση, με ημερομηνία 7 Οκτωβρίου στο τεχνικό ημερολόγιο αλλαγών, ενισχύει την ανάλυση διαφορετικών γλωσσών προγραμματισμού και συνοδεύεται από σημαντική διευκρίνιση για όσους εκτελούν ελέγχους σε Mac.

Το CodeQL μετατρέπει τον κώδικα σε βάση δεδομένων, εκτελεί ερωτήματα για πιθανά προβλήματα και παρουσιάζει τα αποτελέσματα ώστε να αξιολογηθούν από την ομάδα ανάπτυξης. Οι έλεγχοι μπορούν να χρησιμοποιούν έτοιμα ή προσαρμοσμένα ερωτήματα. Σύμφωνα με την τεκμηρίωση, η προσέγγιση επιτρέπει επίσης την αναζήτηση παραλλαγών ενός ήδη γνωστού σφάλματος σε διαφορετικές βάσεις κώδικα.

Στις τεχνικές προσθήκες περιλαμβάνονται αναλυτής κανονικών εκφράσεων για το std::regex της C++ και καλύτερη παρακολούθηση της ροής δεδομένων σε ασύγχρονα τμήματα Rust που χρησιμοποιούν await. Στη JavaScript και την TypeScript αναγνωρίζονται πλέον οι οδηγίες «use workflow» και «use step» του Workflow SDK, ενώ βελτιώνεται η παρακολούθηση εισόδων αιτημάτων σε εφαρμογές Hapi.

Προσοχή χρειάζονται οι προσαρμοσμένοι έλεγχοι για Go. Η αναπαράσταση της ροής ελέγχου έχει ανασχεδιαστεί, με αλλαγές στους κόμβους, στις ακμές και στα όρια των βασικών μπλοκ. Ερωτήματα που εξαρτώνται από την προηγούμενη δομή ενδέχεται να απαιτούν προσαρμογή. Παράλληλα, τα μηνύματα της γραμμής εντολών διακρίνουν σαφέστερα σφάλματα και προειδοποιήσεις, χωρίς αλλαγή στη δομημένη έξοδο SARIF.

Για το macOS, το GitHub αναφέρει ότι οι λειτουργίες δημιουργίας autobuild και manual δεν υποστηρίζονται για μεταγλωττιζόμενες γλώσσες στο macOS 27, ανεξαρτήτως έκδοσης Xcode. Ο ίδιος περιορισμός ισχύει στο macOS 26 όταν έχει επιλεγεί το Xcode 27. Για αυτές τις λειτουργίες συστήνεται χρήση έως macOS 26 και Xcode 26. Η εταιρεία εργάζεται στη βελτίωση της λειτουργίας none· συνεπώς, η ανακοίνωση δεν αποτελεί γενική δήλωση ότι κάθε χρήση του CodeQL σε Mac είναι αδύνατη.

Η δική μας εκτίμηση είναι ότι η ενημέρωση αφορά κυρίως ομάδες που έχουν ενσωματώσει τον έλεγχο ασφάλειας στη διαδικασία ανάπτυξης. Πριν αναβαθμίσουν το περιβάλλον των ελέγχων τους, αξίζει να εξετάσουν τον συνδυασμό λειτουργικού συστήματος και εργαλείων μεταγλώττισης, καθώς και τα δικά τους ερωτήματα Go. Πρακτικά, μια δοκιμαστική εκτέλεση σε αντιπροσωπευτικό έργο μπορεί να βοηθήσει την ομάδα να εντοπίσει ασυμβατότητες πριν επηρεαστούν καθημερινοί έλεγχοι. Τα ευρήματα χρειάζονται αξιολόγηση: η στατική ανάλυση προσφέρει χρήσιμες ενδείξεις, χωρίς να πιστοποιεί από μόνη της ότι μια εφαρμογή δεν έχει ευπάθειες.

Εικόνα: Ενδεικτική εικονογράφηση AI, όχι πραγματική φωτογραφία ή στιγμιότυπο του CodeQL.

Πηγή: Ανακοίνωση GitHub, 9/10/2026 · Τεχνικό ημερολόγιο CodeQL 2.27.2 · Επίσημη τεκμηρίωση CodeQL