static-analysis

static-analysis

CKJM tool metrics not meeting the expectation

Flutter - MobSF - Static Analysis

Why does codacy give `Unnecessary block` error for function declaration?

is static checker the same as static analyzer?

How much can we trust to warnings generated by static analysis tools for vulnerablity detection?

Helix QAC++ project creation by cli

Souffle datalog: Stop execution when one record of a relation exists

PHPStan Extension: Dynamic Return Types with Value Objects

PHPStan Extension: Dynamic Return Types and a Variadic Function Parameter

Semgrep: Is it possible to match a function based on its body, instead of its name?

How can I combine Fortify FPRs?

How to package .NET application for veracode scanning

Does cppcheck analyses over multiple files

Frama-c WP and preconditions

Function call in a "if" clause to ACSL

get method hierarchy through static code analyser tools

Frama-C - Get function input value through command line

ES6 inherited function returns wrong type when invoked on subclass

Are pysa users expected to copy configuration files?

Static Analysis erroneously reports out of bounds access

How to optimize cppcheck static analysis

Merge static analyzer reports

ignore certain files when using clang-tidy

Bad CPU type in executable - Jslint

klocwork : kwconan fails with "Error: Cannot proceed: Cannot validate tables"

How do tools like clang-tidy or cppcheck compare to klocwork? [closed]

How to enforce multiple exception catchs in separate lines with checkstyle or PMD?

Is there a way to configure cppcheck with ability to specify positional argument number for alloc/dealloc

cppcheck configuration to check for freeing memory that is not owned

Import/Export of HP Fortify Audited Results

How to trigger a static analyzer warning on a specific code path?

Spotbugs on a single file?

Which is the more important code quality metric - between cyclomatic complexity or average fan out?

How long it take for coverity analysis after travis build success?

statement not allowed after 'return', 'break', 'raise', 'continue'

Static code analysis tool for terraform [closed]

Suppressing a null dereference warning in static analysis coming from stub implementations in tests

static code analysis tool to Verifone terminals

Coverity analysis: ignore 3rd party libraries

scanf not working as expected in Frama-C

Issue while using yasca in CentOS

Dealing with code movement when comparing static analysis reports

Unaccounted lines of code in coverity scan

Elm find unused functions

Invalid assertion for overflow check Frama-C

Jessie plugin integration with Frama-c Aluminium

How to find equivalent APIs of static analysis report in dynamic report?

Is there any tool that can analyze my PHP 5.3 source code and give me a list of things to fix to migrate to PHP 5.6?

Coverity vs. IAR C-STAT

Can Provably Fair truly be fair?

Is static analysis really formal verification?

Open Source Static Code Analysis Models

How to utilize code analysis with no default branch

how do we ignore standard library headers and thirdparty libraries from being processed by flexelint

About a type specifier in NuSMV (error: invalid subrange)

Listing possible null dereference or forward null in CPP source code

Is there a list of Cppcheck messages?

How do you include subroutine calls in a control flow graph?

How to track differences between the C source and Frama-C's preprocessed code?

Avoiding scanning third party libraries through Veracode's static scan

page:1 of 2 next page main page

Categories

microsoft-teams

continuous-integration

lazy-evaluation

helix-3d-toolkit

inventory-management

azure-devops-yaml

nsurlconnection

spring-statemachine

chrome-web-store

mongodb-nodejs-driver

azure-ad-powershell-v2

aws-transfer-family

xcode-ui-testing

jquery-terminal

cxf-codegen-plugin

power-management

default-constructor

kendonumerictextbox

windows-phone-7

android-version

android-studio-2.0

in-house-distribution

meteor-slingshot

rails-migrations

Resources