static-analysis

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

About downcasting from base class to subclass pointer

A static check tool shows a violation on the below code: class CSplitFrame : public C开发者_高级运维FrameWnd[详细]

2023-01-18 01:31 分类：问答
Tool for source code analysis? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.[详细]

2023-01-16 20:40 分类：问答
Is there a static analysis tool like Lint or Perl::Critic for shell scripts?

Are there any shell (specifically bash or ksh) checkers that test shell scripts for style, best practices, naming conventions, etc?(Something like Lint for C, or Perl::Critic for Perl.)[详细]

2023-01-15 13:01 分类：问答
Proper choice of rules in VS2010's static analyzer

There are many groups in VS2010\'s static analyze开发者_运维技巧r: All Rules Basic Correctness Rules[详细]

2023-01-15 07:52 分类：问答
GrammaTech CodeSonar - output to CSV

I need to export GrammaTech CodeSonar\'s analysis from my browser\'s hub to a CSV. However, I want to include my Notes, but don\'t know how to in开发者_StackOverflow社区clude them in the export.[详细]

2023-01-15 07:47 分类：问答
Gimpel's PC-lint can't trace dangling pointer?

I\'ve been using PC-lint9 to find out diff开发者_JAVA技巧erent errors recently and it really blow my mind,but it seems PC-lint9 can\'t trace dangling pointer, here is snapshot of the code I exam with.[详细]

2023-01-15 04:22 分类：问答
Determining missing dependencies statically when using dependency injection container

When using a dependency injection container, missing dependencies are detected when you execute resolve.This is at runtime.[详细]

2023-01-14 01:29 分类：问答
How to check that bytecode operation PUTFIELD is reassigning a field belonging to 'this' object using ObjectWeb ASM?

I am using the ASM bytecode manipulation framework to perform static analysis on Java code. I wish to detect when fields of an object are reassigned, i.e. when this kind of code occurs:[详细]

2023-01-13 05:59 分类：问答
Tools for generating Haskell function dependency (control flow) graph?

Note not \"functional dependency\". Are there tools availabl开发者_运维技巧e that allow me to build a static function dependency graph from source code? Something which indicates to me which functions[详细]

2023-01-10 20:17 分类：问答
Static Analysis API's?

I am interested in static analysis tools that are out there. Or rather the API\'s t开发者_高级运维hat are supported to allow me to write my own tools using these API\'s.[详细]

2023-01-10 16:43 分类：问答