Zanatta, Giacomo <1996>
(Università Ca' Foscari Venezia, 2023-07-21)
In this thesis, we will show how a static analysis tool can be used to extract meanings from rospy source code.
After a brief introduction about the theories that underlie static analysis we will talk about liSA, a static ...