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

Discover NullPointerException bugs using FindBugs

java static-analysis findbugs

Any alternatives to the .Net 4 Code Contracts static analyser?

c# .net visual-studio-2010 static-analysis code-contracts

Collection Contracts and Threading

c# static-analysis code-contracts

Python: statically detect unhandled exceptions

python exception-handling static-analysis

Passing a list as a url value to urlopen

python pycharm static-analysis type-hinting urlopen

How to generate program dependence graph for C program?

c graph static-analysis

Is there a @NonNullByDefault annotation in IDEA?

java null intellij-idea static-analysis

C++ How to warning about difference between argument names in function declaration and definition

c++ static-analysis

Cppcheck GUI: Excluding a file or folder from checking

configuration-files static-analysis cppcheck

How to find potential unchecked exceptions in Java?

java exception exception-handling static-analysis software-quality

Function prototype in header file doesn't match definition, how to catch this?

c linker static-analysis function-prototypes

How can I do a check of the signal/slot connect's during compilation?

c++ qt static-analysis signals-slots

Why int a; a = std::max(a, x) doesn't emit "uninitialized" warnings

c++ compiler-warnings static-analysis

Why is determining if a function is pure difficult?

algorithm functional-programming static-analysis

Java coding style

c# java coding-style static-analysis

What are the gaps between symbolic execution and taint analysis?

security runtime static-analysis dynamic-analysis symbolic-execution

How to prevent false positive null pointer warnings, when using CGLIB / Spring AOP?

java intellij-idea spring-aop static-analysis cglib

How can I lint C++ code to find all unused return values?

c++ static-analysis
« Newer Entries Older Entries »