Software Static Analysis