Question

what is difference between may and must analysis in program analysis

Answer 1

Program analysis computes two types of information :

1. May 

2. Must


May :

(a) May information that is true of all program executions and is used to prove the absence of bugs in the program.

(b) It checks if the given property is true on some paths.


 
Must : 

(a) Must information that is true of some program executions and is used to prove the existence of bugs in the program.

(b) It checks if the given property is true on all paths.




Hope this helps!