Hello everyone!
I'm confused about static analysis
Let's say I have a C project for an embedded system.
It correctly compiles into my IDE for my target, which can be for example an ARM processor.
Let's say I decide to give my project to an external company, in order to make some static analysis on it.
They will change the code in order to validate my project, using the static analyzer tool they prefer.
In order to pass all the tests, they will change the source code (let's say adding some "const" or "static" attribute for example).
Assuming that this company have access to the same IDE,
when they will give me back the code, I expect that the project still correctly compile as before.
Is this correct?
Because, if they change the code, but they do not check if code still compiles,
the job they did is completely useless since I'm forced to change it again in order to correctly compile it again
(but at this point, the code will not more pass the static analysis).
Is this correct?
I think, it's implicit the compile check by the company that make the static analysis.
I hope someone can help me to clarify this doubt.
Best regards,
Francesco.
I'm confused about static analysis
Let's say I have a C project for an embedded system.
It correctly compiles into my IDE for my target, which can be for example an ARM processor.
Let's say I decide to give my project to an external company, in order to make some static analysis on it.
They will change the code in order to validate my project, using the static analyzer tool they prefer.
In order to pass all the tests, they will change the source code (let's say adding some "const" or "static" attribute for example).
Assuming that this company have access to the same IDE,
when they will give me back the code, I expect that the project still correctly compile as before.
Is this correct?
Because, if they change the code, but they do not check if code still compiles,
the job they did is completely useless since I'm forced to change it again in order to correctly compile it again
(but at this point, the code will not more pass the static analysis).
Is this correct?
I think, it's implicit the compile check by the company that make the static analysis.
I hope someone can help me to clarify this doubt.
Best regards,
Francesco.