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 ...