static analysis of bolt by bkhot | SimScale