Gems in categories Static Analysis