Recent developments on methods of uncertain structure static analysis