GitHub - mingrammer/diagrams: Diagram as Code for prototyping cloud system architecturesA tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
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 confesses its love for Linux
My colleagues and I have long refused to discuss the topic of development of PVS-Studio for the Linux OS and UNIX world in general. It's not about personal preferences or technical issues. It's much simpler - this is a cold, pragmatic approach to product development. We are a small company that is living solely on selling the PVS-Studio software product. We do not receive any grants or other suppo
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 rsc@swtch.com 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
Tools for working with Go Code
Go tools are special. Go was designed from the beginning to make tools easy to write. This caused the Go ecosystem to have dozens of well built tools, such as formatters, refactoring tools, code generators, navigators, and so on. This talk highlight some of the best and most used tools and show how to use them from an editor.
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
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
