4 ms·
This article is one of the reason I created my tool: http://www.qamine.com http://www.qamine.com Qamine integrates directly with github and is designed to be u
by jaimefjorge 14y ago
This article is one of the reason I created my tool: http://www.qamine.com http://www.qamine.com
Qamine integrates directly with github and is designed to be used by small and medium companies that cannot afford those expensive tools.
- Darmani 14y agoYour tool looks pretty cool and useful, but it seems quite a bit different than tools like Coverity and Astree which reason about the behavior of programs under all possible inputs. Coverity can detect race conditions. Your tool looks like it's using technology closer to that of Refactoring Crawler, which was a quite impressive achievement, but not a static analysis tool.