To be an honest question poster I do not yet fully grasp the difference between small step and big step semantics. There was a good discussion here

My question is if I were to do static analysis on a file to determine if it is malware, what would be better to use: small step or big step semantics?

To take this a step further if I am doing dynamic analysis which would be best: small step or big step semantics?

Preferably a simple example as to why would be much appreciated.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.