Description
To provide more out-of-the-box functionalities, we should provide more implementations for standard analyses. We should start from taint analysis, string analyses, numeric analyses, and possibly an interface with APRON.