Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)

Keyphrases

• Memory Errors 100%
• Static Pointer Analysis 100%
• Program Control 50%
• Control Flow 50%
• False Alarm 50%
• Debugging 50%
• Algorithm Analysis 50%
• Compile Time 50%
• Alias 50%
• Flow-sensitive 50%
• Program Analysis 50%
• C Program 50%
• Core Program 50%
• Dereferencing 50%
• Potential Errors 50%
• Conditional Statement 50%
• Pointer Analysis 50%
• Optimizing Compilers 50%

Computer Science

• Pointer Analysis 100%
• Analysis Technique 50%
• Data Structure 50%
• Underlying Data 50%
• Program Analysis 50%
• C Program 50%
• Partial Interpretation 50%
• Optimizing Compiler 50%
• Conditional Statement 50%
• Control-Flow Construct 50%