The basics of software analysis -- from the level of a compiler