Static Analysis

Discover Refind’s best articles, videos, and resources on Static Analysis. Follow along to get the most relevant new links picked for you.
9 Best Articles in 2021
 
engineering.fb.com
Pysa: Open Source static analysis for Python codeengineering.fb.com
8 min read · 25 saves · 2020-08-07 · Pysa is an open source static analysis tool we’ve built to detect and prevent security and privacy issues in Python code.
python
static analysis
 
github.com
exakat/php-static-analysis-toolsgithub.com
11 saves · From 2017 · php-static-analysis-tools - A reviewed list of useful PHP static analysis tools
php
static analysis
tools
 
github.com
GitHub - mre/awesome-static-analysis: A curated list of static analysis tools, linters and code quality checkers for various…github.com
15 saves · From 2016 · awesome-static-analysis - A curated list of static analysis tools, linters and code quality checkers for various programming languages
 
github.com
coreos/clair: Vulnerability Static Analysis for Containersgithub.com
14 saves · From 2016 · clair - Vulnerability Static Analysis for Containers
cve
containers
analysis
 
github.com
koalaman/shellcheckgithub.com
32 saves · From 2016 · shellcheck - ShellCheck, a static analysis tool for shell scripts
tools
bash
static analysis
 
fbinfer.com
Infer | A static analyzer for mobile appsfbinfer.com
23 saves · From 2015 · Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs. Anyone can use Infer to...
java
analysis
 
Kent C. Dodds
Eliminate an entire category of bugs with a few simple toolsKent C. Dodds
4 min read · 42 saves · From 2018 · Kent C. Dodds · How you can use a few simple static code analysis tools to avoid common programming bugs.
software development
software engineering
code analysis
 
github.com
phpstan/phpstangithub.com
19 saves · From 2017 · phpstan - PHP Static Analysis Tool - discover bugs in your code without running it!
php
code quality
static analysis
 
github.com
rrrene/credogithub.com
17 saves · From 2016 · credo - A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
elixir
analysis
code analysis
Trending
 
medium.com
httperroryzer: static analysis pass to catch missing returns after http.Error for Gomedium.com
6 min read · 2020-11-28 · Emmanuel Odeke · TL;DR: at Orijtech, Inc., we’ve developed and open sourced a first of its kind static analyzer, “httperroryzer”, that examines your Go…
 
Project Syndicate
How to Make Better Economic Policy ChoicesProject Syndicate
4 min read · 2020-12-21 · While public policy organizations are increasingly diversifying their decision-making approaches, many remain overly reliant on static tools such as cost-benefit analysis. Such tools have severe…
More like this
 
Red Hat, Inc.
Static analysis in GCC 10Red Hat, Inc.
9 min read · 10 saves · 2020-03-26 · Discover the new -fanalyzer option coming to GCC 10 that provides a static analysis pass to identify problems at compile-time, rather than at runtime.
 
Harry Roberts
Improving Your CSS with Parker – CSS Wizardry – CSS, OOCSS, front-end architecture, performance and more, by…Harry Roberts
9 min read · 19 saves · From 2016 · Using static analysis to learn where to improve your CSS
css
sass
oocss
 
getpsalm.org
Psalm - a static analysis tool for PHPgetpsalm.org
14 saves · From 2017 · 10) { $a = 5; } else { //$a = 2; } echo $a; // uncomment the line above to fix! Life is complicated. PHP can be, too. Psalm is designed to under­stand that complexity, so it can quickly pinpoint type…
php
 
codacy.com
Automated Code Reviewcodacy.com
1 min read · 29 saves · From 2015 · Codacy automates code reviews and monitors code quality over time. Static analysis, code coverage and metrics for Ruby, JavaScript, PHP, Scala, Java, Python, CoffeeScript and CSS.
security
coverage
auditing
 
pchiusano.github.io
Paul Chiusano: The advantages of static typing, simply statedpchiusano.github.io
9 min read · 24 saves · From 2016 · Functional programming, UX, tech, econ Twitter • GitHub • LinkedIn • RSS Consulting services I offer Scala and FP consulting services. If you're interested in working together, please contact me.…
articles
programming
programming languages
 
github.com
facebook/pyre-checkgithub.com
19 saves · From 2018 · pyre-check - Performant type-checking for python.
python
taint analysis
static analysis
 
sourcetrail.com
Sourcetrail - A cross-platform source explorer for C/C++ and Javasourcetrail.com
4 min read · 17 saves · From 2017 · Sourcetrail is a productivity tool for software developers on Windows, Mac and Linux. It uses static source code analysis to provide a visualization that lets you follow calls and other dependencies.
 
php-di.org
PHP-DI 6php-di.org
11 saves · From 2016 · PHP-DI's configuration is written in PHP, allowing to benefit from auto-completion, static analysis and refactoring support with any IDE. The configuration format has been imagined as a successor of…
 
Nielsen Norman Group
Which UX Deliverables Are Most Commonly Created and Shared?Nielsen Norman Group
6 min read · 24 saves · From 2015 · Static wireframes are the most popular UX deliverable, but 11 different deliverable formats were used by at least half the professionals we surveyed.
artifacts
ux
deliverables