GitHub - aquasecurity/tfsec: Security scanner for your Terraform code
As part of our goal to provide a comprehensive open source security solution for all, we have been consolidating all of our scanning-related efforts in one place, and that is Trivy. Over the past year, tfsec has laid the foundations to Trivy's IaC & misconfigurations scanning capabilities, including Terraform scanning, which has been natively supported in Trivy for a long time now. Going forward w
自分用 golang emacs 開発環境 1st Step にゃ - Qiita
$ cd ~/go # go mod がないと install 出来ない $ curl -sfL https://raw.githubusercontent.com/golangci/golangci-lint/master/install.sh| sh -s -- -b $(go env GOPATH)/bin v1.20.0 # version その時その時で # This file contains all available configuration options # with their default values. # options for analysis running run: # default concurrency is a available CPU number concurrency: 2 # timeout for analysis, e.g. 30
CircleCIとdangerで、どんなプロジェクトでも簡単に「Stop saying "you forgot to …"」 - Qiita
CircleCIとdangerで、どんなプロジェクトでも簡単に「Stop saying "you forgot to …"」GitHubCircleCIpullrequestDangerCircleCI2.0 CircleCI Advent Calendar 2018の9日目です🎄 8日目の記事は @f-naoto832 さんのCircleCIで試行錯誤した話でした。 はじめに この記事は CircleCI2.0とdanger（ruby）専用のdocker imageを使うことで どんなプロジェクトでもdangerを利用できるようにした例を紹介します。 主な対象読者 最終的にPRで、approveする人（Techリードとか?） ruby, js, swift以外のどんなプロジェクトでもdangerを実行したい人 CIの整備をしている人 きっかけ ソースコードレビュー時、「〇〇、まだ終わっ
[速報] コードレビューの自動化！パフォーマンスやコストの最適化まで出来ちゃう Amazon CodeGuru が発表されました！#reinvent | DevelopersIO
こんにちは、大阪オフィスの丸毛（@marumo1981）です！ ただいま開催されている、re:Invent 2019のキーノートにて、コードレビューの自動化サービス「Amazon CodeGuru」が発表されました。 Amazon CodeGuru とは？ CodeGuru は機械学習に最適なパフォーマンスと、ベストプラクティスに沿ったコードをユーザに提供するための自動化されたコードレビューサービスです。以下の2つの機能を提供します。 CodeGuru Reviewer CodeGuru Profiler CodeGuru Reviewer コードレビューの自動化 - ソースコードのプルリクエストを自動的に分析して重要な問題を見つけ、プルリクエスト内でコードの欠陥を直接解決するためのインテリジェントな推奨事項を提供 高速で信頼性の高いコードの問題検出 スレッドセーフの問題、非サニタイズされ
![[速報] コードレビューの自動化！パフォーマンスやコストの最適化まで出来ちゃう Amazon CodeGuru が発表されました！#reinvent | DevelopersIO](https://cdn-ak-scissors.b.st-hatena.com/image/square/a298426174d5914a0e9708095c8dd40c4722cc0d/height=288;version=1;width=512/https%3A%2F%2Fdevio2023-media.developers.io%2Fwp-content%2Fuploads%2F2019%2F12%2Freinvent2019_newservice_eyecatch.jpg)
Source Trail : Solving programming and code problems for programmers
Python Browse all Python answers Django Flask Pandas NumPy PyTorch Javascript Browse all JavaScript answers Typescript jQuery React React Native
githubで最もやべー関数を発掘する - Qiita
はじめに 先日、職場で「自分が 改修したor 書いちゃった いちばんやべー関数」ネタで盛り上がりました。 みんないろいろ話してくれましたが、やっぱり僕の書いた「コマンドパターンのメインループ関数(1500行)」の圧勝でした。 なんであんなコード書いたんだろ。 そこで、今日は僕の傷ついたプライド癒すべくgithubから「世界でいちばんやべー関数」を発掘します。 つまり、「俺が書いた関数よりやべー関数に会いに行く」 結論 マジでやべー関数は次の2つ 「opencvリポジトリのcv::agast_cornerScore<AgastFeatureDetector::AGAST_7_12s>関数」(複雑度1868) 「SuiteCRMリポジトリのOpenTag関数」(複雑度1509) 言語毎の傾向に着目すると... javascriptにはやべー関数が多い python/java/swift/rub
SonarCloud Online Code Review as a Service Tool
In your IDEFree IDE extension that provides on-the-fly analysis and coding guidance Self-managedSelf-managed static analysis tool for continuous codebase inspection
Goでエラーのチェックが行われているかをkisielk/errcheckを使って静的に解析する - Qiita
Goでエラーのチェック(エラーハンドリング)をしているかどうかを静的に解析してくれるkisielk/errcheckというツールが便利なので、使い方を簡単にまとめた。 kisielk/errcheck: errcheck checks that you checked errors.を大変参考にさせていただいた。 基本的な機能 基本的な機能としては、エラーをチェックしているか(ハンドリング)しているかどうかをチェックしてくれる。 例えば以下のようなコードがあった場合に、mainでvalidate関数を呼び出しているが、エラーのチェック(エラーハンドリング)を行っていないため、errcheck ./... で下記のようなメッセージが表示される。 コード package main import ( "errors" "fmt" ) func main() { // ここでエラーハンドリングを本
CBMC: Bounded Model Checking for Software
About CBMC CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11/C17 and most compiler extensions provided by gcc, clang, and Visual Studio. A variant of CBMC that analyses Java bytecode is available as JBMC. CBMC verifies memory safety (which includes array bounds checks and checks for the safe use of pointers), checks for exceptions, checks for various va
プログラムの複雑さとは何か? 【▲→川俣晶の縁側→ソフトウェア→技術雑記】
オータムマガジンにトーノZERO氏参戦で、オータムマガジンの最上位の表紙を見ると、まるでアニメ感想サイトのように見えかねません。というわけで、トーノZERO氏に負けないように、ヘロヘロな身体を鞭打って、硬派の (でも本当はミーハーな) ソフトウェア関連コンテンツを行きます。 学生時代に考えたこと § ここでは、学生時代にプログラムの複雑さについて考えていたことを、書いてみたいと思います。 この話は、次に書かれるであろう「C言語を用いたモジュールプログラミング入門」の布石となるものでもあります。 ちなみに、これは私が「学生時代に考えたこと」であって、この考えがどれぐらい適切なものであるかは分かりません。考えたことと言っても、いろいろな本から受けた知識や印象にかなり依存している部分があると思います。つまり、完全にオリジナルというわけではありません。 複雑なプログラムとは何か § 複雑なプログラ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Supported Languages for Maintainability
GitHub - weijiangan/flycheck-golangci-lint: Flycheck checker for golangci-lint
GitHub - hhatto/gocloc: A little fast cloc(Count Lines Of Code)
GitHub - golangci/golangci-lint: Fast linters runner for Go
GitHub - kyoh86/scopelint: scopelint checks for unpinned variables in go programs
GitHub - CoatiSoftware/Sourcetrail: Sourcetrail - free and open-source interactive source explorer
GitHub - flycheck/flycheck: On the fly syntax checking for GNU Emacs
GitHub - kisielk/errcheck: errcheck checks that you checked errors.
Java Pathfinder - Wikipedia
GitHub - diffblue/cbmc: C Bounded Model Checker