Enterprise SAST Platform & Static Code Analysis Software
CodeSonar, our award-winning SAST platform, includes deep support for C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript, and TypeScript. Multiple development tool integrations for DevSecOps implementations enhance team collaboration. Download Data SheetRequest a Trial Implement Deep Static Code AnalysisFind Vulnerabilities Others MissCodeSonar is a static code analysis solution that helps you
それなりの規模のソフト開発における静的コード解析活用プラクティス
静的コード解析(スタイルチェック…特にバグの警告)について有効に使うためのプラクティスであまり語られていないところをまとめました。 #Static Code Analysis, Style Checker, 静的解析
Separation logic and bi-abduction | Infer
Separation logic Bi-abduction Technical papers Separation logic Separation logic is a novel kind of mathematical logic which facilitates reasoning about mutations to computer memory. It enables scalability by breaking reasoning into chunks corresponding to local operations on memory, and then composing the reasoning chunks together. Separation logic is based on a logical connective \( * \) called
GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
By Bart Jacobs*, Jan Smans*, and Frank Piessens*, with contributions by Pieter Agten*, Cedric Cuypers*, Lieven Desmet*, Niels Mommen*, Jan Tobias Muehlberg*, Willem Penninckx*, Pieter Philippaerts*, Nima Rahimi Foroushaani*, Amin Timany*, Thomas Van Eyck*, Gijs Vanspauwen*, Frédéric Vogels*, and external contributors * imec-DistriNet research group, Department of Computer Science, KU Leuven - Univ
Papers on VeriFast
The VeriFast program verifier By Bart Jacobs and Frank Piessens Technical Report CW-520, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, August 2008 [PDF] The VeriFast Program Verifier: A Tutorial [PDF] [illegal_access.c] Verification of Imperative Programs: The VeriFast Approach -- A Draft Course Text By Bart Jacobs, Jan Smans, and Frank Piessens Technical Report CW-578,
Infer Static Analyzer | Infer | Infer
A tool to detect bugs in Java and C/C++/Objective-C code before it shipsInfer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Frama-C/Eva in SATE VI with Juliet 1.3 - Frama-C news and ideas
Inspecode / Rocro
Coverity Scan - Static Analysis