Story Category: static program analysis