Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

API misuse error from static analyzer

How to traverse the AST generated by spidermonkey (Javascript file)

C# Code Contracts: Are postconditions on members accessible from other threads useless?

Detecting the use of HRESULTs as bools

How to detect or prevent uninitialized array elements at compile time?

c arrays static-analysis

What are resources for building a static analyzer for C in C?

c parsing static-analysis

How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system

Is it possible to get comments as nodes in the AST using the typescript compiler API?

Exclude all generated code from dartanalyzer

check if c++11 features are used or not

c++ c++11 static-analysis

LLVM Loop Invariant Code Motion (-licm) pass

Can an overriden method be statically analyzed?

c# oop static-analysis

How do I run a style linter and commit changes without destroying the git blame history?

git static-analysis

Catching overflow of left shift of constant 1 using compiler warning?