Static system checker