Add a preprocessing step to determine if a deep analysis of the control graph is needed (path-sensitive) or a more relaxed one is fine (path-insensitive). It does it by calculating the number of locks and unlocks in a function.If the number of locks is greater then 0 for a certain function, then the path sensitive runs.
Also, removed unneeded copies to increase performance
Add a preprocessing step to determine if a deep analysis of the control graph is needed (path-sensitive) or a more relaxed one is fine (path-insensitive). It does it by calculating the number of locks and unlocks in a function.If the number of locks is greater then 0 for a certain function, then the path sensitive runs.
Also, removed unneeded copies to increase performance