Section based program analysis to reduce overhead of detecting unsynchronized thread communication