• Automatic generation of bit-vector analyses using OpenAnalysis 

        Contributor:Hovland, Paul; Strout, Michelle; Behere, Shweta;
        Date:2006
        Effective program analysis is essential for program optimization, program understanding and error detection. Classic data-flow analysis techniques assume only scalar variables within a program. However, real programs consist ...