Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in static-analysis

Why does using += on a nullable type result in a FORWARD_NULL defect

c# nullable static-analysis coverity

How does one prove simple equalities of non-deterministic values in Frama-C + EVA?

c static-analysis frama-c abstract-interpretation

How do you know if a JavaScript library you are using will break your code after an upgrade?

javascript static-analysis dynamic-languages

Why does the dependence graph of this scanf()-using program by Frama-C look like this?

c static-analysis frama-c

SQL injection finders [closed]

java sql security static-analysis

making c++ variables const

c++ constants static-analysis

Are there any tools to perform a security analysis against .net desktop assemblies and excutables? [closed]

security assemblies static-analysis fxcop gendarme

How can I search a java code base for interfaces that have a single method?

java java-8 static-analysis functional-interface

How well does static code analysis work with Spring and other abstractions?

spring jsf static-analysis abstraction coverity-prevent

Tool for model checking large, distributed C++ projects such as KDE?

c++ static-analysis formal-methods formal-verification model-checking

Find uncaught exceptions in C# code

c# .net exception code-analysis static-analysis

How to find and avoid uninitialised primitive members in C++?

c++ gcc static-analysis

Why are static analyzer issues not failing my CI build?

xcode travis-ci static-analysis xcodebuild

Dangerous magic number N used

c++ static-analysis pvs-studio

Finding "fallthroughs" in C code

c switch-statement static-analysis

Specifying a string value in the type definition for the Elixir typespecs

erlang elixir static-analysis typechecking dialyzer

Static Analysis erroneously reports out of bounds access

static-analysis frama-c

Adding missing NULL checks after malloc with coccinelle

c null static-analysis coccinelle

Using Sparse to check C code

c linux sparse-matrix static-analysis

Java for each loop being flagged as UR anomaly by PMD

java for-loop code-analysis static-analysis pmd
« Newer Entries Older Entries »