Static Property Analysis