News for hackers. Stuff that matters.

A comment on Why Don't Software Developers Use Static Analysis Tools to Find Bugs?. Parent comment

Re:Why Don't Software Developers Use Static Analysis Tools t... by seanmcdirmid on Friday June 26, 2015 @07:20AM (#9783563)
Going incremental is another option: if the analysis was done overnight and you only made a few changes, there shouldn't be much to do to "repair" the analysis according to your changes.

But the PL community is not really good with incremental computations, especially ones that must consider arbitrary code changes (which, for example, can cause non-monotonic movements in your lattices).

[ Parent | on HN ]
Re:Why Don't Software Developers Use Static Analysis Tools t... by dllthomas on Friday June 26, 2015 @06:11PM (#9788051)
'[I]f the analysis was done overnight and you only made a few changes, there shouldn't be much to do to "repair" the analysis according to your changes.'

I would be tremendously surprised if that proved to be true in the general case, but it might well be true enough in common cases to be practical. Very interesting notion...

[ Parent | on HN ]