synopsys source code scan