jjocram / simplanplus

Compiler and runner of the SimpLanPlus language, developed as project for the course "Compilatore e Interpreti" (compilers and interpreters) at UniBO, AY 2020/21

Hi everyone 👋

📍 I'm Marco Ferrati, a PhD student in Computer Science at the University of Bologna.

💻 jjocram.com ⇒ If you are curious about my projects and my contacts, you can find them and other information on my portfolio-website.

simplanplus's Issues

Ricontrollare espressioni

Bisogna impedire (nella Semantic Analysis) espressioni del tipo

int a = new int + 13
^int b = new int + new int

Modifiche a NewExpNode

Le modifiche alla NewExpNode, che aggiungono la nozione di tipo nell'espressione, permettono di fare type checking più adeguato nelle dichiarazioni ed assegnazioni.
Sfruttarlo, rimuovendo i controlli di nullità introdotti per supportare l'assenza della conoscenza del tipo usato per l'allocazione di spazio nello heap da parte della new.

Type checking

Verificati i seguenti
Check list:

• ArgNode (null)
• IdNode (int, bool, pointer, funtype, tutti presi dalla Symbol Table o \Gamma)
• LhsNode (int, bool, pointer)
• (Node)
• value/
  • BoolNode (bool)
  • NumberNode (int)
• type/
  • BoolTypeNode (null)
  • FunTypeNode (null)
  • IntTypeNode (null)
  • PointerTypeNode (null)
  • (TypeNode)
  • VoidTypeNode (null)
• statement/
  • AssignmentNode (null)
  • AssigtStatNode (= AssignmentNode)
  • BlockNode (void o tipo ritornato dallo statement return)
  • BlockStatNode (= BlockNode)
  • CallNode (tipo ritornato dalla funzione)
  • CallStatNode (= CallNode)
  • DeletionNode (null)
  • DeletStatNode (= DeletionNode)
  • IteNode (tipo ritornato da entrambi i rami, deve essere uguale)
  • IteStatNode (= IteNode)
  • PrintNode (null)
  • PrintStatNode (= PrintNode)
  • RetNode (tipo ritornato dall'espressione)
  • RetStatNode (= RetNode)
  • (StatementNode)
• expression/
  • BaseExpNode (= espressione figlia)
  • BinaryExpNode (bool oppure int in base all'operatore)
  • CallExpNode (tipo ritornato dalla funzione chiamata)
  • DereferenceExpNode (bool oppure int oppure puntatore+ a bool o int)
  • (ExpNode)
  • NegativeExpNode (int)
  • NewExpNode (null) N.B. Ritornato null perché ritornare il tipo della LHS è complicato e scorretto nella visita dell'albero quindi meglio null
  • NotExpNode
• declaration/
  • DecFunNode (null)
  • DeclarateFunNode (= DecFunNode)
  • DeclarateVarNode (= DecVarNode)
  • (DeclarationNode)
  • DecVarNode (null)

Relazione di Compilatori e Interpreti

• Abstract [MARCO]
• Introduzione [TOMMASO]
  • Scopo progetto
  • Tecnologie utilizzate
• Grammatica [TOMMASO] manca cappello introduttivo
• Analisa Semantica [DA VEDERE ASSIEME]
  • Struttura ambiente
  • (cosa e come viene controllato)
    • variabili/funzioni non dichiarate
    • variabili dichiarate piu` volte nello stesso ambiente
    • corretto uso dei puntatori
    • parametri attuali non conformi ai parametri formali
• Analisi degli effetti [DA VEDERE ASSIEME]
  • (cosa e come viene controllato)
    • uso di variabili non inizializzate
    • parametri attuali non conformi ai parametri formali (inclusa la verifica sui parametri passati per puntatore)
• Type checking [MARCO]
  • la correttezza dei tipi
• Interprete [MARCO]
  • Descrizione del bytecode
  • Descrizione CPU/Memoria
  • Record di attivazione
  • Funzionamento interprete
• Struttura di SimpLanPlus.java [TOMMASO]
• Esempi (valori attesi e spiegazione degli errori che vengono individuati)
  • example1 -> funzionamento puntatori [MARCO]
  • example2 -> identificazione uso errato dei puntatori [MARCO]
  • example3 -> identificazione uso errato dei puntatori [MARCO]
  • example8 -> esempio Stack overflow [MARCO]
  • example16 -> mutua ritorsione non possibile [TOMMASO]
  • example20 -> Fibonacci [TOMMASO]
  • example25 -> Analisi degli effetti e punto fisso [TOMMASO]
• -Appendice- Guida all'installazione [MARCO]
• -Appendice- Riferimenti [TOMMASO}

Effect analysis

Regole da implementare per analisi degli effetti:

• Exp-e (pag. 53), con tanto di funzione ausiliaria che recupera identificatori usati nell'espressione, definito in ExpNode
  • BaseExpNode
  • BinaryExpNode
  • NegativeExpNode
  • NotExpNode
• Asgn-e (pag. 53)
  • AssignmentNode ???
• Del-e (pag. 53)
  • DeletionNode
• If-e (pag. 53)
  • IteNode
• Block-e (pag. 54) funziona per ricorsività, non serve fare nulla BELLA
• Var-e (pag. 55), di default alla creazione della STEntry
  • DecFunNode
  • DecVarNode
• Invk-e (pag. 56) (N.B. è chiamata di funzione)
• Fseq-e (pag. 57) (N.B. è dichiarazione di funzione)

READ_WRITE rimosso da parametri formali funzione

Facendo questa modifica e seguendo le slide a pagina 57 di Semantic Analysis 2, è possibile scrivere un codice del genere:

int a;
int b = a;

che non ha senso però è corretto.

Problemi vari scovati

• Esempio 2 lancia una NullPointerException
• Cambiare la descrizione dell'esempio 3 cambiando i messaggi di errore.
• Aggiornare descrizione Esempio 5
• Non è impedito l'uso di puntatori a INITIALIZED (o almeno credo, esempio 15 mi attenderei errori)
• Esempio 16 lancia una NullPointerException nello stesso contesto di 2 (atteso una missing declaration)

Analisi effetti refactoring

• DecFunNode
• DecVarNode
• AssignmentNode (vedere se si può semplificare)
• CallNode