Does DO-178C have any guidelines on using static code analysis for level A software?
As per Do-178C:
Section 6.3 Software Reviews and Analyses
Reviews and analyses are applied to the outputs of the software development processes. One distinction between reviews and analyses is that analyses provide repeatable evidence of correctness and reviews provide a qualitative assessment of correctness. A review may consist of an inspection of an output of a process guided by a checklist or similar aid.
An analysis may examine in detail the functionality, performance, traceability, and safety implications of a software component, and its relationship to other components within the system or equipment
Can this achieved by Static analysis ? Some of the tools like polyspace which has misra standard checks