LBS exercises + project

20 dezembro 2024, 12:00 • Nuno Miguel da Silva Sabino

LBS exercises + project

Lab 5 (LBS). Dynamic analysis of high-level languages

20 dezembro 2024, 12:00 • João Maria Henriques Madeira Pereira

Exercises on Dynamic analysis of high-level languages: 

Small Step Semantics. 

Implementation of an information flow monitor.

LBS exercises + project

20 dezembro 2024, 10:30 • Nuno Miguel da Silva Sabino

LBS exercises + project

Lab 5 (LBS). Dynamic analysis of high-level languages

20 dezembro 2024, 10:30 • João Maria Henriques Madeira Pereira

Exercises on Dynamic analysis of high-level languages: 

Small Step Semantics. 

Implementation of an information flow monitor.

Lab 6 (VSSD). Buffer-Overflow

19 dezembro 2024, 17:30 • Pedro Adão

Lab 6 of https://gitlab.rnl.tecnico.ulisboa.pt/ssof2425/labs