https://uditagarwal.in/static-program-analysis-motivation-and-techniques/