GSoC proposal: Static Analyzer support for dynamically loadable checkers

[Martin_Milata]

Hello,
below is my Google Summer of Code project proposal. I will be grateful
for any comments.

Martin Milata

* * *

Static Analyzer support for dynamically loadable checkers