Hacker News
- Using Static Analysis to Find Bugs in the Real World http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext 4 comments
- Large-Scale Static Analysis at Mozilla - Galois Tech Talk: Video http://www.galois.com/blog/2010/07/09/galois-tech-talk-video-large-scale-static-analysis-at-mozilla/?ftw= 4 comments
- Taylor's experimenting with static analysis https://twitter.com/taylorotwell/status/1410604129756401670 11 comments laravel
- Static analysis updates in GCC 11 https://developers.redhat.com/blog/2021/01/28/static-analysis-updates-in-gcc-11/ 6 comments programming
- Carmack on static analysis http://www.gamasutra.com/view/news/128836/InDepth_Static_Code_Analysis.php 4 comments rust_gamedev
- Carmack on static analysis http://www.gamasutra.com/view/news/128836/indepth_static_code_analysis.php 44 comments rust
- Have you used a static code analysis tool? Here's how to write your own. http://gregfranko.com/building-javascript-tools-talk 3 comments javascript
- Static Analysis of Gameplay http://sandervanrossen.blogspot.com/2010/12/static-analysis-of-gameplay.html 3 comments gamedev
- Unused Definitions with Behat Static Analysis https://tomasvotruba.com/blog/unused-definitions-with-behat-static-analysis 2 comments php
- Static Analysis Fixes, Improvements, and Updates in Visual Studio 2019 version 16.10 https://devblogs.microsoft.com/cppblog/static-analysis-fixes-improvements-and-updates-in-visual-studio-2019-version-16-10/ 8 comments cpp
- Best static code analysis tool for Terraform? None 14 comments devops
- Shell Script Static Analysis in Vim http://jezenthomas.com/shell-script-static-analysis-in-vim/ 10 comments vim
- Static analysis of Vim source code http://usevim.com/2015/03/20/static/ 12 comments programming
- Static analysis of malicious PDFs http://isc.sans.org/diary.html?storyid=7903 5 comments programming
- John Carmack on Static code analysis http://sevangelatos.com/john-carmack-on-static-code-analysis 5 comments programming
- Article: What's the Difference Between Sound and Unsound Static Analysis? https://www.electronicdesign.com/embedded-revolution/whats-difference-between-sound-and-unsound-static-analysis 3 comments ada
- Article: What's the Difference Between Sound and Unsound Static Analysis? https://www.electronicdesign.com/embedded-revolution/whats-difference-between-sound-and-unsound-static-analysis 5 comments programming
- unimport - A Go static analysis tool to find unnecessary import aliases https://github.com/alexkohler/unimport 11 comments golang
- Building the simplest Go static analysis tool - vendorcheck https://blog.cloudflare.com/building-the-simplest-go-static-analysis-tool/ 11 comments golang
- Fix your code, don’t disable static analysis http://codebetter.com/derikwhittaker/2015/06/15/fix-your-code-dont-disable-static-analysis/ 7 comments programming
- Finding Heartbleed via static analysis "the right way" http://www.grammatech.com/blog/finding-heartbleed-with-codesonar 19 comments programming
- Checking the Qt 5 Framework (statical analysis) http://www.viva64.com/en/b/0251/ 53 comments programming
- John Carmack on Static Code Analysis http://altdevblogaday.com/2011/12/24/static-code-analysis/ 360 comments programming
- Static Analysis for Ruby in the Presence of Gradual Typing http://www.cs.dartmouth.edu/reports/abstracts/tr2011-686/ 16 comments ruby
- Brian Chess on Static Code Analysis http://www.infoq.com/articles/chess-secureprog 17 comments programming
- Static analysis of Apache Hive source code https://habr.com/en/company/pvs-studio/blog/463753/ 9 comments java
- Where in your development process do you use code formatters and static analysis tools? https://www.reddit.com/r/cpp/comments/ac8te9/where_in_your_development_process_do_you_use_code/ 49 comments cpp
- perlcritic.com, a web service for static analysis of your Perl programs http://www.perlcritic.com/ 4 comments perl
- Sonar - a great FOSS static analysis tool for your code http://sonar.codehaus.org/ 16 comments programming
- Qodana - Static Code Analysis for your CI/CD pipeline by JetBrains https://www.jetbrains.com/qodana/ 13 comments java
- GCC static analysis branch now available on Compiler Explorer https://gcc.gnu.org/ml/gcc/2019-12/msg00152.html 4 comments cpp
- Static analysis of Electronic Arts open source code https://habr.com/en/company/pvs-studio/blog/461677/ 49 comments cpp
- Large-Scale Static Analysis At Mozilla http://code.galois.com/talk/2010/10-06-glek/ 20 comments programming
- Dmitry Sklyarov: “It would seem that ME 11 is based on the MINIX 3 OS” (Intel ME: The Way of Static Analysis) http://blog.ptsecurity.com/2017/04/intel-me-way-of-static-analysis.html 12 comments programming
- Java & Static Analysis Tools For Threading Issues: Article: Why Software Testing Can't Save You From IT Disasters http://www.cio.com/article/2378046/net/why-software-testing-can-t-save-you-from-it-disasters.html 3 comments java
- Code Climate just open-sourced its static analysis tools http://blog.codeclimate.com/blog/2015/06/19/code-climate-platform/ 15 comments programming
- Mandated Third Party Static Analysis: Bad Public Policy, Bad Security https://blogs.oracle.com/maryanndavidson/entry/mandated_third_party_static_analysis 8 comments netsec
- Static Analysis for everyday (not-PhD) man : Inside 245s http://blog.ezyang.com/2010/06/static-analysis-mozilla/ 10 comments programming
- Finding Linux Bugs Before they Become Exploits:The story of how a Linux exploit actually wasn't, thanks to some static code analysis. http://www.internetnews.com/dev-news/article.php/3831716/finding+linux+bugs+before+they+become+exploits.htm 8 comments netsec
- Carburizer: an OCaml static analysis tool to detect fragile hardware reliance in Linux drivers http://pages.cs.wisc.edu/~kadav/carbdownload.php 6 comments ocaml