Revision as of 04:48, 6 May 2022 edit Citation bot (talk \| contribs) Bots 5,861,382 edits Alter: title. Add: date, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. \| Use this bot. Report bugs. \| Suggested by Whoop whoop pull up \| #UCB_toolbar ← Previous edit		Revision as of 23:26, 18 June 2022 edit undo Stesmo (talk \| contribs) Autopatrolled, Extended confirmed users, Rollbackers 27,666 edits →External links: Pruned external links to meet WP:EL. Add as cites to source claims as appropriate in the article. Next edit →
Line 79: * [http://santos.cis.ksu.edu/schmidt/Escuela03/home.html "Abstract interpretation and static analysis,"] International Winter School on Semantics and Applications 2003, by [http://people.cis.ksu.edu/~schmidt/ David A. Schmidt] ~~== External links ==~~ * [http://www.drdobbs.com/tools/code-quality-improvement/189401916 Code Quality Improvement - Coding standards conformance checking (DDJ)] * [https://sv-comp.sosy-lab.org Competition on Software Verification (SV-COMP)] * [http://www.se-radio.net/2007/06/episode-59-static-code-analysis/ Episode 59: Static Code Analysis] Interview ([[Podcast]]) at ''Software Engineering Radio'' * [https://www.infoq.com/articles/governance-coding-standards Implementing Automated Governance for Coding Standards] Explains why and how to integrate static code analysis into the build process * [http://www.embedded.com/design/prototyping-and-development/4006735/Integrate-static-analysis-into-a-software-development-process Integrate static analysis into a software development process] * [https://samate.nist.gov The SAMATE Project], a resource for Automated Static Analysis tools * [https://deepsource.io/blog/introduction-static-code-analysis/ A hands-on introduction to static code analysis] [[Category:Static program analysis\| ]]

Static program analysis: Difference between revisions