https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53871
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dmalcolm at gcc dot gnu.org, | |egallager at gcc dot gnu.org, | |kuq03132 at qoika dot com --- Comment #10 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #3) > (In reply to Tim Ruehsen from comment #2) > > Maybe it's time for a gcc static analyzer... > > In terms of technology, never has been a better time than now: GCC internals > have never been as clean and re-usable, there is some interest in > modularization, there is now the possibility of creating powerful plugins, > etc. However, in terms of human resources, there is simply no one interested > in working on this, for the reasons given above. Hence, someone new will > need to appear: either a new company, a new group of developers, or a > charismatic and committed developer that can rally existing developers > around him/her. So, David Malcolm has contributed a static analyzer to GCC now; cc-ing him...