I have been looking for tools to help detect errors that prevent a program from running properly as 64-bit code. Most recently, I\'ve been toying with Klocwork and its custom checkers feature, which l
In Scala I can use the concept of phantom types (as described e.g. here) to mark types and have 开发者_运维问答this information erased at runtime. I wonder whether it is possible to mark primitive typ
I want to ask what sort of type safety languages constructs are there on Clojure? I\'ve read \'Practical Clojure\' from Luke VanderHart and Stuart Sierra several times now, but i still have the disti
In the FindBugs distribution, annotations.jar is not a subset of jsr305.jar. However, several annotations seem to be duplicated (either 开发者_如何学Goexactly, or very closely). Should I prefer an ann
I\'m looking for a s开发者_JAVA百科tatic analysis tool for C that performs dataflow analysis and computes use-define chains (preferably a command line tool). So far I have tried CIL, clang, lint, goan
I have rewritten the question (the question remains the same, just with less background noise) in hopes of creating less confusion directed at all the wrong things - due to this, some of the comments
I have some POJOs that are used to shuffle data around in my application and its webservices. We have just introduced an annotation to help us verify that String fields in those POJOs are of a certain
Is there a static analysis tool 开发者_开发问答for identifying sql injection for php/mysql. A tool which run on a php script would analyze the sql statements and find if there are any possible sql in
I am looking at doing some static code analysis of an exisiting PHP proje开发者_如何学Goct, and I\'m having trouble understanding the distinctions between PHP_CodeSniffer, PHPMD, and PHP Depend. Are t
I\'m trying to create a static rule to check the token passing for defensive programming in a SIL4 application.
加载中,请稍侯......