Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies.

Tukaram Muske, Rohith Talluri, Alexander Serebrenik

Browse the full APLAS paper archive.