Revision as of 04:50, 5 October 2022 edit DMacks (talk \| contribs) Edit filter managers, Autopatrolled, Administrators 191,808 edits If we're using AmE, but we seemed unified on BrE until the most recent change shifted one out-of-sync with that... Undid revision 1109116840 by Caleb Stanford (talk) Tag: Undo ← Previous edit		Revision as of 04:50, 5 October 2022 edit undo DMacks (talk \| contribs) Edit filter managers, Autopatrolled, Administrators 191,808 edits Un-explained WP:ENGVAR change. Undid revision 1108974730 by Khonsuhorus (talk) Tag: Undo Next edit →
Line 6: == Rationale == The sophistication of the analysis performed by tools varies from those that only consider the ~~behavior~~behaviour of individual statements and declarations,<ref>{{Cite journal\|last1=Khatiwada\|first1=Saket\|last2=Tushev\|first2=Miroslav\|last3=Mahmoud\|first3=Anas\|date=2018-01-01\|title=Just enough semantics: An information theoretic approach for IR-based software bug localization\|url=https://linkinghub.elsevier.com/retrieve/pii/S0950584916302269\|journal=Information and Software Technology\|language=en\|volume=93\|pages=45–57\|doi=10.1016/j.infsof.2017.08.012}}</ref> to those that include the complete [[source code]] of a program in their analysis. The uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g., the [[lint programming tool\|lint]] tool) to [[formal methods]] that mathematically prove properties about a given program (e.g., its behaviour matches that of its specification). [[Software metric]]s and [[reverse engineering]] can be described as forms of static analysis. Deriving software metrics and static analysis are increasingly deployed together, especially in creation of embedded systems, by defining so-called ''software quality objectives''.<ref>[http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0035_final.pdf "Software Quality Objectives for Source Code"] {{webarchive\|url=https://web.archive.org/web/20150604203133/http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0035_final.pdf \|date=2015-06-04 }} (PDF). ''Proceedings: Embedded Real Time Software and Systems 2010 Conference'', ERTS2010.org, Toulouse, France: Patrick Briand, Martin Brochet, Thierry Cambois, Emmanuel Coutenceau, Olivier Guetta, Daniel Mainberte, Frederic Mondot, Patrick Munier, Loic Noury, Philippe Spozio, Frederic Retailleau.</ref>

Static program analysis: Difference between revisions