Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Astrée Static Analyzer for C and C++. Parent comment
Usually, the time required to properly setup and understand and refine the analysis will take most of the trial period.
These tools are better thought of in the long term, they may require some changes to coding style, and also some knowledge of the code itself.
While they are good for building defenses, they are not so effective for helping attackers. But in the end, yes, they _could_ be used for that.
There are no comments on this comment yet.
Usually, the time required to properly setup and understand and refine the analysis will take most of the trial period.
These tools are better thought of in the long term, they may require some changes to coding style, and also some knowledge of the code itself.
While they are good for building defenses, they are not so effective for helping attackers. But in the end, yes, they _could_ be used for that.