Somehow I overwrote Tianyuan's static analysis restults so I manually copy and pasted them in