One approach aiming at reducing the number of bugs is sound static program analysis. Static analyzers come with a variety of configurations, allowing users to choose different performance-precision trade-offs. The goal of this project is to develop techniques enabling resource-aware static analyses, that will automatically find the best configuration for the analysis in order to yield the most precise results while respecting a provided resource envelope (CPU time, peak memory usage). This project will improve the usability of static analyzers, simplify their use in industrial development cycles (where each cycle has different resource constraints), and develop a computing-within-limits approach to static analysis fitting to a post-Moore’s law era.