static-analysis
C# Code Contracts: What can be statically proven and what can't?
I might say I\'m getting quite familiar with Code Contracts: I\'ve read and understood most of the user manual and have been using them for quite a while now, but I still have questions. When I search[详细]
2023-02-12 02:41 分类:问答Lint-checking tools for Objective-C development [closed]
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.[详细]
2023-02-10 13:27 分类:问答Static analysis tool for Java that reports subclassing/implementing specific classes?
We just refactored several implementations of ThreadFactory into a single class. I\'d like to set up a build which will report if new implementations of ThreadFactory get checked 开发者_JAVA百科in.Two[详细]
2023-02-10 09:40 分类:问答Static analysis of Java call graph
What I\'d like to do is scan a set of Java classes, and trace all method calls from a specific method of an Abstract Class, and within that context, build a list of all code which performs some operat[详细]
2023-02-10 02:56 分类:问答What are resources for building a static analyzer for C in C?
I have a school project to develop a static analyzer in C for C. Where should I start? What are some resources which could assist me?[详细]
2023-02-09 12:19 分类:问答Type checker for JavaScript?
Does anyone know if there\'s a good tool for analyzing JavaScript code and detecting type errors?I know that JavaScript itself is weakly and dynamically typed, but it would be really nice if I could h[详细]
2023-02-09 08:22 分类:问答Measuring DRY-ness of Asp.Net code using Static Analysis
Are there static analysis tools for Asp.Net that measure the DRY-ness (\"Don\'t开发者_如何转开发 Repeat Yourself\") of code?[详细]
2023-02-05 15:40 分类:问答How to fix the following PMD violations
I am using PMD to analyze code and it produces a few high priority warnings which I do not know how to fix.[详细]
2023-02-02 18:13 分类:问答Xcode Build and Analyze - Is it possible to purposely skip analysis on a particular file?
I have one particular file in my project which is being worked on by someone else.I don\'t want to mess with it and would rather not wait for \"Build and Analyze\" to process it.Is there a way to tell[详细]
2023-02-02 11:36 分类:问答Going through members of a C++ class
As far as I know, if I have a class such as the following: class TileSurface{ public: Tile * tile; enum Type{[详细]
2023-02-01 12:52 分类:问答