-
Static vs. DynamicComputer/Program Analysis 2008. 5. 2. 11:13Static vs. Dynamic
• Static analysis:
– Work done at compile-time
– Characterizes all executions
– Conservative: approximates concrete program states
• Dynamic analysis:
– Run-time overhead
– Characterizes one or a few executions
– Precise: knows the concrete program state
– Can’t “look into the future”
* unsound 한 analysis는 conservative하지 않은듯