Static program analysis: Difference between revisions

Content deleted Content added
Vkuncak (talk | contribs)
No edit summary
Tags: Mobile edit Mobile app edit Android app edit
See also: add FX-87, add col. list, alpha. seq.
Line 55:
 
== See also ==
{{cmn|
 
* [[Code audit]]
* [[Documentation generator]]
* [[Formal semantics of programming languages]]
* [[Formal verification]]
* [[FX-87]]
* [[ISO 26262]]
* [[ISO/IEC 9126|ISO 9126]] (now ISO 25000 series)
* [[Lint (software)]]
* [[List of tools for static code analysis]]
* [[Shape analysis (software)]]
* [[Software quality]]
* [[Software quality assurance]]
}}
*[[ISO 26262]]
*[[ISO/IEC 9126|ISO 9126]] (now ISO 25000 series)
*[[Lint (software)]]
 
== References ==