Hi,
Am working currently on Run time errors checks using Polyspace Code Prover and Bug finder and after running step is over, i got a lot of orange checks, mostly Non initialized variables and illegally dereferenced pointers which in fact are justified after tracing them. I wonder if there is a way to avoid that by manipulating the polyspace configuration or editing the stubbed functions file?
Thanks
Best Answer