GitHub - mingrammer/diagrams: :art: Diagram as Code for prototyping cloud system architecturesYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Infer : RacerD | Infer
RacerD finds data races in your Java code. This page gives a more in-depth explanation of how the analysis works, but may be less complete than the Thread Safety Violation bug description page. To run the analysis, you can use plain infer (to run RacerD along with other analyses that are run by default) or infer --racerd-only (to run only RacerD). For example, the command infer --racerd-only -- ja
How to use PVS-Studio for Free
Introduction The main customers of the PVS-Studio tool are the development departments of various companies. At the same time, we would also like to see individual developers as our clients. Unfortunately, our experimental product CppCat had no success. We don't know how we can build a successful business in the sphere of static analysis by selling individual licenses. This is why we still see PVS
Mono Project
Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET) and looks for common problems with the code, problems that compiler do not typically check or have not historically checked. Gendarme uses the Cecil library to introspect code. Why ? Because we often repeat our m
PVS‑Studio | Posts: articles
To get the licence for your open-source project, please fill out this form
Overview — DXR 2.0 documentation
Overview¶ DXR is a code search and navigation tool aimed at making sense of large projects like Firefox. It supports full-text and regex searches as well as structural queries like “Find all the callers of this function.†Behind the scenes, it uses trigram indices, elasticsearch, and static analysis data collected by instrumented compilers to make searches faster and more accurate than is possible
Regular Expression Matching with a Trigram Index or How Google Code Search Worked
Regular Expression Matching with a Trigram Index or How Google Code Search Worked Russ Cox [email protected] January 2012 Introduction In the summer of 2006, I was lucky enough to be an intern at Google. At the time, Google had an internal tool called gsearch that acted as if it ran grep over all the files in the Google source tree and printed the results. Of course, that implementation would be fairl
Analyzing Vim by PVS-Studio in GNU/Linux
A few words about Vim for a start Vim (http://www.vim.org/) is a cross-platform free text editor with a 30-year history, a successor of the vi editor, coming from the world of Unix systems. Vim is widely used in administration and development tasks, and is the default text editor in many GNU/Linux distributions. What distinguishes it from other text editors is that it is designed to be used with t
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - jendrikseipp/vulture: Find dead Python code
GitHub - analysis-tools-dev/static-analysis: âš™ï¸ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Golang code inspection tools · Software adventures and thoughts
GitHub - hound-search/hound: Lightning fast code searching made easy
google/codesearch: Fast, indexed regexp search over large file trees
[PDF]The impact of syntax colouring on program comprehension
Tools for working with Go Code
GitHub - timothycrosley/deprecated.frosted: A simple program which checks Python source files for errors.
landscapeio/prospector: Inspects Python source files and provides information about type and location of classes, methods etc
GitHub - opennota/check: A set of utilities for checking Go sources. This repository has migrated to https://gitlab.com/opennota/check
GitHub - facebookarchive/codemod: Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at Facebook and released as
code generation from C in gopsutil
{{#tags}}- {{label}}
{{/tags}}