https://5dok.org/document/z1d5933p-defining-a-software-analysis-framework.html