For me, [Static Analyzer] means [realistic style painting. Soldiers are demining at the field using metal detectors.They find many mines, but few mines are left, hidden.].
Long Description (up to 3 sentences)
Each soldier(static analyzer) is finding mine(bug) before somebody steps on it(program crash). Metal detector is used for abstraction, which abstracts mine as metal. If metal detector alarms, there may be a mine or it could be a false alarm that detected garbage metals.
Name: Choi, Jinho
Short Description
For me, [Static Analyzer] means [realistic style painting. Soldiers are demining at the field using metal detectors.They find many mines, but few mines are left, hidden.].
Long Description (up to 3 sentences)
Each soldier(static analyzer) is finding mine(bug) before somebody steps on it(program crash). Metal detector is used for abstraction, which abstracts mine as metal. If metal detector alarms, there may be a mine or it could be a false alarm that detected garbage metals.