3 ms·
Curious, how does this compare to a statically typed language compiler?
by golergka 9y ago
Curious, how does this compare to a statically typed language compiler?
- wschoi 9y agoWhile DeepScan finds some type-related errors, it focuses on finding issues orthogonal to type checking. For comparison with Java, DeepScan is like FindBugs. Check the reply that I have wrote for shamas.
- yorwba 9y agoSince the landing page mentions "semantic analysis" and based on the BAD_MIN_MAX_FUNC example in another comment, I think this is mostly focusing on logic errors that would pass a type checker/compiler without problem but show incorrect behavior at runtime. A similar product would be PVS-Studio https://www.viva64.com/en/pvs-studio/ https://www.viva64.com/en/pvs-studio/ (I haven't used it, but their articles occasionally get posted to HN.)