Static analysis tools – one step closer to writing bugfree software