Static Analysis Algorithms