static-analysis

相关标签：javascript jquery android 多少钱 iPhone

Any static analysis tools that help detect CPU endian issues?

Our team has managed a code base on an embedded big endian CPU for many years (10+). We have generally not bothered to consider endian issues during this development and maintenance of this embedded c[详细]

2023-01-10 08:42 分类：问答
Suggested thresholds for some software metrics

I was searching the internet for some suggestions for thresholds for the following well-known software product metrics:[详细]

2023-01-10 01:46 分类：问答
Objective c memory leak

Here are two methods that return a dictionary of my custom four-propery objects.They make arrays of strings, floats and BOOLs to put in the Chemical objects, then build a dictionary from the arrays.I\[详细]

2023-01-09 08:34 分类：问答
Where is the extension/extensibility point for vs2010 code metrics?

I\'d like to extend the 2010 static开发者_开发百科 code analysis metrics (mostly fix it so the rollup is max instead of sum). Where is the extensibility point? Is it an MEF component somewhere?I am no[详细]

2023-01-09 06:45 分类：问答
Measuring the complexity of SQL statements

The complexity of methods in most programming languages can be measured in cyclomatic complexity with static source code analyzers. Is there a similar metric for measuring the complexity of a SQL quer[详细]

2023-01-09 00:33 分类：问答
Binary Analysis Research Tools

Can some one provide me with a list of leading binary research tools for Windows O开发者_高级运维S and windows applications? I found BinScope from microsoft itself but was wondering if there are any o[详细]

2023-01-08 04:04 分类：问答
How does ReSharper know this return type is never null?

I\'m using ReSharp开发者_Go百科er 5.0, and am wondering how its code analysis function knows to higlight the following assemblies == null with the comment \"Expression is always false\".[详细]

2023-01-07 15:47 分类：问答
Does prepared statement prevent SQL-Injection here

The code below is from SAMATE Reference Dataset. I used it to test a static a开发者_如何学Cnalysis tool.[详细]

2023-01-06 06:42 分类：问答
Languages specifically designed to make static verification easier

A lot of languages (perhaps all of them) are design开发者_StackOverflowed to make writing programs easier. They all have different domains, and aim to simplify developing programs in these domains (C[详细]

2023-01-06 01:22 分类：问答
splint failing on code that includes complex.h

I\'m trying to run splint on a C source that includes complex.h from the standard C library to support complex arithmetic.[详细]

2023-01-05 07:49 分类：问答