A parametric segmentation functor for fully automatic and scalable array content analysis

Keyphrases

• Fully-automatic 100%
• Abstract Domains 100%
• Fully Scalable 100%
• Scalar Variables 100%
• Scalable Array 100%
• Abstract Interpretation 50%
• Reduced Product 50%
• Non-overlapping 50%
• Scalable Analysis 50%
• Static Contract 50%
• Bound Sets 50%
• Symbolic Expression 50%
• Fully Automatic Analysis 50%
• Checkers 50%
• Code-based 50%
• Fixed Parameter 50%
• Precision Ratio 50%
• Content Property 50%

Computer Science

• Scalar Variable 100%
• Content Analysis 100%
• Data Structure 50%
• Abstract Interpretation 50%
• Symbolic Expression 50%