Papers tagged static analysis

• C-RACER: A Faster Race Detector Than FastTrack
• Composite Constant Propagation: Application to Android Inter-Procedural Dead Code Elimination
• Epitaxis: A System for Syntactic and Semantic Software Queries
• ESC/Java User Manual
• Interprocedural Control Dependence
• Liquid Types

• Browse
• All Keywords
• By Category