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 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

Any way to fail build in TeamCity by result of cppcheck analysis

continuous-integration teamcity static-analysis cppcheck

When is it necessary to declare return function type in TypeScript?

javascript typescript static-analysis typing

Is it possible to decouple the code indexing capabilities of Eclipse?

java eclipse indexing 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 »