static-analysis
Static code analysis tool for Common Lisp?
I\'m busy learning Common Lisp, & I\'m looking for a static code anal开发者_运维百科ysis tool that will help me develop better style & avoid falling into common traps.[详细]
2023-03-06 02:37 分类:问答Anticipating program crashes
I\'m working on a program that should be able to tell if any program I run on my computer will crash.[详细]
2023-03-05 20:43 分类:问答Confusing control flow analysis from Parasoft C++test
We use Parasoft C++test to statically analyze our code. It\'s having trouble with code like the following:[详细]
2023-03-01 09:18 分类:问答How to enforce usage of the @Override annotation? [closed]
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.[详细]
2023-02-28 16:44 分类:问答How to mark a function as non-returning in Parasoft C++test?
We have a die function that outputs an error message and exits, e.g.: void die(const char* msg) { fprintf(stderr, \"Error: %s\\n\", msg);[详细]
2023-02-27 05:33 分类:问答Why does instruments not find this leak?
Quick one folks. Have a quick look at the code snippet below. I alloc the UILabel *textLabel but I don\'t release it (commented out). When the method ends, I lose reference to the pointer so it leaks.[详细]
2023-02-27 03:21 分类:问答control flow graph of a c program to find worst possible path
Are there any tools, libraries, or frameworks to get the control flow 开发者_C百科graph of a C program, and find the worst possible path a program can take?[详细]
2023-02-25 11:00 分类:问答Findbugs reports an incompatible bit mask bug, but I don't see how
I have a Comp开发者_JAVA技巧arator that checks \"null\"s for the two objects before comparing their contents.[详细]
2023-02-25 05:20 分类:问答Is there a way to enforce using tabs instead of spaces in Java?
CheckStyle offers to check for consistent use of spaces, but sadly lacks the opposite idea: Force source code to use tabs. Is there some way to add this functi开发者_运维技巧onality? It does not have[详细]
2023-02-24 22:20 分类:问答PMD rule test classes source for benchmarking
Are there any test classes where PMD rule can be tested ? Basically i want to benchmark some other tool again PMD\'s basic rule set. Like PMd must be testing its rule against some te开发者_运维知识库s[详细]
2023-02-22 17:52 分类:问答