Revision as of 11:39, 9 October 2022 edit Squam Lizard (talk \| contribs) 329 edits Changing short description from "Establishing properties of computer programs without executing them" to "Analysis of computer programs without executing them" Tag: Shortdesc helper ← Previous edit		Revision as of 10:18, 4 January 2023 edit undo Citation bot (talk \| contribs) Bots 5,861,401 edits Alter: url, pages. URLs might have been anonymized. Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. \| Use this bot. Report bugs. \| Suggested by SemperIocundus \| #UCB_webform 1778/2500 Next edit →
Line 56: == Remediation == Static analyzers produce warnings. For certain types of warnings, it is possible to design and implement [[Automatic bug fixing\|automated remediation]] techniques. For example, Logozzo and Ball have proposed automated remediations for C# ''cccheck''<ref>{{Cite journal \|~~last~~last1=Logozzo \|~~first~~first1=Francesco \|last2=Ball \|first2=Thomas \|date=2012-11-15 \|title=Modular and verified automatic program repair \|url=http://dx.doi.org/10.1145/2398857.2384626 \|journal=ACM SIGPLAN Notices \|volume=47 \|issue=10 \|pages=133–146 \|doi=10.1145/2398857.2384626 \|issn=0362-1340}}</ref> and Etemadi and colleagues use program transformation to automatically fix [[SonarQube]]'s warnings.<ref>{{Cite journal \|~~last~~last1=Etemadi Someoliayi \|~~first~~first1=Khashayar \|last2=Harrand \|first2=Nicolas Yves Maurice \|last3=Larsen \|first3=Simon \|last4=Adzemovic \|first4=Haris \|last5=Luong Phu \|first5=Henry \|last6=Verma \|first6=Ashutosh \|last7=Madeiral \|first7=Fernanda \|last8=Wikstrom \|first8=Douglas \|last9=Monperrus \|first9=Martin \|date=2022 \|title=Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations \|url=https://ieeexplore.ieee.org/document/9756950/ \|journal=IEEE Transactions on Dependable and Secure Computing \|pages=~~1–1~~1 \|doi=10.1109/TDSC.2022.3167316 \|s2cid=232307680 \|issn=1545-5971}}</ref>

Static program analysis: Difference between revisions