La tesi studia l’analisi statica di codice attraverso l’adoperazione degli strumenti Semgrep, CodeQL e Joern. L’obiettivo è quello di analizzare gli strumenti evidenziandone i punti di forza e quelli di debolezza e, ...