https://123dok.net/document/y8gpxme0-static-analysis-abstract-interpretation-sequential-multi-thread-programs.html