例えば、Aを解析してAがn bitの領域を使用することが分かれば高々2^nこの状態しかとらないことが分かるのでは?