GitHub - aquasecurity/tfsec: Tfsec is now part of Trivy
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
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. For Rust, get Kani. CBMC verifies memory safety (which includes array bounds checks and checks for the safe use of pointers), checks for various furthe
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Supported Languages for Maintainability
SonarQube Cloud Online Code Review as a Service Tool
Java Pathfinder - Wikipedia
GitHub - diffblue/cbmc: C Bounded Model Checker
Are comments a code smell? Yes! No? It Depends.
GitHub - deep-cover/deep-cover: The best coverage tool for Ruby code
https://www.nccgroup.com/uk/about-us/newsroom-and-events/blogs/2017/july/sobelow-static-analysis-for-the-phoenix-framework/
GitHub - jeremyjh/dialyxir: Mix tasks to simplify use of Dialyzer in Elixir projects.
